| Publication | Date of Publication | Type |
|---|
| Translating SUMO-K to Higher-Order Set Theory | 2024-05-03 | Paper |
| Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. | 2023-02-03 | Paper |
| Lash 1.0 (system description) | 2022-12-07 | Paper |
| Prolog Technology Reinforcement Learning Prover | 2022-11-09 | Paper |
| AIM loops and the AIM conjecture | 2020-03-10 | Paper |
| GRUNGE: a grand unified ATP challenge | 2020-03-10 | Paper |
| A tale of two set theories | 2020-01-22 | Paper |
| Cantor-Bernstein implies Excluded Middle | 2019-04-19 | Paper |
| Internal Guidance for Satallax | 2016-09-05 | Paper |
| Extracting Higher-Order Goals from the Mizar Mathematical Library | 2016-08-30 | Paper |
| Reconsidering pairs and functions as sets | 2016-05-26 | Paper |
| Reducing higher-order theorem proving to a sequence of SAT problems | 2015-06-23 | Paper |
| GLIVENKO AND KURODA FOR SIMPLE TYPE THEORY | 2014-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2871865 | 2014-01-10 | Paper |
| Satallax: An Automatic Higher-Order Prover | 2012-09-05 | Paper |
| Analytic tableaux for higher-order logic with choice | 2012-07-31 | Paper |
| Reducing Higher-Order Theorem Proving to a Sequence of SAT Problems | 2011-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086775 | 2011-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3086777 | 2011-03-30 | Paper |
| Analytic Tableaux for Higher-Order Logic with Choice | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3586992 | 2010-09-01 | Paper |
| Analytic Tableaux for Simple Type Theory and its First-Order Fragment | 2010-07-27 | Paper |
| Terminating Tableaux for the Basic Fragment of Simple Type Theory | 2009-12-01 | Paper |
| Extended First-Order Logic | 2009-10-20 | Paper |
| Progress in the Development of Automated Theorem Proving for Higher-Order Logic | 2009-07-28 | Paper |
| Cut-Simulation and Impredicativity | 2009-04-29 | Paper |
| Combining Type Theory and Untyped Set Theory | 2009-03-12 | Paper |
| Cut-Simulation in Impredicative Logics | 2009-03-12 | Paper |
| Formal Representation of Mathematics in a Dependently Typed Set Theory | 2007-11-28 | Paper |
| Verifying and Invalidating Textbook Proofs Using Scunak | 2007-09-05 | Paper |
| TPS: A hybrid automatic-interactive system for developing proofs | 2007-02-20 | Paper |
| Automated Deduction – CADE-20 | 2006-11-01 | Paper |
| Theorem Proving in Higher Order Logics | 2006-07-06 | Paper |
| Higher-order semantics and extensionality | 2005-08-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809075 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2723416 | 2001-07-05 | Paper |
| Explosive nonnegative solutions to two point boundary value problems | 1996-02-12 | Paper |
