Peter H. Schmitt

	2009
59		David Faragó, Peter H. Schmitt: Improving Non-Progress Cycle Checks. SPIN 2009: 50-67
	2008
58		Richard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information. VERIFY 2008
	2007
57		Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: The KeY system 1.0 (Deduction Component). CADE 2007: 379-384
56		Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
55		Peter H. Schmitt, Isabel Tonin: Verifying the Mondex Case Study. SEFM 2007: 47-58
54		Peter H. Schmitt, Benjamin Weiß: Inferring Invariants by Symbolic Execution. VERIFY 2007
	2006
53		Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt: Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101
52		Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260
	2005
51		Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: Verification of JCSP Programs. CPA 2005: 203-218
50		Bernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329
49		Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: Tool Support for OCL and Related Formalisms - Needs and Trends. MoDELS Satellite Events 2005: 1-9
48		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt: The KeY tool. Software and System Modeling 4(1): 32-54 (2005)
	2004
47		Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75
46		Peter H. Schmitt: Preface. Electr. Notes Theor. Comput. Sci. 102: 1-2 (2004)
	2003
45		Bernhard Beckert, Peter H. Schmitt: Program Verification Using Change Information. SEFM 2003: 91-
	2002
44		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Peter H. Schmitt: The KeY System: Integrating Object-Oriented Design and Formal Methods. FASE 2002: 327-330
	2001
43		Thomas Baar, Bernhard Beckert, Peter H. Schmitt: An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54
42		Peter H. Schmitt: Iterate Logic. Proof Theory in Computer Science 2001: 191-201
	2000
41		Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: The KeY Approach: Integrating Object Oriented Design and Formal Verification. JELIA 2000: 21-36
40		Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt: Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20(3): (2000)
	1999
39		Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif: J.UCS Special Issue on Integration of Deduction Systems. J. UCS 5(3): (1999)
	1998
38		Uwe Glässer, Peter H. Schmitt: Workshop: Abstract State Machines. GI Jahrestagung 1998: 381-382
37		Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt: Wohin geht die automatische Deduktion? KI 12(4): 33-37 (1998)
36		Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt: Integrierter Deduktiver Software-Entwurf. KI 12(4): 40-41 (1998)
35		Peter H. Schmitt: Serviceteil Deduktion und Anwendungen. KI 12(4): 64 (1998)
	1997
34		Peter H. Schmitt, Jean Goubault-Larrecq: A Tableau System for Linear-TIME Temporal Logic. TACAS 1997: 130-144
33		Egon Börger, Peter H. Schmitt: A Description of the Tableau Method Using Abstract State Machines. J. Log. Comput. 7(5): 659-681 (1997)
	1996
32		Wolfgang May, Peter H. Schmitt: A Tableau Calculus for First-Order Branching Time Logic. FAPR 1996: 399-413
	1995
31		Joachim Posegga, Peter H. Schmitt: Automated Deduction with Shannon Graphs. J. Log. Comput. 5(6): 697-729 (1995)
	1994
30		Reiner Hähnle, Peter H. Schmitt: The Liberalized delta-Rule in Free Variable Semantic Tableaux. J. Autom. Reasoning 13(2): 211-221 (1994)
	1993
29		Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt: Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings Springer 1993
28		Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. Kurt Gödel Colloquium 1993: 108-119
27		Jürgen Dix, Peter H. Schmitt: Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? Kognitionswissenschaft 3(1): 53-69 (1993)
	1992
26		Peter H. Schmitt: Theorie der logischen Programmierung Springer 1992
25		Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55(2): 149-191 (1992)
	1991
24		Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt: Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings Springer 1991
23		Peter H. Schmitt: Deductive Aspects of Three-Valued Logic. Text Understanding in LILOG 1991: 394-401
	1990
22		Egon Börger, Peter H. Schmitt: A Formal Operational Semantics for Languages of Type Prolog III. CSL 1990: 67-79
21		Jürgen Dix, Joachim Posegga, Peter H. Schmitt: Modal logics for AI planning. Expert Planning Systems 1990: 157-162
20		Peter H. Schmitt, Wolfgang Wernecke: Tableau Calculus for Order Sorted Logic IWBS Report 108: (1990)
19		Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann: An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113: (1990)
18		Egon Börger, Peter H. Schmitt: A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras IWBS Report 144: (1990)
	1989
17		Peter H. Schmitt: Perspectives in Multi-Valued Logic. Natural Language and Logic 1989: 206-220
16		Peter H. Schmitt, Wolfgang Wernecke: Tableau Calculus for Order Sorted Logic. Sorts and Types in Artificial Intelligence 1989: 49-60
15		Ulrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals. Sorts and Types in Artificial Intelligence 1989: 61-72
14		Ulrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals IWBS Report 95: (1989)
	1988
