Autor der Publikation

A Component Framework where Port Compatibility Implies Weak Termination.

, , , und . PNSE, Volume 723 von CEUR Workshop Proceedings, Seite 152-166. CEUR-WS.org, (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

Refinement of Synchronizable Places with Multi-workflow Nets., , und . Fundam. Informaticae, 122 (1-2): 59-83 (2013)Conceptual model for online auditing., , , , und . Decis. Support Syst., 50 (3): 636-647 (2011)Correctness Notions for Petri Nets with Identifiers., , , und . CoRR, (2022)A genetic approach to architectural pattern discovery., und . ECSA Workshops, Seite 17. ACM, (2016)Compositional Verification of Asynchronously Communicating Systems.. FACS, Volume 8997 von Lecture Notes in Computer Science, Seite 49-67. Springer, (2014)Designing Case Handling Systems., , , , und . Trans. Petri Nets Other Model. Concurr., (2008)A Framework to Assess the Suitability of low-Code for BPM., , , und . ECIS, (2023)Pair Modeling: Does One Plus One Add Up?, , , , , und . Business Process Management Workshops, Volume 436 von Lecture Notes in Business Information Processing, Seite 261-272. Springer, (2021)Towards Understanding the Role of the Human in Event Log Extraction., , , , , , und . Business Process Management Workshops, Volume 436 von Lecture Notes in Business Information Processing, Seite 86-98. Springer, (2021)On Profiles and Footprints - Relational Semantics for Petri Nets., und . Petri Nets, Volume 7347 von Lecture Notes in Computer Science, Seite 148-167. Springer, (2012)