 | 2001 |
| 5 |  | David McKelvie,
Amy Isard,
Andreas Mengel,
Morten Baun Møller,
Michael Grosse,
Marion Klein:
The MATE workbench - An annotation tool for XML coded speech corpora.
Speech Communication 33(1-2): 97-112 (2001) |
| 1999 |
| 4 |  | 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 |