Autor der Publikation

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

A Symbolic Semantics for a Calculus for Service-Oriented Computing., , und . PLACES@DisCoTec, Volume 241 von Electronic Notes in Theoretical Computer Science, Seite 135-164. Elsevier, (2008)Modelling Notations for IoT-Aware Business Processes: A Systematic Literature Review., , , , , und . Business Process Management Workshops, Volume 397 von Lecture Notes in Business Information Processing, Seite 108-121. Springer, (2020)A Purpose-Guided Log Generation Framework., , , und . BPM, Volume 13420 von Lecture Notes in Computer Science, Seite 181-198. Springer, (2022)Ethereum smart contracts: Analysis and statistics of their source code and opcodes., , , , , und . Internet Things, (2020)Disciplined use of BPMN for mission modeling of Multi-Robot Systems., , , , , und . PoEM (Forum), Volume 3045 von CEUR Workshop Proceedings, Seite 1-10. CEUR-WS.org, (2021)A Methodology for the Analysis of Robotic Systems via Process Mining., , , , und . EDOC, Volume 14367 von Lecture Notes in Computer Science, Seite 117-133. Springer, (2023)BProVe: tool support for business process verification., , , , , und . ASE, Seite 937-942. IEEE Computer Society, (2017)Formalising Adaptation Patterns for Autonomic Ensembles., , , , , und . FACS, Volume 8348 von Lecture Notes in Computer Science, Seite 100-118. Springer, (2013)Reversing Single Sessions., und . RC, Volume 9720 von Lecture Notes in Computer Science, Seite 52-69. Springer, (2016)A Formal Account of WS-BPEL., , und . COORDINATION, Volume 5052 von Lecture Notes in Computer Science, Seite 199-215. Springer, (2008)