Thomas Gehrke

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Braunschweig University of Technology, Germany (PHD)

Education History

Braunschweig University of Technology, Germany

PHD

Publications

Thomas Gehrke
Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme. Softwaretechnik-Trends 20 (3) (2000)
Thomas Gehrke
Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme. GI Jahrestagung (2000)
Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. UML (1999)
Thomas Gehrke, Thomas Firley
Generative Sequence Diagrams with Textual Annotations. FBT (1999)
Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
An Algebraic Semantics for Message Sequence Chart Documents. FORTE (1998)
Thomas Gehrke
An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency. Euro-Par (1998)
Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
A Process Algebra Semantics for MSC Including Conditions. FBT (1998)
Thomas Firley, Thomas Gehrke, Arend Rensink
Spezifikation eines RPC-Speichers mit der Sprache ProFun. FBT (1998)
Thomas Gehrke
Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation. FBT (1997)
Thomas Gehrke, Arend Rensink
Process creation and full sequential composition in a name-passing calculus. EXPRESS (1997)
Thomas Gehrke, Michaela Huhn
ProFun - A Language for Executable Specifications. PLILP (1996)