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

Structure of Concurrency., und . AMAST, Seite 98-107. Springer, (1991)On compositionality and Petri nets in protocol engineering., und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 71-86. Chapman & Hall, (1995)Applying regions., , , und . Theor. Comput. Sci., (2017)Modelling Provenance Using Structured Occurrence Networks., , und . IPAW, Volume 7525 von Lecture Notes in Computer Science, Seite 183-197. Springer, (2012)Synthesis of Petri Nets with Localities., und . Sci. Ann. Comput. Sci., (2009)Logic Synthesis for Asynchronous Circuits Based on STG Unfoldings and Incremental SAT., , und . Fundam. Informaticae, 70 (1-2): 49-73 (2006)Modeling biological gradient formation: combining partial differential equations and Petri nets., , , , , und . Nat. Comput., 15 (4): 665-675 (2016)Invariant Structures and Dependence Relations., , , und . Fundam. Informaticae, 155 (1-2): 1-29 (2017)Characterising Concurrent Histories., , , und . Fundam. Informaticae, 139 (1): 21-42 (2015)Persistent and Nonviolent Steps and the Design of GALS Systems., , , , , und . Fundam. Informaticae, 137 (1): 143-170 (2015)