| 2007 |
|---|
| 10 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
