2002

• Translating the Object Constraint Language into First-order Predicate Logic.
  Bernhard Beckert, Uwe Keller, and Peter H. Schmitt
  Proceedings of VERIFY, Workshop at Federated Logic Conferences (FLoC),
  Copenhagen, Denmark, 2002.
  BibTeX   PostScript

2001

• An Extension of Dynamic Logic for Modelling OCL's @pre Operator.
  Thomas Baar, Bernhard Beckert and Peter H. Schmitt
  Proceedings, Fourth Andrei Ershov International Conference,
  Perspectives of System Informatics, Novosibirsk, Russia
  (BibTeX   PostScript)
• Iterate Logic.
  Peter H. Schmitt
  Proof Theory in Computer Science, Proceedings of the International Seminar,
  Dagstuhl Castle, October 2001
  (BibTeX   PostScript)
• A Model Theoretic Semantics of OCL
  Peter H. Schmitt Proceedings,
  IJCAR Workshop on Precise Modelling and Deduction for Object-oriented Software Development,
  Siena, Italy, 2001.
  (BibTeX   PostScript   Proceedings)

2000

• The KeY Approach: Integrating Object Oriented Design and Formal Verification.
  Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Martin Giese, Elmar Habermalz, Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt
  Proc. 8th European Workshop on Logics in AI (JELIA)
  (BibTeX   PostScript)
• The KeY Approach: Integrating Object Oriented Design and Formal Verification.
  W. Ahrendt, Th. Baar, B. Beckert, M. Giese, E. Habermal, R. Hähnle, W. Menzel and P. H. Schmitt Tech.
  Report University of Karlsruhe
  (BibTeX   PostScript)
• Entwurfsmustergesteuerte Erzeugung von OCL-Constraints.
  Thomas Baar, Theo Sattler, Reiner Hähnle and Peter H. Schmitt
  Proceedings, GI-Tagung Softwaretechnik 2000, Berlin, Germany
  (BibTeX   PostScript)

1999

• Special Issue on Integration of Deduction Systems.
  Reiner Hähnle, Wolfram Menzel, Wolfgang Reif and Peter H. Schmitt (eds)
  Journal of Universal Computer Science
  (BibTeX   JUCS)
• Implementing Semantic Tableaux.
  Joachim Posegga and Peter H. Schmitt
  In: Handbook of Tableau Methods
  (BibTeX   Kluwer)

1998

• Automated Deduction - A Basis for Applications.
  Vol. I. Foundations - Calculi and Methods.
  Vol II. Systems and Implementation Techniques.
  Vol. III. Applications.
  Wolfgang Bibel and Peter H. Schmitt (eds.)
  Kluwer Academic Publishers
  (BibTeX   Kluwer )
• Integration of Automated and Interactive Theorem Proving.
  W. Ahrendt, B. Beckert, R. Hähnle, W. Menzel, W. Reif, G. Schellhorn and P. H. Schmitt
  In: Automated Deduction -- A Basis for Applications
  (BibTeX   Kluwer )
• Integration of Deductive Systems.
  N. S. Bjørner, R. Hähnle, W. Menzel, W. Reif and P. H. Schmitt (eds.)
  Workshop at the 15th International Conference on Automated Deduction
  (BibTeX   postscript file )
• Proceedings of the fifth International Workshop on Abstract State Machines.
  Uwe Glässer and Peter H. Schmitt
  Magdeburg, Germany, September
  (BibTeX   postscript file )

1997

• A Tableau System for Linear-TIME Temporal Logic.
  Jean Goubault-Larrecq and Peter H. Schmitt
  In: Proceedings of TACAS'97
  (BibTeX   postscript file )
• A Description of the Tableau Method Using Abstract State Machines.
  Egon Börger and Peter H.Schmitt
  J. Logic and Computation
  (BibTeX   postscript file )
• Multiple-valued Logic. Peter H. Schmitt, Daniele Mundici and Lotfi Zadeh (Eds.)
  Dagstuhl-Seminar-Report
  (BibTeX   postscript file   Program and participants )
• Visualizations for Proof Presentation in Theoretical Computer Science Education.
  Christian Pape and Peter H. Schmitt
  Proc. Intern. Conf. on Computers in Education, Malaysia
  (BibTeX )

1996

