Stephan Schmitt

According to our database, Stephan Schmitt authored at least 17 papers between 1995 and 2015.

Collaborative distances:

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

2015

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

2004

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

2003

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, Stephan Schmitt, Carl Witty, Xin Yu

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2001

JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.

Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

Deriving Modular Programs from Short Proofs.

Uwe Egly, Stephan Schmitt

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems.

Christoph Kreitz, Stephan Schmitt

Inf. Comput., 2000

A Tableau-Like Representation Framework for Efficient Proof Reconstruction.

Stephan Schmitt

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Matrix-based Constructive Theorem Proving.

Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Proof reconstruction in classical and non-classical logics.

Stephan Schmitt

PhD thesis, 2000

1999

On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis.

Uwe Egly, Stephan Schmitt

Fundam. Informaticae, 1999

1998

Intuitionistic Proof Transformations: Complexity and Applications.

Uwe Egly, Stephan Schmitt

Proceedings of the Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), 1998

Deleting Redundancy in Proof Reconstruction.

Stephan Schmitt, Christoph Kreitz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis.

Uwe Egly, Stephan Schmitt

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997

Connection-Based Proof Construction in Linear Logic.

Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt

Proceedings of the Automated Deduction, 1997

1996

Converting Non-Classical Matrix Proofs into Sequent-Style Systems.

Stephan Schmitt, Christoph Kreitz

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs.

Stephan Schmitt, Christoph Kreitz

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Guiding Program Development Systems by a Connection Based Proof Strategy.

Christoph Kreitz, Jens Otten, Stephan Schmitt

Proceedings of the Logic Programming Synthesis and Transformation, 1995