dblp.uni-trier.dewww.uni-trier.de

Peter H. Schmitt Vis

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

*2009
59EEDavid Faragó, Peter H. Schmitt: Improving Non-Progress Cycle Checks. SPIN 2009: 50-67
2008
58EERichard Bubel, Reiner Hähnle, Peter H. Schmitt: Specification Predicates with Explicit Dependency Information. VERIFY 2008
2007
57EEBernhard 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
56EEWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt: KeY: A Formal Method for Object-Oriented Systems. FMOODS 2007: 32-43
55EEPeter H. Schmitt, Isabel Tonin: Verifying the Mondex Case Study. SEFM 2007: 47-58
54EEPeter H. Schmitt, Benjamin Weiß: Inferring Invariants by Symbolic Execution. VERIFY 2007
2006
53EEWolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt: Verifying Object-Oriented Programs with KeY: A Tutorial. FMCO 2006: 70-101
52EEBernhard 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
50EEBernhard Beckert, Steffen Schlager, Peter H. Schmitt: An Improved Rule for While Loops in Deductive Program Verification. ICFEM 2005: 315-329
49EEThomas 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
48EEWolfgang 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
47EEJean 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
46EEPeter H. Schmitt: Preface. Electr. Notes Theor. Comput. Sci. 102: 1-2 (2004)
2003
45EEBernhard Beckert, Peter H. Schmitt: Program Verification Using Change Information. SEFM 2003: 91-
2002
44EEWolfgang 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
43EEThomas Baar, Bernhard Beckert, Peter H. Schmitt: An Extension of Dynamic Logic for Modelling OCL's @pre Operator. Ershov Memorial Conference 2001: 47-54
42EEPeter H. Schmitt: Iterate Logic. Proof Theory in Computer Science 2001: 191-201
2000
41EEWolfgang 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
39EEReiner 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
22EEEgon 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
17EEPeter H. Schmitt: Perspectives in Multi-Valued Logic. Natural Language and Logic 1989: 206-220
16EEPeter H. Schmitt, Wolfgang Wernecke: Tableau Calculus for Order Sorted Logic. Sorts and Types in Artificial Intelligence 1989: 49-60
15EEUlrich 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
13EEChristoph 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
11EEMarek Karpinski, Hans Kleine Büning, Peter H. Schmitt: On the Computational Complexity of Quantified Horn Clauses. CSL 1987: 129-137
10EEPeter 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
4EEPeter 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

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 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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)