Marion Klein

According to our database, Marion Klein authored at least 6 papers between 1992 and 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

The MATE workbench - An annotation tool for XML coded speech corpora.

David McKelvie, Amy Isard, Andreas Mengel, Morten Baun Møller, Michael Grosse, Marion Klein

Speech Commun., 2001

1999

An Overview of the State of the Art of Coding Schemes for Dialogue Act Annotation.

Marion Klein

Proceedings of the Text, Speech and Dialogue - Second International Workshop, 1999

1996

The fixpoint analysis machine.

Marion Klein

PhD thesis, 1996

DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation.

Marion Klein, Jens Knoop, Dirk Koschützki, Bernhard Steffen

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

1995

The Fixpoint-Analysis Machine.

Bernhard Steffen, Andreas Claßen, Marion Klein, Jens Knoop, Tiziana Margaria

Proceedings of the CONCUR '95: Concurrency Theory, 1995

1992

Faster Model Checking for the Modal Mu-Calculus.

Rance Cleaveland, Marion Klein, Bernhard Steffen

Proceedings of the Computer Aided Verification, Fourth International Workshop, 1992