Algebraic Concepts for Software Development in ACT ONE, ACT TWO and LOTOS (eingeladener Vortrag). - Hartmut Ehrig; Ingo Claßen; Paul Boehm; Werner Fey; Martin Korff; Michael Löwe (Software-Entwicklung, 1989)

Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts. - Hartmut Ehrig; Martin Korff; Michael Löwe (Graph-Grammars and Their Application to Computer Science, 1990)

Application of Graph Grammars to Rule-Based Systems. - Martin Korff (Graph-Grammars and Their Application to Computer Science, 1990)

Single Pushout Transformation of Equationally Defined Graph Structures with Applications to Actor Systems. - Martin Korff (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Formal Relationship between Graph Grammars and Petri Nets. - Martin Korff; Leila Ribeiro 001 (TAGT, 1994)

Concurrent derivations as single pushout graph grammar processes. - Martin Korff; Leila Ribeiro 001 (SEGRAGRA, 1995)

Generalized graph structure grammars with applications to concurrent object-oriented systems. - Martin Korff (1996)

Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. - Hartmut Ehrig; Reiko Heckel; Martin Korff; Michael Löwe; Leila Ribeiro 001; Annika Wagner; Andrea Corradini 001 (Handbook of Graph Grammars, 1997)

Graph Grammars for the Specification of Concurrent Systems. - Leila Ribeiro 001; Martin Korff (SBES, 1997)

True Concurrency = Interleaving Concurrency + Weak Conflict. - Leila Ribeiro Korff; Martin Korff (US-Brazil Joint Workshops on the Formal Foundations of Software Systems, 1997)