PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Heckel, Reiko"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Algebraic Approaches to Graph Transformation - Part I: Basic Concepts and Double Pushout Approach.

, , , , , und . Handbook of Graph Grammars, Seite 163-246. World Scientific, (1997)

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.

Manuel Heckel University of Stuttgart

 

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)Cooperability in Train Control Systems: Specification of Scenarios using Open Nets., , , , und . Transactions of the SDPS, 5 (1): 3-21 (2001)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)Compositional semantics for open Petri nets based on deterministic processe., , , und . Mathematical Structures in Computer Science, 15 (1): 1-35 (2005)Formal agent-oriented modeling with UML and graph transformation., , und . Sci. Comput. Program., 44 (2): 229-252 (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)Model-based Discovery of Web Services., , und . ICWS, Seite 324-331. IEEE Computer Society, (2004)Verification of Architectural Refactorings: Rule Extraction and Tool Support., , und . ECEASST, (2008)Flexible Behaviour of Human Actors in Distributed Workflows., und . ECEASST, (2011)