Autor der Publikation

Modeling and Verifying Timed Compensable Workflows and an Application to Health Care.

, , und . FMICS, Volume 6959 von Lecture Notes in Computer Science, Seite 244-259. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Compensable WorkFlow Nets., , und . ICFEM, Volume 6447 von Lecture Notes in Computer Science, Seite 122-137. Springer, (2010)An Automated Translator for Model Checking Time Constrained Workflow Systems., , , und . FMICS, Volume 6371 von Lecture Notes in Computer Science, Seite 99-114. Springer, (2010)A Model Based Slicing Technique for Process Mining Healthcare Information., , und . ICSMM, Volume 1262 von Communications in Computer and Information Science, Seite 73-81. Springer, (2020)Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications., , , und . NIK, Bibsys Open Journal Systems, Norway, (2015)NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery., und . FHIES, Volume 7151 von Lecture Notes in Computer Science, Seite 75-92. Springer, (2011)A Model-Based Framework for News Content Analysis., , , und . MODELSWARD, Seite 99-107. SCITEPRESS, (2024)A Model Driven Approach to the Development of Gamified Interactive Clinical Practice Guidelines., , , , und . ENASE, Seite 147-158. SciTePress, (2019)Detecting Code Comment Inconsistency using Siamese Recurrent Network., und . ICPC, Seite 371-375. ACM, (2020)SysMap: A Lightweight Software Visualization Tool to Analyze the Software Evolution of a System., , , und . CoRR, (2021)A GraphQL approach to Healthcare Information Exchange with HL7 FHIR., , , , und . EUSPN/ICTH, Volume 160 von Procedia Computer Science, Seite 338-345. Elsevier, (2019)