• A Tableau Calculus For First-Order Branching Time Logic.
  W. May and P. H. Schmitt
  In: Proc. Intl. Conf. on Formal and Applied Practical Reasoning, FAPR'96
  (BibTeX )
• Visual Reasoning. Gerard Allwein,
  Joachim Posegga and Peter H. Schmitt (Eds.)
  Workshop at CADE 13
  (BibTeX )

1995

• Logik in der Informatik. 3. Jahrestagung der GI-Fachgruppe.
  Peter H. Schmitt (ed.)
  Tech. Report
  (BibTeX )
• Special issue on: Non-classical logics and computer science.
  Victor Marek and Peter H. Schmitt (eds.)
  Annals of Mathematics and Artificial Intelligence
  (BibTeX )
• Automated Deduction with Shannon Graphs.
  Joachim Posegga and Peter H. Schmitt
  J.Logic and Computation
  (BibTeX )

1994

• The liberalized delta-rule in free variable semantic tableaux.
  Reiner Hähnle and Peter H. Schmitt
  Journal of Automated Reasoning
  (BibTeX )
• Proving WAM Compiler Correctness. Peter H. Schmitt
  Technical Report, Universität Karlsruhe
  (BibTeX   postscript file )

1993

• Nonmonotonic and Inductive Logic, 2. Internat. Workshop, Schloß Reinhardsbrunn.
  G. Brewka, K.-P. Jantke and P. H. Schmitt (eds.)
  Springer Verlag Lecture Notes in AI
  (BibTeX )
• The even more liberalized delta-rule in free variable semantic tableaux.
  Bernhard Beckert, Reiner Hähnle and Peter H. Schmitt
  In: Proceedings of the third Kurt Gödel Colloquium KGC'93, Brno, Czech Republic
  (BibTeX )
• Eigenschaften des rationalen Abschlusses.
  Jürgen Dix and Peter H. Schmitt
  Kognitionswissenschaft
  (BibTeX )

1992

• Theorie der logischen Programmierung.
  Peter H. Schmitt
  Springer Verlag
  (BibTeX )
• Review of: Nichtklassische Logik, eine Einführung.
  Peter H. Schmitt
  Journal of Symbolic Logic
  (BibTeX )
• An order-sorted logic for knowledge representation.
  Ch.Beierle, U. Hedstück, U. Pletat, P. H. Schmitt and J. Siekmann
  Journal of AI
  (BibTeX )

1991

• Deductive aspects of three-valued logic.
  Peter H. Schmitt
  In: Text Understanding in LILOG, Final Report on the IBM Germany LILOG-Project
  (BibTeX )
• Nonmonotonic and Inductive Logic, First Internat. Workshop, Karlsruhe.
  K.-P. Jantke, P. H. Schmitt and J. Dix (eds.)
  Springer Lecture Notes in AI
  (BibTeX )

1990

• A calculus for order-sorted predicate logic with sort literals.
  Peter H. Schmitt and U. Hedtstück
  In: Sorts and Types in Artificial Intelligence, Proc. Workshop, Ehringerfeld
  (BibTeX )
• A formal operational semantics for Prolog III using dynamic algebras.
  Egon Börger and Peter H. Schmitt
  In: Proc.Computer Science Logic, Heidelberg
  (BibTeX )
• Tableau calculus for order-sorted logic.
  Wernecke Wolfgang and Peter H. Schmitt
  In: Sorts and Types in Artificial Intelligence, Proc. Workshop, Ehringerfeld
  (BibTeX)
• Modal logics for AI planning.
  Jürgen Dix, Joachim Posegga and Peter H. Schmitt
  In: Proc. of the First Internat. Conf. on Expert Planning
  (BibTeX )

1989

• Perspectives in multi-valued logic.
  Peter H. Schmitt
  Proc. Internat. Scientific Symposium on Natural Language and Logic, Hamburg
  (BibTeX )

1988

• The knowledge representation language L_LILOG.
  J. Dörre, U. Pletat, C.-R. Rollinger, P. H. Schmitt and R. Studer and Ch. Beierle
  Proc. 2nd CSL workshop, Duisburg
  (BibTeX )
• Knuth-Bendix-Algorithmen.
  Peter H. Schmitt and Michael Schmitz
  Technical Report, IBM Heidelberg Scientific Center
  (BibTeX )

1987

• The THOT theorem prover.
  Peter H. Schmitt
  Technical Report, IBM Heidelberg Scientific Center
  (BibTeX )
