Language Constructs for Distributed Real-Time Programming. - Insup Lee 001; Vijay Gehlot (RTSS, 1985)

An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus. - Vijay Gehlot; Y. N. Srikant (Comput. Lang., 1986)

Formal specification and analysis of DMI-an X-25 based protocol. - Vijay Gehlot; Insup Lee 001 (INFOCOM, 1988)

Normal Process Representatives - Vijay Gehlot; Carl A. Gunter (LICS, 1990)

Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. - Alok N. Choudhary; Vijay Gehlot; Bhagirath Narahari (HICSS (1), 1996)

Parallel real-time systems: formal specification. - Alok N. Choudhary; Vijay Gehlot; Bhagirath Narahari (HiPC, 1997)

Application of the Petri Net to Simulate and Validate Complex, Multi-Vendor, Heterogeneous Networks of Wireless Medical Device Systems. - Vijay Gehlot; Elliot B. Sloane (AMCIS, 2004)

Timed Petri Nets, Linear Logic, and Performance Modeling. - Vijay Gehlot (MSV/AMCS, 2004)

Quality of Service (QoS) in Healthcare Applications: Colored Petri Net Simulation for Design of Heterogeneous, Multi-Vendor, Integrated, Life-Critical Wireless (802.x) Patient Care Device Networks. - Vijay Gehlot; Elliot B. Sloane (AMCIS, 2005)

Petri Net Based Model Of The T Cell Receptor Signaling Pathway. - Srinidhi Jayasuryan; Anil Bamezai; Vijay Gehlot (BIOCOMP, 2006)

Ensuring Patient Safety in Wireless Medical Device Networks. - Vijay Gehlot; Elliot B. Sloane (Computer, 2006)

A formalized and validated executable model of the SIP-based presence protocol for mobile applications. - Vijay Gehlot; Anush Hayrapetyan (ACM Southeast Regional Conference, 2007)

Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. - Vijay Gehlot; Anush Hayrapetyan (ACM Southeast Regional Conference, 2007)

Petri net based description and modeling of metabolic pathway. - I. Barjis; Vijay Gehlot (SCSC, 2007)

SoSE Modeling and Simulation Approaches to Evaluate Security and Performance Limitations of a Next Generation National Healthcare Information Network (NHIN-2). - Elliot B. Sloane; Thomas P. Way; Vijay Gehlot; Anany Levitin; Robert Beck (SoSE, 2007)

Use of Coloured Petri Net models in planning, design, and simulation of intelligent wireless medical device networks for safe and flexible hospital capacity management. - Elliot B. Sloane; Vijay Gehlot (Int. J. Netw. Virtual Organisations, 2007)

Design and Assessment of a Multidisciplinary Course in Service Oriented Architecture. - Thomas P. Way; Vijay Gehlot (FECS, 2009)

Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration. - Vijay Gehlot; Kranthima Edupuganti (HICSS, 2009)

A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures. - Vijay Gehlot; Gayatri Pujari (HICSS, 2009)

An introduction to systems modeling and simulation with Colored Petri Nets. - Vijay Gehlot; Carmen Nigro (WSC, 2010)

Making service oriented architecture relevant using a multidisciplinary approach. - Thomas P. Way; Vijay Gehlot (J. Comput. Sci. Coll., 2010)

Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets. - Vijay Gehlot; Carmen Nigro (SpringSim (ANSS), 2012)

Coexistence of functional and object-oriented paradigms. - Vijay Gehlot; Thomas P. Way; Frank Klassner (J. Comput. Sci. Coll., 2012)

A scalable architecture for performance measurement in broadband networks. - Sarvesh S. Kulkarni; Eduard Bachmakov; Edward Gallagher; Vijay Gehlot; Andrew Dammann; Peter Rokowski; John Brzozowski (CSCN, 2015)

From data to processes - Use of modeling and simulation in healthcare. - Vijay Gehlot; Liji Matthew; Elliot B. Sloane (BHI, 2016)

Modeling and performance simulation of a software architecture for large-scale measurement of broadband networks using colored petri nets. - Vijay Gehlot; Sarvesh S. Kulkarni; John Brzozowski (SpringSim (CNS), 2016)

Best Practices for Development and Delivery of Graduate Health Informatics Curriculum. - Elliot B. Sloane; Nilmini Wickramasinghe; Vijay Gehlot; Angelo E. Thalassinidis; Doug B. Fridsma; Robert E. Hoyt (AMCIS, 2018)

Mitigation of undesirable association behaviors of mobile devices with public WiFi networks. - Sarvesh S. Kulkarni; Daniel Jigarjian; Vijay Gehlot; Ivan Ong (CCNC, 2018)

Personal Health Technology: CPN based Modeling of Coordinated Neighborhood Care Environments (Hubs) and Personal Care Device Ecosystems. - Vijay Gehlot; Elliot B. Sloane; Angelo E. Thalassinidis (HICSS, 2019)

From Petri NETS to Colored Petri NETS: A Tutorial Introduction to NETS Based Formalism For Modeling And Simulation. - Vijay Gehlot (WSC, 2019)

A Precision Post-Operative Wellness Monitoring Solution. - Nilmini Wickramasinghe; Vijay Gehlot; Elliot B. Sloane; Philip J. Smart; Jonathan L. Schaffer (HICSS, 2020)

A Tutorial Introduction to Colored Petri Nets Framework for Model-Driven System Design and Engineering. - Vijay Gehlot (ANNSIM, 2021)

Toolkit for Healthcare Professionals: A Colored Petri Nets Based Approach for Modeling and Simulation of Healthcare Workflows. - Vijay Gehlot; Jake Robinson; Manisha Tanwar; Elliot B. Sloane; Nilmini Wickramasinghe (WSC, 2021)

Healthcare Optimization and Augmented Intelligence by Coupling Simulation & Modeling: An Ideal AI/ML Partnership for a Better Clinical Informatics. - Vijay Gehlot; Elliot B. Sloane; Dominic King; Nilmini Wickramasinghe; Jonathan L. Schaffer (AMIA, 2022)

Taxonomy, Tools, And A Framework For Combining Simulation Models With AI/ML Models. - Vijay Gehlot; Peter Rokowski; Elliot B. Sloane; Nilmini Wickramasinghe (ANNSIM, 2022)

COVID-19 and Beyond: Taming the Virtual Healthcare Tiger with Colored Petri Nets based Modeling and Simulation. - Vijay Gehlot; Elliot B. Sloane; Michael Kirk; Eric Miller; Jonathan L. Schaffer; Nilmini Wickramasinghe (HICSS, 2022)

Digital Twins for More Precise and Personalized Treatment. - Nilmini Wickramasinghe; Nalika Ulapane; Elliot B. Sloane; Vijay Gehlot (MedInfo, 2023)

Model-Driven System Development for a Cloud-Based Healthcare Application Using Colored Petri Nets. - Adrian Cagaanan; Vijay Gehlot (SysCon, 2024)