ProFun - A Language for Executable Specifications. - Thomas Gehrke; Michaela Huhn (PLILP, 1996)

Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation. - Thomas Gehrke (FBT, 1997)

Process creation and full sequential composition in a name-passing calculus. - Thomas Gehrke; Arend Rensink (EXPRESS, 1997)

An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency. - Thomas Gehrke (Euro-Par, 1998)

Spezifikation eines RPC-Speichers mit der Sprache ProFun. - Thomas Firley; Thomas Gehrke; Arend Rensink (FBT, 1998)

A Process Algebra Semantics for MSC Including Conditions. - Thomas Gehrke; Michaela Huhn; Peter Niebert; Arend Rensink; Heike Wehrheim (FBT, 1998)

An Algebraic Semantics for Message Sequence Chart Documents. - Thomas Gehrke; Michaela Huhn; Arend Rensink; Heike Wehrheim (FORTE, 1998)

Generative Sequence Diagrams with Textual Annotations. - Thomas Gehrke; Thomas Firley (FBT, 1999)

Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. - Thomas Firley; Michaela Huhn; Karsten Diethers; Thomas Gehrke; Ursula Goltz (UML, 1999)

Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme. - Thomas Gehrke (Softwaretechnik-Trends, 2000)

Dynamische Modelle für reaktive Systeme mit Daten. - Thomas Gehrke (2000)