Planning for Distributed Theorem Proving: The Teamwork Approach. - Jörg Denzinger; Martin Kronenburg (KI, 1996)

A Generic Approach to the Formal Specification of Requirements. - Christian Peper; Reinhard Gotzhein; Martin Kronenburg (ICFEM, 1997)

DISCOUNT - A Distributed and Learning Equational Prover. - Jörg Denzinger; Martin Kronenburg; Stephan Schulz 001 (J. Autom. Reason., 1997)

Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. - Reinhard Gotzhein; Martin Kronenburg; Christian Peper (FTRTFT, 1998)

Application of the FOREST Approach to the Light Control Case Study. - Martin Kronenburg; Christian Peper (J. Univers. Comput. Sci., 2000)

The Light Control Case Study: Problem Description. - Stefan Queins; Gerhard Zimmermann; Martin Becker 002; Martin Kronenburg; Christian Peper; Rolf Merz; Jürgen Schäfer (J. Univers. Comput. Sci., 2000)

An approach to the creation of precise, intelligible problem specifications of large reactive systems. - Martin Kronenburg (Shaker, 2001)