| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt |
On the Semantic Relationship between Datalog and Description Logics.  |
RR  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt, Mattias Ulbrich, Benjamin Weiß |
Dynamic Frames in Java Dynamic Logic. |
FoVeOOS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | David Faragó, Peter H. Schmitt |
Improving Non-Progress Cycle Checks. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
Non-progress cycles, Model Checking, SPIN, partial order reduction, depth-first search, livelocks |
| 1 | Richard Bubel, Reiner Hähnle, Peter H. Schmitt |
Specification Predicates with Explicit Dependency Information. |
VERIFY |
2008 |
DBLP BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
KeY: A Formal Method for Object-Oriented Systems. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt, Isabel Tonin |
Verifying the Mondex Case Study. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt, Benjamin Weiß |
Inferring Invariants by Symbolic Execution. |
VERIFY |
2007 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
Integrating Object-Oriented Design and Deductive Verification of Software. |
SEFM |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Ahrendt, Bernhard Beckert, Reiner Hähnle, Philipp Rümmer, Peter H. Schmitt |
Verifying Object-Oriented Programs with KeY: A Tutorial. |
FMCO |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP DOI BibTeX RDF |
Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL |
| 1 | Bernhard Beckert, Steffen Schlager, Peter H. Schmitt |
An Improved Rule for While Loops in Deductive Program Verification. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt |
Verification of JCSP Programs. |
CPA |
2005 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Schmitt |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Beckert, Peter H. Schmitt |
Program Verification Using Change Information. |
SEFM |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Baar, Bernhard Beckert, Peter H. Schmitt |
An Extension of Dynamic Logic for Modelling OCL's @pre Operator. |
Ershov Memorial Conference |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt |
Iterate Logic. |
Proof Theory in Computer Science |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Baar, Reiner Hähnle, Theo Sattler, Peter H. Schmitt |
Entwurfgesteuerte Erzeugung von OCL-Constraints. |
Softwaretechnik-Trends |
2000 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt, Wolfgang Reif |
J.UCS Special Issue on Integration of Deduction Systems. |
J. UCS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Reiner Hähnle, Wolfram Menzel, Peter H. Schmitt |
Integrierter Deduktiver Software-Entwurf. |
KI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Harald Ganzinger, Jörg H. Siekmann, Peter H. Schmitt |
Wohin geht die automatische Deduktion? |
KI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Schmitt |
Serviceteil Deduktion und Anwendungen. |
KI |
1998 |
DBLP BibTeX RDF |
|
| 1 | Uwe Glässer, Peter H. Schmitt |
Workshop: Abstract State Machines. |
GI Jahrestagung |
1998 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Peter H. Schmitt |
A Description of the Tableau Method Using Abstract State Machines. |
J. Log. Comput. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt, Jean Goubault-Larrecq |
A Tableau System for Linear-TIME Temporal Logic. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang May, Peter H. Schmitt |
A Tableau Calculus for First-Order Branching Time Logic. |
FAPR |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Posegga, Peter H. Schmitt |
Automated Deduction with Shannon Graphs. |
J. Log. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Reiner Hähnle, Peter H. Schmitt |
The Liberalized delta-Rule in Free Variable Semantic Tableaux. |
J. Autom. Reasoning |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Peter H. Schmitt |
Nichtmonotones Schließen: Wieviel Nichtmonotonie ist nötig? |
Kognitionswissenschaft |
1993 |
DBLP BibTeX RDF |
|
| 1 | Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt (eds.) |
Nonmonotonic and Inductive Logic, Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991, Proceedings |
Nonmonotonic and Inductive Logic |
1993 |
DBLP BibTeX RDF |
|
| 1 | Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt |
The Even More Liberalized delta-Rule in Free Variable Semantic Tableaux. |
Kurt Gödel Colloquium |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann |
An Order-Sorted Logic for Knowledge Representation Systems. |
Artif. Intell. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt |
Theorie der logischen Programmierung |
|
1992 |
RDF |
|
| 1 | Peter H. Schmitt |
Deductive Aspects of Three-Valued Logic. |
Text Understanding in LILOG |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jürgen Dix, Klaus P. Jantke, Peter H. Schmitt (eds.) |
Nonmonotonic and Inductive Logic, 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990, Proceedings |
Nonmonotonic and Inductive Logic |
1991 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Peter H. Schmitt |
A Formal Operational Semantics for PROLOG III: Using Dynamic Algebras |
IWBS Report |
1990 |
RDF |
|
| 1 | Peter H. Schmitt, Wolfgang Wernecke |
Tableau Calculus for Order Sorted Logic |
IWBS Report |
1990 |
RDF |
|
| 1 | Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann |
An Order-Sorted Logic for Knowledge Representation Systems |
IWBS Report |
1990 |
RDF |
|
| 1 | Jürgen Dix, Joachim Posegga, Peter H. Schmitt |
Modal logics for AI planning. |
Expert Planning Systems |
1990 |
DBLP BibTeX RDF |
|
| 1 | Egon Börger, Peter H. Schmitt |
A Formal Operational Semantics for Languages of Type Prolog III. |
CSL |
1990 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Hedtstück, Peter H. Schmitt |
A Calculus for Order-Sorted Predicate Logic with Sort Literals |
IWBS Report |
1989 |
RDF |
|
| 1 | Peter H. Schmitt |
Perspectives in Multi-Valued Logic. |
Natural Language and Logic |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt, Wolfgang Wernecke |
Tableau Calculus for Order Sorted Logic. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulrich Hedtstück, Peter H. Schmitt |
A Calculus for Order-Sorted Predicate Logic with Sort Literals. |
Sorts and Types in Artificial Intelligence |
1989 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
The Knowledge Representation Language LLILOG |
LILOG-Report |
1988 |
RDF |
|
| 1 | Christoph Beierle, Jochen Dörre, Udo Pletat, Claus-Rainer Rollinger, Peter H. Schmitt, Rudi Studer |
The Knowledge Representation Language LLILOG. |
CSL |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt |
Mathematical Logic and Artificial Intelligence |
LILOG-Report |
1987 |
RDF |
|
| 1 | Peter H. Schmitt |
Eine dreiwertige Logik zur Verarbeitung partieller Information |
LILOG-Report |
1987 |
RDF |
|
| 1 | Peter H. Schmitt |
Computational aspects of three-valued logic |
LILOG-Report |
1987 |
RDF |
|
| 1 | Peter H. Schmitt |
Eine dreiwertige Logik zur Verarbeitung partieller Information. |
Inform., Forsch. Entwickl. |
1987 |
DBLP BibTeX RDF |
|
| 1 | Peter H. Schmitt |
Vererbungshierarchien und Prädikatenlogik. |
Wissensrepräsentation in Expertensystemen |
1987 |
DBLP BibTeX RDF |
|
| 1 | Marek Karpinski, Hans Kleine Büning, Peter H. Schmitt |
On the Computational Complexity of Quantified Horn Clauses. |
CSL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt |
A Survey of Rewrite Systems. |
CSL |
1987 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1986 |
RDF |
|
| 1 | Peter H. Schmitt |
Computational Aspects of Three-Valued Logic. |
CADE |
1986 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter H. Schmitt |
Diamond Formulas: A Fragment of Dynamic Logic with Recursively Enumerable Validity Problem |
Information and Control |
1984 |
DBLP DOI BibTeX RDF |
|
| 1 | Gregory L. Cherlin, Peter H. Schmitt |
Undecidable Lt Theories of Topological Abelian Groups. |
J. Symb. Log. |
1981 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")