Peter H. Schmitt Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Faragó, Peter H. Schmitt: Improving Non-Progress Cycle Checks. SPIN 2009: 50-67
2008
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information. VERIFY 2008
2007
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard 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
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt, Isabel Tonin: Verifying the Mondex Case Study. SEFM 2007: 47-58
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt, Benjamin Weiß: Inferring Invariants by Symbolic Execution. VERIFY 2007
2006
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt: Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Reiner Hähnle, Peter H. Schmitt: Integrating Object-Oriented Design and Deductive Verification of Software. SEFM 2006: 260
2005
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt: Verification of JCSP Programs. CPA 2005: 203-218
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Preface. Electr. Notes Theor. Comput. Sci. 102: 1-2 (2004)
2003
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Beckert, Peter H. Schmitt: Program Verification Using Change Information. SEFM 2003: 91-
2002
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Baar, Bernhard Beckert, Peter H. Schmitt: An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Iterate Logic. Proof Theory in Computer Science 2001: 191-201
2000
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt: Entwurfgesteuerte Erzeugung von OCL-Constraints. Softwaretechnik-Trends 20(3): (2000)
1999
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif: J.UCS Special Issue on Integration of Deduction Systems. J. UCS 5(3): (1999)
1998
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUwe Glässer, Peter H. Schmitt: Workshop: Abstract State Machines. GI Jahrestagung 1998: 381-382
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHarald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt: Wohin geht die automatische Deduktion? KI 12(4): 33-37 (1998)
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiner Hähnle, Wolfram Menzel, Peter H. Schmitt: Integrierter Deduktiver Software-Entwurf. KI 12(4): 40-41 (1998)
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Serviceteil Deduktion und Anwendungen. KI 12(4): 64 (1998)
1997
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt, Jean Goubault-Larrecq: A Tableau System for Linear-TIME Temporal Logic. TACAS 1997: 130-144
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgon Börger, Peter H. Schmitt: A Description of the Tableau Method Using Abstract State Machines. J. Log. Comput. 7(5): 659-681 (1997)
1996
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang May, Peter H. Schmitt: A Tableau Calculus for First-Order Branching Time Logic. FAPR 1996: 399-413
1995
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoachim Posegga, Peter H. Schmitt: Automated Deduction with Shannon Graphs. J. Log. Comput. 5(6): 697-729 (1995)
1994
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLReiner Hähnle, Peter H. Schmitt: The Liberalized delta-Rule in Free Variable Semantic Tableaux. J. Autom. Reasoning 13(2): 211-221 (1994)
1993
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerhard Brewka, Klaus P. Jantke, Peter H. Schmitt: Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings Springer 1993
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard 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
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Peter H. Schmitt: Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? Kognitionswissenschaft 3(1): 53-69 (1993)
1992
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Theorie der logischen Programmierung Springer 1992
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Klaus P. Jantke, Peter H. Schmitt: Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings Springer 1991
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Deductive Aspects of Three-Valued Logic. Text Understanding in LILOG 1991: 394-401
1990
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgon Börger, Peter H. Schmitt: A Formal Operational Semantics for Languages of Type Prolog III. CSL 1990: 67-79
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Dix, Joachim Posegga, Peter H. Schmitt: Modal logics for AI planning. Expert Planning Systems 1990: 157-162
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt, Wolfgang Wernecke: Tableau Calculus for Order Sorted Logic IWBS Report 108: (1990)
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph 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)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEgon Börger, Peter H. Schmitt: A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras IWBS Report 144: (1990)
1989
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Perspectives in Multi-Valued Logic. Natural Language and Logic 1989: 206-220
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt, Wolfgang Wernecke: Tableau Calculus for Order Sorted Logic. Sorts and Types in Artificial Intelligence 1989: 49-60
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals. Sorts and Types in Artificial Intelligence 1989: 61-72
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Hedtstück, Peter H. Schmitt: A Calculus for Order-Sorted Predicate Logic with Sort Literals IWBS Report 95: (1989)
1988
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language LLILOG. CSL 1988: 14-51
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer: The Knowledge Representation Language LLILOG LILOG-Report 41: (1988)
1987
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarek Karpinski, Hans Kleine Büning, Peter H. Schmitt: On the Computational Complexity of Quantified Horn Clauses. CSL 1987: 129-137
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: A Survey of Rewrite Systems. CSL 1987: 235-262
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Vererbungshierarchien und Prädikatenlogik. Wissensrepräsentation in Expertensystemen 1987: 79-97
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Eine dreiwertige Logik zur Verarbeitung partieller Information. Inform., Forsch. Entwickl. 2(4): 182-190 (1987)
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Computational aspects of three-valued logic LILOG-Report 26: (1987)
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Eine dreiwertige Logik zur Verarbeitung partieller Information LILOG-Report 27: (1987)
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Mathematical Logic and Artificial Intelligence LILOG-Report 6: (1987)
1986
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Computational Aspects of Three-Valued Logic. CADE 1986: 190-198
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOtthein 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
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter H. Schmitt: Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem Information and Control 61(2): 147-158 (1984)
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory L. Cherlin, Peter H. Schmitt: Undecidable Lt Theories of Topological Abelian Groups. J. Symb. Log. 46(4): 761-772 (1981)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)