Peter H. Schmitt

2008
58	EE	Richard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information. VERIFY 2008
2007
57	EE	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	EE	Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
55	EE	Peter H. Schmitt, Isabel Tonin: Verifying the Mondex Case Study. SEFM 2007: 47-58
54	EE	Peter H. Schmitt, Benjamin Weiss: Inferring Invariants by Symbolic Execution. VERIFY 2007
2006
53	EE	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	EE	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	EE	Bernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329
49	EE	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	EE	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	EE	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	EE	Peter H. Schmitt: Preface. Electr. Notes Theor. Comput. Sci. 102: 1-2 (2004)
2003
45	EE	Bernhard Beckert, Peter H. Schmitt: Program Verification Using Change Information. SEFM 2003: 91-
2002
44	EE	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	EE	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	EE	Peter H. Schmitt: Iterate Logic. Proof Theory in Computer Science 2001: 191-201
2000
41	EE	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	EE	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 Chiorean	[49]
13	Alexandre L. Correa	[49]
14	Jürgen Dix	[21] [24] [27]
15	Jochen Dörre	[12] [13]
16	Harald Ganzinger	[37]
17	Tracy Gardner	[47]
18	Martin Giese	[41] [44] [48] [57]
19	Uwe Glässer	[38]
20	Martin Gogolla	[47] [49]
21	Jean Goubault-Larrecq (Jean Goubault)	[34]
22	F. Günthner	[3]
23	Christopher Habel	[3]
24	Elmar Habermalz	[41] [44]
25	Reiner Hähnle	[28] [30] [36] [39] [40] [41] [44] [47] [48] [52] [53] [56] [57] [58]
26	Ulrich Hedtstück	[14] [15] [19] [25]
27	Otthein Herzog	[3]
28	Heinrich Hußmann (Heinrich Hussmann)	[47] [49]
29	Klaus P. Jantke	[24] [29]
30	Siegfried Kanngießer	[3]
31	Marek Karpinski	[11]
32	Vladimir Klebanov	[51] [57]
33	Wolfgang May	[32]
34	Wolfram Menzel	[36] [39] [41] [44] [48]
35	Wojciech Mostowski	[44] [48]
36	Octavian Patrascoiu	[47] [49]
37	Udo Pletat	[12] [13] [19] [25]
38	Joachim Posegga	[21] [31]
39	Wolfgang Reif	[39]
40	Christian Rohrer	[3]
41	Claus-Rainer Rollinger	[3] [12] [13]
42	Andreas Roth	[48]
43	Philipp Rümmer	[51] [53] [57]
44	Theo Sattler	[40]
45	Steffen Schlager	[48] [50] [51] [57]
46	Jörg H. Siekmann	[19] [25] [37]
47	Petra Steffens	[3]
48	Rudi Studer	[3] [12] [13]
49	Isabel Tonin	[55]
50	Jos Warmer	[47] [49]
51	Benjamin Weiss	[54]
52	Wolfgang Wernecke	[16] [20]
53	Birgit Wesche	[3]

Colors in the list of coauthors