| 2026 | IJCAR | Finite Model Finding in First-Order Modal Logics. | Happy Khairunnisa Sariyanto, Alexander Steen, Geoff Sutcliffe |
| 2023 | KI | Flexible Automation of Quantified Multi-Modal Logics with Interactions. | Melanie Taprogge, Alexander Steen |
| 2023 | LPAR | Representation, Verification, and Visualization of Tarskian Interpretations for Typed First-order Logic. | Alexander Steen, Geoff Sutcliffe, Pascal Fontaine, Jack McKeown |
| 2020 | ECAI | The Higher-Order Prover Leo-III. | Alexander Steen, Christoph Benzmller |
| 2019 | ICAIL | NAI: The Normative Reasoner. | Tomer Libal, Alexander Steen |
| 2019 | JURIX | The NAI Suite - Drafting and Reasoning over Legal Texts. | Tomer Libal, Alexander Steen |
| 2019 | KI | The Higher-Order Prover Leo-III (Extended Abstract). | Alexander Steen, Christoph Benzmller |
| 2018 | CADE | The Higher-Order Prover Leo-III. | Alexander Steen, Christoph Benzmller |
| 2018 | CADE | System Demonstration: The Higher-Order Prover Leo-III. | Alexander Steen, Christoph Benzmller |
| 2017 | LPAR | Leo-III Version 1.1 (System description). | Christoph Benzmller, Alexander Steen, Max Wisniewski |
| 2017 | LPAR | Theorem Provers For Every Normal Modal Logic. | Tobias Gleiner, Alexander Steen, Christoph Benzmller |
| 2017 | LPAR | Going Polymorphic - TH1 Reasoning for Leo-III. | Alexander Steen, Max Wisniewski, Christoph Benzmller |
| 2017 | LPAR | Capability Discovery for Automated Reasoning Systems. | Alexander Steen, Max Wisniewski, Hans-Jrg Schurr, Christoph Benzmller |
| 2016 | CADE | Towards a Substitution Tree Based Index for Higher-order Resolution Theorem Provers. | Tomer Libal, Alexander Steen |
| 2016 | CADE | TPTP and Beyond: Representation of Quantified Non-Classical Logics. | Max Wisniewski, Alexander Steen, Christoph Benzmller |
| 2016 | CADE | Effective Normalization Techniques for HOL. | Max Wisniewski, Alexander Steen, Kim Kern, Christoph Benzmller |
| 2015 | LPAR | There Is No Best \beta -Normalization Strategy for Higher-Order Reasoners. | Alexander Steen, Christoph Benzmller |
| 2014 | CADE | Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. | Max Wisniewski, Alexander Steen |