| 2023 | ITP | MizAR 60 for Mizar 50. | Jan Jakubuv, Karel Chvalovsk, Zarathustra Amadeus Goertzel, Cezary Kaliszyk, Mirek Olsk, Bartosz Piotrowski, Stephan Schulz, Martin Suda, Josef Urban |
| 2023 | TACAS | Extending a High-Performance Prover to Higher-Order Logic. | Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz |
| 2022 | FlAIRS | Contradiction Detection and Repair in a Large Theory. | Adam Pease, Stephan Schulz |
| 2020 | CADE | Teaching Automated Theorem Proving by Example: PyRes 1.2 - (System Description). | Stephan Schulz, Adam Pease |
| 2020 | CADE | Efficient Implementation of Large-Scale Watchlists. | Constantin Ruhdorfer, Stephan Schulz |
| 2020 | CADE | Cutting Down the TPTP Language (And Others). | Nahku Saidy, Hanna Siegfried, Stephan Schulz, Geoff Sutcliffe |
| 2019 | CADE | Faster, Higher, Stronger: E 2.3. | Stephan Schulz, Simon Cruanes, Petar Vukmirovic |
| 2019 | TACAS | Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. | Petar Vukmirovic, Jasmin Christian Blanchette, Simon Cruanes, Stephan Schulz |
| 2018 | ITP | ProofWatch: Watchlist Guidance for Large Theories in E. | Zarathustra Amadeus Goertzel, Jan Jakubuv, Stephan Schulz, Josef Urban |
| 2017 | CADE | We know (nearly) nothing!l But can we learn? | Stephan Schulz |
| 2017 | CADE | Detecting Inconsistencies in Large First-Order Knowledge Bases. | Stephan Schulz, Geoff Sutcliffe, Josef Urban, Adam Pease |
| 2017 | CADE | Towards Strong Higher-Order Automation for Fast Interactive Verification. | Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann |
| 2016 | CADE | Deduction as a Service. | Mohamed Hassona, Stephan Schulz |
| 2016 | CADE | Performance of Clause Selection Heuristics for Saturation-Based Theorem Proving. | Stephan Schulz, Martin Mhrmann |
| 2015 | CADE | System Description: E.T. 0.1. | Cezary Kaliszyk, Stephan Schulz, Josef Urban, Jir Vyskocil |
| 2015 | LPAR | The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps. | Geoff Sutcliffe, Stephan Schulz |
| 2014 | CADE | Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. | Adam Pease, Stephan Schulz |
| 2013 | CADE | E-MaLeS 1.1. | Daniel Khlwein, Stephan Schulz, Josef Urban |
| 2013 | LPAR | System Description: E 1.8. | Stephan Schulz |
| 2012 | CADE | Fingerprint Indexing for Paramodulation and Rewriting. | Stephan Schulz |
| 2012 | LPAR | The TPTP Typed First-Order Form with Arithmetic. | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner |
| 2010 | DATE | Transmitting TLM transactions over analogue wire models. | Stephan Schulz, Jrg Becker, Thomas Uhle, Karsten Einwich, Sren Sonntag |
| 2006 | CADE | Using the TPTP Language for Writing Derivations and Finite Interpretations. | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Allen Van Gelder |
| 2005 | CADE | The MathSAT 3 System. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
| 2005 | TACAS | An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic. | Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi A. Junttila, Peter van Rossum, Stephan Schulz, Roberto Sebastiani |
| 2004 | CADE | System Description: E 0.81. | Stephan Schulz |
| 2002 | CADE | System Description: GrAnDe 1.0. | Stephan Schulz, Geoff Sutcliffe |
| 2002 | FlAIRS | A Comparison of Different Techniques for Grounding Near-Propositional CNF Formulae. | Stephan Schulz |
| 2001 | CADE | System Abstract: E 0.61. | Stephan Schulz |
| 2001 | FlAIRS | Improving the Performance of Automated Theorem Provers by Redundancy-Free Lemmatization. | Joachim Draeger, Stephan Schulz |
| 2001 | FlAIRS | Information-Based Selection of Abstraction Levels. | Stephan Schulz |
| 2001 | KI | Learning Search Control Knowledge for Equational Theorem Proving. | Stephan Schulz |
| 1999 | CADE | System Abstract: E 0.3. | Stephan Schulz |
| 1999 | FlAIRS | Using Term Space Maps to Capture Search Control Knowledge in Equational Theorem Proving. | Stephan Schulz, Felix Brandt |
| 1996 | CADE | Learning Domain Knowledge to Improve Theorem Proving. | Jrg Denzinger, Stephan Schulz |