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