Search the dblp DataBase

Publications of Author

1. Thomas Gehrke
   An Algebraic Semantics for an Abstract Language with Intra-Object-Concurrency. [Citation Graph (0, 0)][DBLP]
   Euro-Par, 1998, pp:733-737 [Conf]
   
2. Thomas Firley, Thomas Gehrke, Arend Rensink
   Spezifikation eines RPC-Speichers mit der Sprache ProFun. [Citation Graph (0, 0)][DBLP]
   FBT, 1998, pp:136-147 [Conf]
   
3. Thomas Gehrke
   Zum Einsatz einer graphischen Entwurfsmethode zur Erstellung einer prozeßorientierten Spezifikation. [Citation Graph (0, 0)][DBLP]
   FBT, 1997, pp:211-220 [Conf]
   
4. Thomas Gehrke, Thomas Firley
   Generative Sequence Diagrams with Textual Annotations. [Citation Graph (0, 0)][DBLP]
   FBT, 1999, pp:65-72 [Conf]
   
5. Thomas Gehrke, Michaela Huhn, Peter Niebert, Arend Rensink, Heike Wehrheim
   A Process Algebra Semantics for MSC Including Conditions. [Citation Graph (0, 0)][DBLP]
   FBT, 1998, pp:185-196 [Conf]
   
6. Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim
   An Algebraic Semantics for Message Sequence Chart Documents. [Citation Graph (0, 0)][DBLP]
   FORTE, 1998, pp:3-18 [Conf]
   
7. Thomas Gehrke, Michaela Huhn
   ProFun - A Language for Executable Specifications. [Citation Graph (0, 0)][DBLP]
   PLILP, 1996, pp:304-318 [Conf]
   
8. Thomas Firley, Michaela Huhn, Karsten Diethers, Thomas Gehrke, Ursula Goltz
   Timed Sequence Diagrams and Tool-Based Analysis - A Case Study. [Citation Graph (0, 0)][DBLP]
   UML, 1999, pp:645-660 [Conf]
   
9. Thomas Gehrke, Arend Rensink
   Process creation and full sequential composition in a name-passing calculus. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
   
10. Thomas Gehrke
    Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme. [Citation Graph (0, 0)][DBLP]
    Softwaretechnik-Trends, 2000, v:20, n:3, pp:- [Journal]