Stephan Schmitt

2003
14	EE	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: 287-303
2001
13	EE	Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin: JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR 2001: 421-426
12	EE	Uwe Egly, Stephan Schmitt: Deriving Modular Programs from Short Proofs. IJCAR 2001: 561-577
2000
11		Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka: Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic 2000: 189-205
10		Stephan Schmitt: A Tableau-Like Representation Framework for Efficient Proof Reconstruction. TABLEAUX 2000: 398-414
9		Christoph Kreitz, Stephan Schmitt: A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems. Inf. Comput. 162(1-2): 226-254 (2000)
1999
8		Uwe Egly, Stephan Schmitt: On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis. Fundam. Inform. 39(1-2): 59-83 (1999)
1998
7	EE	Uwe Egly, Stephan Schmitt: Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis. AISC 1998: 132-144
6	EE	Stephan Schmitt, Christoph Kreitz: Deleting Redundancy in Proof Reconstruction. TABLEAUX 1998: 262-276
5	EE	Uwe Egly, Stephan Schmitt: Intuitionistic Proof Transformations: Complexity and Applications. Electr. Notes Theor. Comput. Sci. 17: (1998)
1997
4		Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt: Connection-Based Proof Construction in Linear Logic. CADE 1997: 207-221
1996
3		Stephan Schmitt, Christoph Kreitz: Converting Non-Classical Matrix Proofs into Sequent-Style Systems. CADE 1996: 418-432
1995
2		Christoph Kreitz, Jens Otten, Stephan Schmitt: Guiding Program Development Systems by a Connection Based Proof Strategy. LOPSTR 1995: 137-151
1		Stephan Schmitt, Christoph Kreitz: On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. TABLEAUX 1995: 106-121

Coauthor Index

1	Brian E. Aydemir	[14]
2	Eli Barzilay	[14]
3	Yegor Bryukhov	[14]
4	Robert L. Constable	[14]
5	Richard Eaton	[14]
6	Uwe Egly	[5] [7] [8] [12]
7	Adam Granicz	[14]
8	Jason Hickey	[14]
9	Alexei Kopylov	[14]
10	Christoph Kreitz	[1] [2] [3] [4] [6] [9] [11] [13] [14]
11	Vladimir Krupski	[14]
12	Lori Lorigo	[13] [14]
13	Heiko Mantel	[4]
14	Aleksey Nogin	[13] [14]
15	Jens Otten	[2] [4] [11]
16	Brigitte Pientka	[11]
17	Carl Witty	[14]
18	Xin Yu	[14]

Colors in the list of coauthors