| |
| 1999 | ||
|---|---|---|
| 4 | EE | Marion Klein: An Overview of the State of the Art of Coding Schemes for Dialogue Act Annotation. TSD 1999: 274-279 |
| 1996 | ||
| 3 | Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen: DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS 1996: 422-426 | |
| 1995 | ||
| 2 | Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria: The Fixpoint-Analysis Machine. CONCUR 1995: 72-87 | |
| 1992 | ||
| 1 | Rance Cleaveland, Marion Klein, Bernhard Steffen: Faster Model Checking for the Modal Mu-Calculus. CAV 1992: 410-422 | |
| 1 | Andreas Claßen | [2] |
| 2 | Rance Cleaveland | [1] |
| 3 | Jens Knoop | [2] [3] |
| 4 | Dirk Koschützki | [3] |
| 5 | Tiziana Margaria (Tiziana Margaria-Steffen) | [2] |
| 6 | Bernhard Steffen | [1] [2] [3] |