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

Executing Transactions in Zero-Safe Nets., und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 83-102. Springer, (2000)Optimal Smoothing in Picture Processing: An Application to Fingerprints., und . IFIP Congress (1), Seite 173-178. North-Holland, (1971)Connector Algebras, Petri Nets, and BIP., , und . Ershov Memorial Conference, Volume 7162 von Lecture Notes in Computer Science, Seite 19-38. Springer, (2011)Mapping Fusion and Synchronized Hyperedge Replacement into logic programming., und . Theory Pract. Log. Program., 7 (1-2): 123-151 (2007)The tile model., und . Proof, Language, and Interaction, Seite 133-166. The MIT Press, (2000)Final semantics for the pi-calculus., , , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 225-243. Chapman & Hall, (1998)Networks of constraints: Fundamental properties and applications to picture processing.. Inf. Sci., (1974)Revisiting causality, coalgebraically., , und . Acta Inf., 52 (1): 5-33 (2015)On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers., und . IEEE Trans. Computers, 19 (11): 1111-1114 (1970)A model-checking verification environment for mobile processes., , , und . ACM Trans. Softw. Eng. Methodol., 12 (4): 440-473 (2003)