Stephan Schmitt

Publication Activity (10 Years)

Years Active: 1995-2015
Publications (10 Years): 1

Top Venues

J. Oper. Res. Soc.

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Christoph Bremberger, Francisca Bremberger, Mikulás Luptácik, Stephan Schmitt
Regulatory impact of environmental standards on the eco-efficiency of firms. J. Oper. Res. Soc. 66 (3) (2015)
Stephan Schmitt, Jan Felix Evers, Carsten Duch, Michael Scholz, Klaus Obermayer
New methods for the computer-assisted 3-D reconstruction of neurons from confocal image stacks. NeuroImage 23 (4) (2004)
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
MetaPRL - A Modular Logical Environment. TPHOLs (2003)
Uwe Egly, Stephan Schmitt
Deriving Modular Programs from Short Proofs. IJCAR (2001)
Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR (2001)
Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic (2000)
Stephan Schmitt
A Tableau-Like Representation Framework for Efficient Proof Reconstruction. TABLEAUX (2000)
Christoph Kreitz, Stephan Schmitt
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems. Inf. Comput. 162 (1-2) (2000)
Uwe Egly, Stephan Schmitt
On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis. Fundam. Informaticae 39 (1-2) (1999)
Stephan Schmitt, Christoph Kreitz
Deleting Redundancy in Proof Reconstruction. TABLEAUX (1998)
Uwe Egly, Stephan Schmitt
Intuitionistic Proof Transformations: Complexity and Applications. Electron. Notes Theor. Comput. Sci. 17 (1998)
Uwe Egly, Stephan Schmitt
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis. AISC (1998)
Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
Connection-Based Proof Construction in Linear Logic. CADE (1997)
Stephan Schmitt, Christoph Kreitz
Converting Non-Classical Matrix Proofs into Sequent-Style Systems. CADE (1996)
Christoph Kreitz, Jens Otten, Stephan Schmitt
Guiding Program Development Systems by a Connection Based Proof Strategy. LOPSTR (1995)
Stephan Schmitt, Christoph Kreitz
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. TABLEAUX (1995)

Stephan Schmitt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephan Schmitt