Describing Göttler's Operational Graph Grammars with Pushouts. - Klaus Barthelmann (Graph-Grammars and Their Application to Computer Science, 1990)

Graphgrammatikalische Hilfsmittel zur Beschreibung verteilter Systeme. - Klaus Barthelmann (1991)

Graph-Grammar Semantics of a Higher-Order Programming Language for Distributed Systems. - Klaus Barthelmann; Georg Schied (Dagstuhl Seminar on Graph Transformations in Computer Science, 1993)

Process Specification and Verification. - Klaus Barthelmann (TAGT, 1994)

Linear types for higher order processes with first class directed channels. - Georg Schied; Klaus Barthelmann (SEGRAGRA, 1995)

When Can an Equational Simple Graph Be Generated by Hyperedge Replacement? - Klaus Barthelmann (MFCS, 1998)

Nondeterministic Operations on Finite Relational Structures. - Klaus Barthelmann (Theor. Comput. Sci., 1998)

Local Normal Forms for First-Order Logic with Applications to Games and Automata. - Thomas Schwentick; Klaus Barthelmann (Discret. Math. Theor. Comput. Sci., 1999)