| 2024 | ISCAS | Quantization-Robust On-Chip Jitter Measurement Technique for Multiple Local Oscillator Systems. | Lukas Schramm, Peter Baumgartner, Jasmin Aghassi-Hagmann |
| 2024 | LPAR | Automated Theorem Provers Help Improve Large Language Model Reasoning. | Lachlan McGinness, Peter Baumgartner |
| 2021 | CADE | The Fusemate Logic Programming System. | Peter Baumgartner |
| 2020 | CADE | Possible Models Computation and Revision - A Practical Approach. | Peter Baumgartner |
| 2018 | KR | Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. | Peter Baumgartner, Sylvie Thibaux, Felipe W. Trevizan |
| 2017 | TABLEAUX | Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. | Peter Baumgartner, Sylvie Thibaux, Felipe W. Trevizan |
| 2015 | CADE | SMTtoTPTP - A Converter for Theorem Proving Formats. | Peter Baumgartner |
| 2015 | CADE | Beagle - A Hierarchic Superposition Theorem Prover. | Peter Baumgartner, Joshua Bax, Uwe Waldmann |
| 2014 | CADE | Finite Quantification in Hierarchic Theorem Proving. | Peter Baumgartner, Joshua Bax, Uwe Waldmann |
| 2013 | CADE | Hierarchic Superposition with Weak Abstraction. | Peter Baumgartner, Uwe Waldmann |
| 2013 | IOLTS | Challenges of RF and mixed signal design under process variability. | Georgios Panagopoulos, Phillipp Riess, Peter Baumgartner |
| 2013 | LPAR | Proving Infinite Satisfiability. | Peter Baumgartner, Joshua Bax |
| 2013 | TABLEAUX | Tableaux for Verification of Data-Centric Processes. | Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish |
| 2012 | LPAR | The TPTP Typed First-Order Form with Arithmetic. | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner |
| 2011 | CADE | Model Evolution with Equality Modulo Built-in Theories. | Peter Baumgartner, Cesare Tinelli |
| 2011 | EuroPLop | Showcase of learning: towards a pattern language for working with electronic portfolios in higher education. | Reinhard Bauer, Peter Baumgartner |
| 2010 | EuroPLop | The potential of Christopher Alexander's theory and practice of wholeness: clues for developing an educational taxonomy. | Reinhard Bauer, Peter Baumgartner |
| 2009 | CADE | Superposition and Model Evolution Combined. | Peter Baumgartner, Uwe Waldmann |
| 2009 | TABLEAUX | A Novel Architecture for Situation Awareness Systems. | Franz Baader, Andreas Bauer, Peter Baumgartner, Anne Cregan, Alfredo Gabaldon, Krystian Ji, Kevin Lee, David Rajaratnam, Rolf Schwitter |
| 2008 | LPAR | (LIA) - Model Evolution with Linear Integer Arithmetic Constraints. | Peter Baumgartner, Alexander Fuchs, Cesare Tinelli |
| 2007 | CADE | Logical Engineering with Instance-Based Methods. | Peter Baumgartner |
| 2007 | CADE | Hyper Tableaux with Equality. | Peter Baumgartner, Ulrich Furbach, Bjrn Pelzer |
| 2006 | CADE | Blocking and Other Enhancements for Bottom-Up Model Generation Methods. | Peter Baumgartner, Renate A. Schmidt |
| 2006 | LPAR | Lemma Learning in the Model Evolution Calculus. | Peter Baumgartner, Alexander Fuchs, Cesare Tinelli |
| 2005 | CADE | The Model Evolution Calculus with Equality. | Peter Baumgartner, Cesare Tinelli |
| 2004 | JELIA | Logic Programming Infrastructure for Inferences on FrameNet. | Peter Baumgartner, Aljoscha Burchardt |
| 2004 | KI | Model Based Deduction for Database Schema Reasoning. | Peter Baumgartner, Ulrich Furbach, Margret Gro-Hardt, Thomas Kleemann |
| 2003 | CADE | 'Living Book': -'Deduction', 'Slicing', 'Interaction'. | Peter Baumgartner, Ulrich Furbach, Margret Gro-Hardt, Alex Sinner |
| 2003 | CADE | The Model Evolution Calculus. | Peter Baumgartner, Cesare Tinelli |
| 2000 | CADE | FDPLL - A First Order Davis-Putnam-Longeman-Loveland Procedure. | Peter Baumgartner |
| 2000 | CADE | Workshop: Model Computation - Principles, Algorithms, Applications. | Peter Baumgartner, Christian G. Fermller, Nicolas Peltier, Hantao Zhang |
| 1999 | CADE | A Confluent Connection Calculus. | Peter Baumgartner, Norbert Eisinger, Ulrich Furbach |
| 1999 | TABLEAUX | Merge Path Improvements for Minimal Model Hyper Tableaux. | Peter Baumgartner, Joseph Douglas Horton, Bruce Spencer |
| 1998 | TABLEAUX | Hyper Tableau - The Next Generation. | Peter Baumgartner |
| 1997 | ICLP | Calculi for Disjunctive Logic Programming. | Peter Baumgartner, Ulrich Furbach |
| 1997 | IJCAI | Semantically Guided Theorem Proving for Diagnosis Applications. | Peter Baumgartner, Peter Frhlich, Ulrich Furbach, Wolfgang Nejdl |
| 1997 | TABLEAUX | Tableaux for Diagnosis Applications. | Peter Baumgartner, Peter Frhlich, Ulrich Furbach, Wolfgang Nejdl |
| 1996 | ICLP | On Merging Theorem Proving and Logic Programming Paradigms (Poster Abstract). | Chandrabose Aravindan, Peter Baumgartner, Jrgen Dix, Ulrich Furbach, Gerd Neugebauer, Ilkka Niemel, Dorothea Schfer, Frieder Stolzenburg |
| 1996 | JELIA | Hyper Tableaux. | Peter Baumgartner, Ulrich Furbach, Ilkka Niemel |
| 1995 | IJCAI | Model Elimination, Logic Programming and Computing Answers. | Peter Baumgartner, Ulrich Furbach, Frieder Stolzenburg |
| 1995 | TABLEAUX | Constraint Model Elimination and a PTTP-Implementation. | Peter Baumgartner, Frieder Stolzenburg |
| 1994 | CADE | Model Elimination Without Contrapositives. | Peter Baumgartner, Ulrich Furbach |
| 1994 | CADE | PROTEIN: A PROver with a Theory Extension INterface. | Peter Baumgartner, Ulrich Furbach |
| 1994 | ECAI | Refinements of Theory Model Elimination and a Variant without Contrapositives. | Peter Baumgartner |
| 1992 | KI | A Model Elimination Calculus with Built-in Theories. | Peter Baumgartner |
| 1992 | LPAR | An Order Theory Resolution Calculus. | Peter Baumgartner |
| 1992 | TABLEAUX | A Model Elimination Calculus with Built-in Theories (Extended Abstract). | Peter Baumgartner |
| 1992 | TABLEAUX | Consolution as a Framework for Comparing Calculi. | Peter Baumgartner, Ulrich Furbach |
| 1991 | KI | A Completeness Proof Technique for Resolution with Equality. | Peter Baumgartner |
| 1990 | AIMSA | Combining Horn Clause Logic with Rewrite Rules. | Peter Baumgartner |