Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal agent-oriented modeling with UML and graph transformation., , and . Sci. Comput. Program., 44 (2): 229-252 (2002)Compositional semantics for open Petri nets based on deterministic processe., , , and . Mathematical Structures in Computer Science, 15 (1): 1-35 (2005)Structured Transition Systems as Lax Coalgebras., , and . Electr. Notes Theor. Comput. Sci., (1998)From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence., , and . Electr. Notes Theor. Comput. Sci., (1999)Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems., , , and . Applied Categorical Structures, 9 (1): 83-110 (2001)Cooperability in Train Control Systems: Specification of Scenarios using Open Nets., , , , and . Transactions of the SDPS, 5 (1): 3-21 (2001)Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach., , , , , and . Handbook of Graph Grammars, page 163-246. World Scientific, (1997)Model-based Discovery of Web Services., , and . ICWS, page 324-331. IEEE Computer Society, (2004)Verification of Architectural Refactorings: Rule Extraction and Tool Support., , and . ECEASST, (2008)Flexible Behaviour of Human Actors in Distributed Workflows., and . ECEASST, (2011)