• Eine dreiwertige Logik zur Verarbeitung partieller Information.
  Peter H. Schmitt
  Informatik Forschung und Entwicklung
  (BibTeX )
• Topics in three-valued logic.
  Peter H. Schmitt
  PROLOG und PROLOG-Anwendungen, Proc. Universität Bielefeld
  (BibTeX )
• Vererbungshierarchien und Prädikatenlogik.
  Peter H. Schmitt
  In: Wissensrepräsentation in Expertensystemen, Informatik Fachberichte
  (BibTeX )
• A survey on rewrite systems.
  Peter H. Schmitt
  In: Proc. of the 1^st workshop on Computer Science Logic
  (BibTeX )
• The computational complexity of quantified Horn clauses.
  Marek Karpinski, Hans Kleine Büning and Peter H. Schmitt
  In: Proc. of the 1^st workshop on Computer Science Logic
  (BibTeX )

1986

• Mathematical logic and artificial intelligence.
  Peter H. Schmitt
  LILOG Report, IBM Deutschland GmbH
  (BibTeX )
• Computational aspects of three-valued logic.
  Peter H. Schmitt
  8^th International Conference on Automated Deduction
  (BibTeX )
• Model theory for valuated abelian groups.
  Peter H. Schmitt
  Proc. of the Logic Colloqium, 1984, Manchester
  (BibTeX )

1984

• Diamond formulas: A fragment of dynamic logic with r.e. validity problem.
  Peter H. Schmitt
  Information and Control
  (BibTeX )
• The theory of ordered abelian groups does not have the independence property.
  Yuri Gurevich and Peter H. Schmitt
  Transactions of the American Mathematical Society
  (BibTeX )

1983

• The l^t-theory of profinite Abelian groups.
  Peter H. Schmitt
  Fundamenta Mathematicae
  (BibTeX )
• Algebraically complete lattices.
  Peter H. Schmitt
  Algebra Universalis
  (BibTeX )
• Model- and substructure complete theories of ordered Abelian groups.
  Peter H. Schmitt
  In: Models and Sets, Proc. of the Logic Colloqium 1983, Aachen
  (BibTeX )
• Undecidable theories of valuated abelian groups.
  Peter H. Schmitt
  In Compte rendu de la table ronde de Logique, Oct. 1983
  (BibTeX )
• Locally pure topological abelian groups: Elementary invariants.
  Gregory Cherlin and Peter H. Schmitt
  Annals of Pure and Applied Logic
  (BibTeX )

1982

• The elementary theory of torsionfree abelian groups with a predicate specifying a subgroup.
  Peter H. Schmitt
  Zeitschrift f. Mathematische Logik
  (BibTeX )
• Model Theory of Ordered Abelian Groups.
  Peter H. Schmitt
  Habilitationsschrift, Universität Heidelberg
  (BibTeX )

 1981

• Undecidable l^t-theories of topological abelian groups.
  Greogry Cherlin and Peter H. Schmitt
  Journal of Symbolic Logic
  (BibTeX )

1977

• Normal Double Stone Algebras.
  Peter H. Schmitt
  Algebra Universalis
  (BibTeX )

1976

• The model completion of stone algebras.
  Peter H. Schmitt
  Annales Sci. de l'Université de Clermont
  (BibTeX )

1975

• Categorical Lattices, PhD Thesis.
  Peter H. Schmitt
  Universität Heidelberg
  (BibTeX )

• Member of the Scientific Directorate
  International Conference and Research Center for Computer Science Schloss Dagstuhl
• Member of the Supervisory Board
  International Conference and Research Center for Computer Science Schloss Dagstuhl
• Program committee member
  4th IEEE International Conference on Software Engineering and Formal Methods SEFM 2006
• Program committee member
  8th International Conference on Formal Engineering Methods ICFEM 2006
• Program committee member
  OCL for (Meta-)Models in Multiple Application Domains OCLApps 2006

• General Chair
  3rd IEEE International Conference on Software Engineering and Formal Methods, SEFM 2005
• Program committee member
  ACM / IEEE 8th International Conference on Model Driven Engineering Languages and Systems (formerly the UML series of conferences) MoDELS / UML 2005
• Program committee member
  20th International Conference on Automated Deduction CADE-20
• Program committee member
  International Conference TABLEAUX 2005 Automated Reasoning with Analytic Tableaux and Related Methods