Faster Model Checking for the Modal Mu-Calculus. - Rance Cleaveland; Marion Klein; Bernhard Steffen (CAV, 1992)

The Fixpoint-Analysis Machine. - Bernhard Steffen; Andreas Claßen; Marion Klein; Jens Knoop; Tiziana Margaria (CONCUR, 1995)

DFA&OPT-METAFrame: A Tool Kit for Program Analysis and Optimazation. - Marion Klein; Jens Knoop; Dirk Koschützki; Bernhard Steffen (TACAS, 1996)

The fixpoint analysis machine. - Marion Klein (Shaker, 1996)

An Overview of the State of the Art of Coding Schemes for Dialogue Act Annotation. - Marion Klein (TSD, 1999)

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)