13		Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language LLILOG. CSL 1988: 14-51
12		Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language LLILOG LILOG-Report 41: (1988)
	1987
11		Marek Karpinski, Hans Kleine Büning, Peter H. Schmitt: On the Computational Complexity of Quantified Horn Clauses. CSL 1987: 129-137
10		Peter H. Schmitt: A Survey of Rewrite Systems. CSL 1987: 235-262
9		Peter H. Schmitt: Vererbungshierarchien und Prädikatenlogik. Wissensrepräsentation in Expertensystemen 1987: 79-97
8		Peter H. Schmitt: Eine dreiwertige Logik zur Verarbeitung partieller Information. Inform., Forsch. Entwickl. 2(4): 182-190 (1987)
7		Peter H. Schmitt: Computational aspects of three-valued logic LILOG-Report 26: (1987)
6		Peter H. Schmitt: Eine dreiwertige Logik zur Verarbeitung partieller Information LILOG-Report 27: (1987)
5		Peter H. Schmitt: Mathematical Logic and Artificial Intelligence LILOG-Report 6: (1987)
	1986
4		Peter H. Schmitt: Computational Aspects of Three-Valued Logic. CADE 1986: 190-198
3		Otthein Herzog, Claus-Rainer Rollinger, Peter H. Schmitt, Petra Steffens, Rudi Studer, Birgit Wesche, Brigitte Bartsch-Spörl, F. Günthner, Christopher Habel, Siegfried Kanngießer, Christian Rohrer: LILOG - Linguistische und logische Methoden für das maschinelle Verstehen des Deutschen - Projektbeschreibung LILOG-Report 1: (1986)
	1984
2		Peter H. Schmitt: Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem Information and Control 61(2): 147-158 (1984)
	1981
1		Gregory L. Cherlin, Peter H. Schmitt: Undecidable Lt Theories of Topological Abelian Groups. J. Symb. Log. 46(4): 761-772 (1981)

Coauthor Index

1	Wolfgang Ahrendt	[41] [44] [48] [53] [56]
2	Thomas Baar	[40] [41] [43] [44] [47] [48] [49]
3	Brigitte Bartsch-Spörl	[3]
4	Bernhard Beckert	[28] [41] [43] [44] [45] [48] [50] [52] [53] [56] [57]
5	Christoph Beierle	[12] [13] [19] [25]
6	Jean Bézivin	[47]
7	Egon Börger	[18] [22] [33]
8	Gerhard Brewka	[29]
9	Richard Bubel	[48] [58]
10	Hans Kleine Büning	[11]
11	Gregory L. Cherlin	[1]
12	Dan Ioan Chiorean (Dan Chiorean)	[49]
13	Alexandre L. Correa	[49]
14	Jürgen Dix	[21] [24] [27]
15	Jochen Dörre	[12] [13]
16	David Faragó	[59]
17	Harald Ganzinger	[37]
18	Tracy Gardner	[47]
19	Martin Giese	[41] [44] [48] [57]
20	Uwe Glässer	[38]
21	Martin Gogolla	[47] [49]
22	Jean Goubault-Larrecq (Jean Goubault)	[34]
23	F. Günthner	[3]
24	Christopher Habel	[3]
25	Elmar Habermalz	[41] [44]
26	Reiner Hähnle	[28] [30] [36] [39] [40] [41] [44] [47] [48] [52] [53] [56] [57] [58]
27	Ulrich Hedtstück	[14] [15] [19] [25]
28	Otthein Herzog	[3]
29	Heinrich Hußmann (Heinrich Hussmann)	[47] [49]
30	Klaus P. Jantke	[24] [29]
31	Siegfried Kanngießer	[3]
32	Marek Karpinski	[11]
33	Vladimir Klebanov	[51] [57]
34	Wolfgang May	[32]
35	Wolfram Menzel	[36] [39] [41] [44] [48]
36	Wojciech Mostowski	[44] [48]
37	Octavian Patrascoiu	[47] [49]
38	Udo Pletat	[12] [13] [19] [25]
39	Joachim Posegga	[21] [31]
40	Wolfgang Reif	[39]
41	Christian Rohrer	[3]
42	Claus-Rainer Rollinger	[3] [12] [13]
43	Andreas Roth	[48]
44	Philipp Rümmer	[51] [53] [57]
45	Theo Sattler	[40]
46	Steffen Schlager	[48] [50] [51] [57]
47	Jörg H. Siekmann	[19] [25] [37]
48	Petra Steffens	[3]
49	Rudi Studer	[3] [12] [13]
50	Isabel Tonin	[55]
51	Jos Warmer	[47] [49]
52	Benjamin Weiß	[54]
53	Wolfgang Wernecke	[16] [20]
54	Birgit Wesche	[3]

Colors in the list of coauthors