{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:24:28Z","timestamp":1752229468412,"version":"3.37.3"},"reference-count":47,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T00:00:00Z","timestamp":1662595200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,8]],"date-time":"2022-09-08T00:00:00Z","timestamp":1662595200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100012365","name":"Howard University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100012365","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,9,8]]},"DOI":"10.1109\/ghtc55712.2022.9911007","type":"proceedings-article","created":{"date-parts":[[2022,10,11]],"date-time":"2022-10-11T19:33:23Z","timestamp":1665516803000},"page":"154-161","source":"Crossref","is-referenced-by-count":2,"title":["Finite State Automata for Real-Time Health Electronic Record Update: A survey"],"prefix":"10.1109","author":[{"given":"Jose M. Ruiz","family":"Mejia","sequence":"first","affiliation":[{"name":"Howard University,Department of Electrical Engineering and Computer Science,Washington, D.C,USA"}]},{"given":"Atul","family":"Rawal","sequence":"additional","affiliation":[{"name":"Howard University,Department of Electrical Engineering and Computer Science,Washington, D.C,USA"}]},{"given":"Danda B.","family":"Rawat","sequence":"additional","affiliation":[{"name":"Howard University,Department of Electrical Engineering and Computer Science,Washington, D.C,USA"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ITW.2010.5593345"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/43.766725"},{"key":"ref33","first-page":"4","author":"bacon","year":"0","journal-title":"Cse 322 - introduction to formal methods in computer science converting dfas to regular expressions"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.2196\/24490"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/230514.571645"},{"key":"ref30","article-title":"The psychological impact of covid-19 outbreak on medical staff and the general public","author":"chen","year":"2020","journal-title":"Current Psychology"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_3"},{"key":"ref36","first-page":"92","author":"nguyen","year":"2017","journal-title":"Symmetry reduction and compositional verification on timed automata"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/FTDCS.1993.344139"},{"key":"ref34","first-page":"87","article-title":"Timed Automata: Semantics","author":"bengtsson","year":"2004","journal-title":"Algorithms and Tools"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.4103\/jfmpc.jfmpc_248_20"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/92.766749"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1136\/bmjqs-2012-001610"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1111\/j.1466-7657.2007.00529.x"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1177\/193758671200600104","article-title":"The effect of hospital unit layout on nurse walking behavior","volume":"6","author":"lu","year":"2012","journal-title":"HERD"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1097\/NNA.0000000000000101"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.11124\/jbisrir-2016-2537"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1142\/S0217595914500055"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/0969733020939667"},{"journal-title":"World health organization (who) covid-19 database Who needs it?","year":"2020","author":"kodvanj","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1111\/j.1741-6787.2009.00151.x"},{"key":"ref28","article-title":"Mechanical ventilation: State of the art","author":"pham","year":"2020","journal-title":"Mayo foundation for Medical Education and Research"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1097\/NCQ.0000000000000350"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2019.00021"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MIM.2012.6174572"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10877-018-0219-z"},{"key":"ref29","first-page":"1","article-title":"Calibration and testing of the integrated ventilator scalar measurement module for a bag-valve-mask-based emergency ventilator","author":"espa\u00f1ola","year":"2020","journal-title":"2020 IEEE 12th International Conference on Humanoid Nanotechnology Information Technology Communication and Control Environment and Management (HNICEM)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3389\/fped.2018.00066"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s11606-019-05580-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICHI48887.2020.9374365"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.3390\/s18082531"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1001\/jama.288.16.1987"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSI50628.2021.9597264"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/MEMOCODE51338.2020.9315160"},{"key":"ref20","first-page":"958","article-title":"Multitasking by clinicians in the context of cpoe and cis use","volume":"129","author":"collins","year":"2007","journal-title":"Studies in Health Technology and Informatics"},{"key":"ref45","first-page":"301","article-title":"Internet of things (iot) and cloud computing based persistent vegetative state patient monitoring system: A remote assessment and management","author":"b k g j","year":"2018","journal-title":"2018 International Conference on Computational Techniques Electronics and Mechanical Systems (CTEMS)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1111\/joim.12119"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICPHYS.2019.8780383"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.12968\/bjon.2008.17.21.31732"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/EDM.2019.8823493"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.20544\/AIIT2018.P03"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/IICAIET49801.2020.9257831"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jbi.2014.10.006"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2017.1600374CM"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.3389\/fdgth.2021.630273"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-019-1362-x"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.3390\/s18082414"}],"event":{"name":"2022 IEEE Global Humanitarian Technology Conference (GHTC)","start":{"date-parts":[[2022,9,8]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2022,9,11]]}},"container-title":["2022 IEEE Global Humanitarian Technology Conference (GHTC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9910962\/9910605\/09911007.pdf?arnumber=9911007","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T20:05:51Z","timestamp":1675109151000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9911007\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,8]]},"references-count":47,"URL":"https:\/\/doi.org\/10.1109\/ghtc55712.2022.9911007","relation":{},"subject":[],"published":{"date-parts":[[2022,9,8]]}}}