Search the dblp DataBase

Publications of Author

1. Vijay Gehlot, Anush Hayrapetyan
   A formalized and validated executable model of the SIP-based presence protocol for mobile applications. [Citation Graph (0, 0)][DBLP]
   ACM Southeast Regional Conference, 2007, pp:185-190 [Conf]
   
2. Vijay Gehlot, Anush Hayrapetyan
   Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. [Citation Graph (0, 0)][DBLP]
   ACM Southeast Regional Conference, 2007, pp:514- [Conf]
   
3. Srinidhi Jayasuryan, Anil Bamezai, Vijay Gehlot
   Petri Net Based Model Of The T Cell Receptor Signaling Pathway. [Citation Graph (0, 0)][DBLP]
   BIOCOMP, 2006, pp:56-62 [Conf]
   
4. Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari
   Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   HICSS (1), 1996, pp:525-0 [Conf]
   
5. Vijay Gehlot, Carl A. Gunter
   Normal Process Representatives [Citation Graph (0, 0)][DBLP]
   LICS, 1990, pp:200-207 [Conf]
   
6. Vijay Gehlot
   Timed Petri Nets, Linear Logic, and Performance Modeling. [Citation Graph (0, 0)][DBLP]
   MSV/AMCS, 2004, pp:195-200 [Conf]
   
7. Insup Lee, Vijay Gehlot
   Language Constructs for Distributed Real-Time Programming. [Citation Graph (0, 0)][DBLP]
   IEEE Real-Time Systems Symposium, 1985, pp:57-66 [Conf]
   
8. Vijay Gehlot, Y. N. Srikant
   An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
   Comput. Lang., 1986, v:11, n:1, pp:1-13 [Journal]
   
9. Vijay Gehlot, Elliot B. Sloane
   Ensuring Patient Safety in Wireless Medical Device Networks. [Citation Graph (0, 0)][DBLP]
   IEEE Computer, 2006, v:39, n:4, pp:54-60 [Journal]
   
10. 
    Design and Assessment of a Multidisciplinary Course in Service Oriented Architecture. [Citation Graph (, )][DBLP]
    
    
11. 
    Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration. [Citation Graph (, )][DBLP]
    
    
12. 
    A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures. [Citation Graph (, )][DBLP]