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

Formal Integration of Inheritance with Typed Attributed Graph Transformation for Efficient VL Definition and Model Manipulation., , , und . VL/HCC, Seite 71-78. IEEE Computer Society, (2005)Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems., , , und . Applied Categorical Structures, 9 (1): 83-110 (2001)Grammars on Partial Graphs., und . Acta Inf., (1976)A Graph-Theoretical Model for Multi-Pass Parsing., , und . WG, Seite 19-32. Hanser, Munich, (1981)From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach., und . Informatik zwischen Wissenschaft und Gesellschaft, Volume 309 von Informatik-Fachberichte, Seite 47-65. Springer, (1992)Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag)., , , , , und . Software-Entwicklung, Volume 212 von Informatik-Fachberichte, Seite 201-224. Springer, (1989)Algebraic Techniques in Software Development., und . Bulletin of the EATCS, (1996)Dynamic Abstract Data Types: An informal Proposal., und . Bulletin of the EATCS, (1994)Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification).. Bulletin of the EATCS, (2004)Revie of Dines Bjørner's Textbooks Software Engineering 1-3.. Bulletin of the EATCS, (2006)