Martin Korff

Publication Activity (10 Years)

Years Active: 1989-1998
Publications (10 Years): 0

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Leila Ribeiro Korff, Martin Korff
True Concurrency = Interleaving Concurrency + Weak Conflict. Electron. Notes Theor. Comput. Sci. 14 (1998)
Leila Ribeiro, Martin Korff
Graph Grammars for the Specification of Concurrent Systems. SBES (1997)
Martin Korff, Leila Ribeiro
Concurrent derivations as single pushout graph grammar processes. Electron. Notes Theor. Comput. Sci. 2 (1995)
Martin Korff, Leila Ribeiro
Formal Relationship between Graph Grammars and Petri Nets. TAGT (1994)
Martin Korff
Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. Dagstuhl Seminar on Graph Transformations in Computer Science (1993)
Martin Korff
Application of Graph Grammars to Rule-Based Systems. Graph-Grammars and Their Application to Computer Science (1990)
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)
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)