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

Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems., , , und . Applied Categorical Structures, 9 (1): 83-110 (2001)Subobject Transformation Systems., , und . Applied Categorical Structures, 16 (3): 389-419 (2008)Structured Transition Systems as Lax Coalgebras., , und . Electr. Notes Theor. Comput. Sci., (1998)From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence., , und . Electr. Notes Theor. Comput. Sci., (1999)A lattice-theoretical perspective on adhesive categories., , , , und . J. Symb. Comput., 46 (3): 222-245 (2011)Compositional semantics for open Petri nets based on deterministic processe., , , und . Mathematical Structures in Computer Science, 15 (1): 1-35 (2005)Adaptation is a Game., , , , und . TinyToCS, (2013)Hyperedge Replacement Jungle Rewriting for Term-Rewriting Systems and Programming., und . Theor. Comput. Sci., 109 (1&2): 7-48 (1993)A Map-Based System Using Speech and 3D Gestures for Pervasive Computing., , und . ICMI, Seite 191-196. IEEE Computer Society, (2002)Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach., , , , , und . Handbook of Graph Grammars, Seite 163-246. World Scientific, (1997)