dblp.uni-trier.dewww.uni-trier.de

Martin Korff

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
8EELeila Ribeiro Korff, Martin Korff: True Concurrency = Interleaving Concurrency + Weak Conflict. Electr. Notes Theor. Comput. Sci. 14: (1998)
1997
7 Hartmut Ehrig, Reiko Heckel, Martin Korff, Michael Löwe, Leila Ribeiro, Annika Wagner, Andrea Corradini: Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. Handbook of Graph Grammars 1997: 247-312
1995
6EEMartin Korff, Leila Ribeiro: Concurrent derivations as single pushout graph grammar processes. Electr. Notes Theor. Comput. Sci. 2: (1995)
1994
5 Martin Korff, Leila Ribeiro: Formal Relationship between Graph Grammars and Petri Nets. TAGT 1994: 288-303
1993
4 Martin Korff: Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. Dagstuhl Seminar on Graph Transformations in Computer Science 1993: 234-264
1990
3 Hartmut Ehrig, Martin Korff, Michael Löwe: Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. Graph-Grammars and Their Application to Computer Science 1990: 24-37
2 Martin Korff: Application of Graph Grammars to Rule-Based Systems. Graph-Grammars and Their Application to Computer Science 1990: 505-519
1989
1 Hartmut Ehrig, Ingo Claßen, Paul Boehm, Werner Fey, Martin Korff, Michael Löwe: Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). Software-Entwicklung 1989: 201-224

Coauthor Index

1Paul Boehm [1]
2Ingo Claßen [1]
3Andrea Corradini [7]
4Hartmut Ehrig [1] [3] [7]
5Werner Fey [1]
6Reiko Heckel [7]
7Michael Löwe [1] [3] [7]
8Leila Ribeiro (Leila Ribeiro Korff) [5] [6] [7] [8]
9Annika Wagner [7]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)