A workflow for healthcare systems via OCL and SMT solving-Reference-Cited by-同舟云学术

A workflow for healthcare systems via OCL and SMT solving

Published:2018-05-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the International Workshop on Software Engineering in Healthcare Systems
language:
Short-container-title:

Author:

Wu Hao¹,Hinsberger Laure²,Timoney Joseph¹

Affiliation:

1. Maynooth University

2. Université de Lorraine

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3194696.3194704

Reference22 articles.

1. BPMN4CP Revised -- Extending BPMN for Multi-perspective Modeling of Clinical Pathways

2. S. Carrus S. Corbett and D Khandelwal. 2011. A hospital-wide strategy for fixing emergency-department overcrowding. https://www.mckinsey.com/. (2011). S. Carrus S. Corbett and D Khandelwal. 2011. A hospital-wide strategy for fixing emergency-department overcrowding. https://www.mckinsey.com/. (2011).

3. Michael Christ Florian Grossmann Daniela Winter Roland Bingisser and Elke Platz. 2010. Modern Triage in the Emergency Department. Deutsches Ärzteblatt International 107 50 (2010). Michael Christ Florian Grossmann Daniela Winter Roland Bingisser and Elke Platz. 2010. Modern Triage in the Emergency Department. Deutsches Ärzteblatt International 107 50 (2010).

4. Stefan C. Christov Heather M. Conboy Nancy Famigletti George S. Avrunin Lori A. Clarke and Leon J. Osterweil. 2016. Smart Checklists to Improve Healthcare Outcomes. In SEHS (SEHS '16). ACM 54--57. 10.1145/2897683.2897691 Stefan C. Christov Heather M. Conboy Nancy Famigletti George S. Avrunin Lori A. Clarke and Leon J. Osterweil. 2016. Smart Checklists to Improve Healthcare Outcomes. In SEHS (SEHS '16). ACM 54--57. 10.1145/2897683.2897691

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A key exchange system for secure data coordination in healthcare systems;Healthcare Analytics;2023-11

2. Identification and forewarning of GNSS deformation information based on a modified EWMA control chart;Measurement;2020-08

3. Gait Recognition based on Improved LeNet Network;2020 IEEE 4th Information Technology, Networking, Electronic and Automation Control Conference (ITNEC);2020-06