Vijay Gehlot

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 15

Top Topics

Location Awareness

Personal Health

Top Venues

Publications

Adrian Cagaanan, Vijay Gehlot
Model-Driven System Development for a Cloud-Based Healthcare Application Using Colored Petri Nets. SysCon (2024)
Nilmini Wickramasinghe, Nalika Ulapane, Elliot B. Sloane, Vijay Gehlot
Digital Twins for More Precise and Personalized Treatment. MedInfo (2023)
Vijay Gehlot, Elliot B. Sloane, Dominic King, Nilmini Wickramasinghe, Jonathan L. Schaffer
Healthcare Optimization and Augmented Intelligence by Coupling Simulation & Modeling: An Ideal AI/ML Partnership for a Better Clinical Informatics. AMIA (2022)
Vijay Gehlot, Peter Rokowski, Elliot B. Sloane, Nilmini Wickramasinghe
Taxonomy, Tools, And A Framework For Combining Simulation Models With AI/ML Models. ANNSIM (2022)
Vijay Gehlot, Elliot B. Sloane, Michael Kirk, Eric Miller, Jonathan L. Schaffer, Nilmini Wickramasinghe
COVID-19 and Beyond: Taming the Virtual Healthcare Tiger with Colored Petri Nets based Modeling and Simulation. HICSS (2022)
Vijay Gehlot, Jake Robinson, Manisha Tanwar, Elliot B. Sloane, Nilmini Wickramasinghe
Toolkit for Healthcare Professionals: A Colored Petri Nets Based Approach for Modeling and Simulation of Healthcare Workflows. WSC (2021)
Vijay Gehlot
A Tutorial Introduction to Colored Petri Nets Framework for Model-Driven System Design and Engineering. ANNSIM (2021)
Nilmini Wickramasinghe, Vijay Gehlot, Elliot B. Sloane, Philip J. Smart, Jonathan L. Schaffer
A Precision Post-Operative Wellness Monitoring Solution. HICSS (2020)
Nilmini Wickramasinghe, Vijay Gehlot, Elliot B. Sloane, Philip J. Smart, Jonathan L. Schaffer
A Precision Post-Operative Wellness Monitoring Solution. MedInfo (2019)
Vijay Gehlot, Elliot B. Sloane, Angelo E. Thalassinidis
Personal Health Technology: CPN based Modeling of Coordinated Neighborhood Care Environments (Hubs) and Personal Care Device Ecosystems. HICSS (2019)
Vijay Gehlot
From Petri NETS to Colored Petri NETS: A Tutorial Introduction to NETS Based Formalism For Modeling And Simulation. WSC (2019)
Sarvesh S. Kulkarni, Daniel Jigarjian, Vijay Gehlot, Ivan Ong
Mitigation of undesirable association behaviors of mobile devices with public WiFi networks. CCNC (2018)
Elliot B. Sloane, Nilmini Wickramasinghe, Vijay Gehlot, Angelo E. Thalassinidis, Doug B. Fridsma, Robert E. Hoyt
Best Practices for Development and Delivery of Graduate Health Informatics Curriculum. AMCIS (2018)
Vijay Gehlot, Liji Matthew, Elliot B. Sloane
From data to processes - Use of modeling and simulation in healthcare. BHI (2016)
Vijay Gehlot, Sarvesh S. Kulkarni, John Brzozowski
Modeling and performance simulation of a software architecture for large-scale measurement of broadband networks using colored petri nets. SpringSim (CNS) (2016)
Sarvesh S. Kulkarni, Eduard Bachmakov, Edward Gallagher, Vijay Gehlot, Andrew Dammann, Peter Rokowski, John Brzozowski
A scalable architecture for performance measurement in broadband networks. CSCN (2015)
Vijay Gehlot, Carmen Nigro
Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets. SpringSim (ANSS) (2012)
Vijay Gehlot, Carmen Nigro
An introduction to systems modeling and simulation with Colored Petri Nets. WSC (2010)
Thomas P. Way, Vijay Gehlot
Design and Assessment of a Multidisciplinary Course in Service Oriented Architecture. FECS (2009)
Vijay Gehlot, Gayatri Pujari
A Case Study in Defining Colored Petri Nets Based Model Driven Development of Enterprise Service Oriented Architectures. HICSS (2009)
Vijay Gehlot, Kranthima Edupuganti
Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration. HICSS (2009)
I. Barjis, Vijay Gehlot
Petri net based description and modeling of metabolic pathway. SCSC (2007)
Elliot B. Sloane, Thomas P. Way, Vijay Gehlot, Anany Levitin, Robert Beck
SoSE Modeling and Simulation Approaches to Evaluate Security and Performance Limitations of a Next Generation National Healthcare Information Network (NHIN-2). SoSE (2007)
Vijay Gehlot, Anush Hayrapetyan
Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. ACM Southeast Regional Conference (2007)
Vijay Gehlot, Anush Hayrapetyan
A formalized and validated executable model of the SIP-based presence protocol for mobile applications. ACM Southeast Regional Conference (2007)
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. Int. J. Netw. Virtual Organisations 4 (2) (2007)
Vijay Gehlot, Elliot B. Sloane
Ensuring Patient Safety in Wireless Medical Device Networks. Computer 39 (4) (2006)
Srinidhi Jayasuryan, Anil Bamezai, Vijay Gehlot
Petri Net Based Model Of The T Cell Receptor Signaling Pathway. BIOCOMP (2006)
Vijay Gehlot, Elliot B. Sloane
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. AMCIS (2005)
Vijay Gehlot, Elliot B. Sloane
Application of the Petri Net to Simulate and Validate Complex, Multi-Vendor, Heterogeneous Networks of Wireless Medical Device Systems. AMCIS (2004)
Vijay Gehlot
Timed Petri Nets, Linear Logic, and Performance Modeling. MSV/AMCS (2004)
Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari
Parallel real-time systems: formal specification. HiPC (1997)
Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari
Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. HICSS (1) (1996)
Vijay Gehlot, Carl A. Gunter
Normal Process Representatives LICS (1990)
Vijay Gehlot, Insup Lee
Formal specification and analysis of DMI-an X-25 based protocol. INFOCOM (1988)
Vijay Gehlot, Y. N. Srikant
An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus. Comput. Lang. 11 (1) (1986)
Insup Lee, Vijay Gehlot
Language Constructs for Distributed Real-Time Programming. RTSS (1985)