Guiding Program Development Systems by a Connection Based Proof Strategy. - Christoph Kreitz; Jens Otten; Stephan Schmitt (LOPSTR, 1995)

On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. - Stephan Schmitt; Christoph Kreitz (TABLEAUX, 1995)

Converting Non-Classical Matrix Proofs into Sequent-Style Systems. - Stephan Schmitt; Christoph Kreitz (CADE, 1996)

Connection-Based Proof Construction in Linear Logic. - Christoph Kreitz; Heiko Mantel; Jens Otten; Stephan Schmitt (CADE, 1997)

Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis. - Uwe Egly; Stephan Schmitt (AISC, 1998)

Deleting Redundancy in Proof Reconstruction. - Stephan Schmitt; Christoph Kreitz (TABLEAUX, 1998)

Intuitionistic Proof Transformations: Complexity and Applications. - Uwe Egly; Stephan Schmitt (Proof Search in Type-Theoretic Languages@CADE, 1998)

On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis. - Uwe Egly; Stephan Schmitt (Fundam. Informaticae, 1999)

Proof reconstruction in classical and non-classical logics. - Stephan Schmitt (Infix Akademische Verlagsgesellschaft, 2000)

Matrix-based Constructive Theorem Proving. - Christoph Kreitz; Jens Otten; Stephan Schmitt; Brigitte Pientka (Intellectics and Computational Logic, 2000)

A Tableau-Like Representation Framework for Efficient Proof Reconstruction. - Stephan Schmitt (TABLEAUX, 2000)

A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems. - Christoph Kreitz; Stephan Schmitt (Inf. Comput., 2000)

Deriving Modular Programs from Short Proofs. - Uwe Egly; Stephan Schmitt (IJCAR, 2001)

JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. - Stephan Schmitt; Lori Lorigo; Christoph Kreitz; Aleksey Nogin (IJCAR, 2001)

MetaPRL - A Modular Logical Environment. - Jason Hickey; Aleksey Nogin; Robert L. Constable; Brian E. Aydemir; Eli Barzilay; Yegor Bryukhov; Richard Eaton; Adam Granicz; Alexei Kopylov; Christoph Kreitz; Vladimir Krupski; Lori Lorigo; et al. (TPHOLs, 2003)

New methods for the computer-assisted 3-D reconstruction of neurons from confocal image stacks. - Stephan Schmitt; Jan Felix Evers; Carsten Duch; Michael Scholz; Klaus Obermayer (NeuroImage, 2004)

Regulatory impact of environmental standards on the eco-efficiency of firms. - Christoph Bremberger; Francisca Bremberger; Mikulás Luptácik; Stephan Schmitt (J. Oper. Res. Soc., 2015)