default search action
Vijay Gehlot
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c34]Adrian Cagaanan, Vijay Gehlot:
Model-Driven System Development for a Cloud-Based Healthcare Application Using Colored Petri Nets. SysCon 2024: 1-8 - 2023
- [c33]Nilmini Wickramasinghe
, Nalika Ulapane
Digital Twins for More Precise and Personalized Treatment. MedInfo 2023: 229-233 - 2022
- [c32]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 - [c31]Vijay Gehlot, Peter Rokowski, Elliot B. Sloane
Taxonomy, Tools, And A Framework For Combining Simulation Models With AI/ML Models. ANNSIM 2022: 18-29 - [c30]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: 1-10 - 2021
- [c29]Vijay Gehlot:
A Tutorial Introduction to Colored Petri Nets Framework for Model-Driven System Design and Engineering. ANNSIM 2021: 1-12 - [c28]Vijay Gehlot, Jake Robinson, Manisha Tanwar, Elliot B. Sloane
Toolkit for Healthcare Professionals: A Colored Petri Nets Based Approach for Modeling and Simulation of Healthcare Workflows. WSC 2021: 1-12 - 2020
- [c27]Nilmini Wickramasinghe, Vijay Gehlot, Elliot B. Sloane, Philip J. Smart, Jonathan L. Schaffer:
A Precision Post-Operative Wellness Monitoring Solution. HICSS 2020: 1-9
2010 – 2019
- 2019
- [c26]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: 1-10 - [c25]Nilmini Wickramasinghe
A Precision Post-Operative Wellness Monitoring Solution. MedInfo 2019: 1809-1810 - [c24]Vijay Gehlot:
From Petri NETS to Colored Petri NETS: A Tutorial Introduction to NETS Based Formalism For Modeling And Simulation. WSC 2019: 1519-1533 - 2018
- [c23]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 - [c22]Sarvesh S. Kulkarni, Daniel Jigarjian, Vijay Gehlot, Ivan Ong:
Mitigation of undesirable association behaviors of mobile devices with public WiFi networks. CCNC 2018: 1-8 - 2016
- [c21]Vijay Gehlot, Liji Matthew, Elliot B. Sloane
From data to processes - Use of modeling and simulation in healthcare. BHI 2016: 320-323 - [c20]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: 4 - 2015
- [c19]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: 174-180 - 2012
- [c18]Vijay Gehlot, Carmen Nigro:
Modeling and simulation of a re-entrant manufacturing system using Colored Petri Nets. SpringSim (ANSS) 2012: 6 - 2010
- [c17]Vijay Gehlot, Carmen Nigro:
An introduction to systems modeling and simulation with Colored Petri Nets. WSC 2010: 104-118
2000 – 2009
- 2009
- [c16]Thomas P. Way, Vijay Gehlot:
Design and Assessment of a Multidisciplinary Course in Service Oriented Architecture. FECS 2009: 431-437 - [c15]Vijay Gehlot, Kranthima Edupuganti:
Use of Colored Petri Nets to Model, Analyze, and Evaluate Service Composition and Orchestration. HICSS 2009: 1-8 - [c14]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
- [j3]Elliot B. Sloane
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): 118-129 (2007) - [c13]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 - [c12]Vijay Gehlot, Anush Hayrapetyan:
Systems modeling and analysis using colored Petri Nets: a tutorial introduction and practical applications. ACM Southeast Regional Conference 2007: 514 - [c11]I. Barjis, Vijay Gehlot:
Petri net based description and modeling of metabolic pathway. SCSC 2007: 848-851 - [c10]Elliot B. Sloane
SoSE Modeling and Simulation Approaches to Evaluate Security and Performance Limitations of a Next Generation National Healthcare Information Network (NHIN-2). SoSE 2007: 1-6 - 2006
- [j2]Vijay Gehlot, Elliot B. Sloane
Ensuring Patient Safety in Wireless Medical Device Networks. Computer 39(4): 54-60 (2006) - [c9]Srinidhi Jayasuryan, Anil Bamezai, Vijay Gehlot:
Petri Net Based Model Of The T Cell Receptor Signaling Pathway. BIOCOMP 2006: 56-62 - 2005
- [c8]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: 288 - 2004
- [c7]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: 577 - [c6]Vijay Gehlot:
Timed Petri Nets, Linear Logic, and Performance Modeling. MSV/AMCS 2004: 195-200
1990 – 1999
- 1997
- [c5]Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari:
Parallel real-time systems: formal specification. HiPC 1997: 186-191 - 1996
- [c4]Alok N. Choudhary, Vijay Gehlot, Bhagirath Narahari:
Syntax and Semantics of PRETSEL - A Specification Language for Parallel Real-Time Systems. HICSS (1) 1996: 525-535 - 1990
- [c3]Vijay Gehlot, Carl A. Gunter:
Normal Process Representatives. LICS 1990: 200-207
1980 – 1989
- 1988
- [c2]Vijay Gehlot, Insup Lee:
Formal specification and analysis of DMI-an X-25 based protocol. INFOCOM 1988: 641-650 - 1986
- [j1]Vijay Gehlot, Y. N. Srikant:
An Interpreter for SLIPS - An Applicative Language Based on Lambda-Calculus. Comput. Lang. 11(1): 1-13 (1986) - 1985
- [c1]Insup Lee, Vijay Gehlot:
Language Constructs for Distributed Real-Time Programming. RTSS 1985: 57-66
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: