Stephan Schmitt

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