Marion Klein

Publication Activity (10 Years)

Years Active: 1992-2001
Publications (10 Years): 0

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

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 Commun. 33 (1-2) (2001)
Marion Klein
An Overview of the State of the Art of Coding Schemes for Dialogue Act Annotation. TSD (1999)
Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen
DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. TACAS (1996)
Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria
The Fixpoint-Analysis Machine. CONCUR (1995)
Rance Cleaveland, Marion Klein, Bernhard Steffen
Faster Model Checking for the Modal Mu-Calculus. CAV (1992)