The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter H. Schmitt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter H. Schmitt
    A Survey of Rewrite Systems. [Citation Graph (2, 0)][DBLP]
    CSL, 1987, pp:235-262 [Conf]
  2. Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
    An Order-Sorted Logic for Knowledge Representation Systems. [Citation Graph (2, 0)][DBLP]
    Artif. Intell., 1992, v:55, n:2, pp:149-191 [Journal]
  3. Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer
    The Knowledge Representation Language LLILOG. [Citation Graph (1, 0)][DBLP]
    CSL, 1988, pp:14-51 [Conf]
  4. Jürgen Dix, Joachim Posegga, Peter H. Schmitt
    Modal logics for AI planning. [Citation Graph (0, 0)][DBLP]
    Expert Planning Systems, 1990, pp:157-162 [Conf]
  5. Peter H. Schmitt
    Computational Aspects of Three-Valued Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1986, pp:190-198 [Conf]
  6. Egon Börger, Peter H. Schmitt
    A Formal Operational Semantics for Languages of Type Prolog III. [Citation Graph (0, 0)][DBLP]
    CSL, 1990, pp:67-79 [Conf]
  7. Marek Karpinski, Hans Kleine Büning, Peter H. Schmitt
    On the Computational Complexity of Quantified Horn Clauses. [Citation Graph (0, 0)][DBLP]
    CSL, 1987, pp:129-137 [Conf]
  8. Peter H. Schmitt
    Iterate Logic. [Citation Graph (0, 0)][DBLP]
    Proof Theory in Computer Science, 2001, pp:191-201 [Conf]
  9. Thomas Baar, Bernhard Beckert, Peter H. Schmitt
    An Extension of Dynamic Logic for Modelling OCL's @pre Operator. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:47-54 [Conf]
  10. Wolfgang May, Peter H. Schmitt
    A Tableau Calculus for First-Order Branching Time Logic. [Citation Graph (0, 0)][DBLP]
    FAPR, 1996, pp:399-413 [Conf]
  11. 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. [Citation Graph (0, 0)][DBLP]
    FASE, 2002, pp:327-330 [Conf]
  12. Uwe Glässer, Peter H. Schmitt
    Workshop: Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1998, pp:381-382 [Conf]
  13. Peter H. Schmitt
    Vererbungshierarchien und Prädikatenlogik. [Citation Graph (0, 0)][DBLP]
    Wissensrepräsentation in Expertensystemen, 1987, pp:79-97 [Conf]
  14. Peter H. Schmitt
    Perspectives in Multi-Valued Logic. [Citation Graph (0, 0)][DBLP]
    Natural Language and Logic, 1989, pp:206-220 [Conf]
  15. Bernhard Beckert, Steffen Schlager, Peter H. Schmitt
    An Improved Rule for While Loops in Deductive Program Verification. [Citation Graph (0, 0)][DBLP]
    ICFEM, 2005, pp:315-329 [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    JELIA, 2000, pp:21-36 [Conf]
  17. Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
    The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    Kurt Gödel Colloquium, 1993, pp:108-119 [Conf]
  18. Ulrich Hedtstück, Peter H. Schmitt
    A Calculus for Order-Sorted Predicate Logic with Sort Literals. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:61-72 [Conf]
  19. Peter H. Schmitt, Wolfgang Wernecke
    Tableau Calculus for Order Sorted Logic. [Citation Graph (0, 0)][DBLP]
    Sorts and Types in Artificial Intelligence, 1989, pp:49-60 [Conf]
  20. Bernhard Beckert, Peter H. Schmitt
    Program Verification Using Change Information. [Citation Graph (0, 0)][DBLP]
    SEFM, 2003, pp:91-0 [Conf]
  21. Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
    Integrating Object-Oriented Design and Deductive Verification of Software. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:260- [Conf]
  22. Peter H. Schmitt, Jean Goubault-Larrecq
    A Tableau System for Linear-TIME Temporal Logic. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:130-144 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    MoDELS Satellite Events, 2005, pp:1-9 [Conf]
  24. 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. [Citation Graph (0, 0)][DBLP]
    UML Satellite Activities, 2004, pp:67-75 [Conf]
  25. Peter H. Schmitt
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:102, n:, pp:1-2 [Journal]
  26. Peter H. Schmitt
    Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem [Citation Graph (0, 0)][DBLP]
    Information and Control, 1984, v:61, n:2, pp:147-158 [Journal]
  27. Peter H. Schmitt
    Eine dreiwertige Logik zur Verarbeitung partieller Information. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1987, v:2, n:4, pp:182-190 [Journal]
  28. Reiner Hähnle, Peter H. Schmitt
    The Liberalized delta-Rule in Free Variable Semantic Tableaux. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1994, v:13, n:2, pp:211-221 [Journal]
  29. Gregory L. Cherlin, Peter H. Schmitt
    Undecidable Lt Theories of Topological Abelian Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1981, v:46, n:4, pp:761-772 [Journal]
  30. Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif
    J.UCS Special Issue on Integration of Deduction Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 1999, v:5, n:3, pp:- [Journal]
  31. Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt
    Wohin geht die automatische Deduktion? [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:33-37 [Journal]
  32. Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
    Integrierter Deduktiver Software-Entwurf. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:40-41 [Journal]
  33. Peter H. Schmitt
    Serviceteil Deduktion und Anwendungen. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:64- [Journal]
  34. Jürgen Dix, Peter H. Schmitt
    Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? [Citation Graph (0, 0)][DBLP]
    Kognitionswissenschaft, 1993, v:3, n:1, pp:53-69 [Journal]
  35. Peter H. Schmitt
    Deductive Aspects of Three-Valued Logic. [Citation Graph (0, 0)][DBLP]
    , 1991, v:, n:, pp:394-401 [Journal]
  36. Egon Börger, Peter H. Schmitt
    A Description of the Tableau Method Using Abstract State Machines. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1997, v:7, n:5, pp:659-681 [Journal]
  37. Joachim Posegga, Peter H. Schmitt
    Automated Deduction with Shannon Graphs. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1995, v:5, n:6, pp:697-729 [Journal]
  38. 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. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:1, pp:32-54 [Journal]
  39. Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt
    Entwurfgesteuerte Erzeugung von OCL-Constraints. [Citation Graph (0, 0)][DBLP]
    Softwaretechnik-Trends, 2000, v:20, n:3, pp:- [Journal]
  40. Bernhard Beckert, Martin Giese, Reiner Hähnle, Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt
    The KeY system 1.0 (Deduction Component). [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:379-384 [Conf]
  41. Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
    KeY: A Formal Method for Object-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:32-43 [Conf]

  42. Inferring Invariants by Symbolic Execution. [Citation Graph (, )][DBLP]


  43. Specification Predicates with Explicit Dependency Information. [Citation Graph (, )][DBLP]


  44. Verifying Object-Oriented Programs with KeY: A Tutorial. [Citation Graph (, )][DBLP]


  45. Verifying the Mondex Case Study. [Citation Graph (, )][DBLP]


  46. Improving Non-Progress Cycle Checks. [Citation Graph (, )][DBLP]


  47. On the Semantic Relationship between Datalog and Description Logics. [Citation Graph (, )][DBLP]


  48. Verification of JCSP Programs. [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002