| 2024 | AiML | Frame Definability in Conditional Logic. | Damiano Fornasiere, Johannes Marti, Giovanni Varricchione |
| 2024 | KR | Monotone Rewritability and the Analysis of Queries, Views, and Rules. | Michael Benedikt, Stanislav Kikot, Johannes Marti, Piotr Ostropolski-Nalewaja |
| 2024 | LICS | A Characterisation Theorem for Two-Way Bisimulation-Invariant Monadic Least Fixpoint Logic Over Finite Structures. | Maximilian Pflueger, Johannes Marti, Egor V. Kostylev |
| 2023 | TABLEAUX | Proof Systems for the Modal μ-Calculus Obtained by Determinizing Automata. | Maurice Dekker, Johannes Kloibhofer, Johannes Marti, Yde Venema |
| 2022 | CSL | Succinct Graph Representations of μ-Calculus Formulas. | Clemens Kupke, Johannes Marti, Yde Venema |
| 2022 | LICS | Size measures and alphabetic equivalence in the μ-calculus. | Clemens Kupke, Johannes Marti, Yde Venema |
| 2021 | TABLEAUX | A Focus System for the Alternation-Free μ-Calculus. | Johannes Marti, Yde Venema |
| 2020 | IJCAI | A Journey into Ontology Approximation: From Non-Horn to Horn. | Anneke Haga, Carsten Lutz, Johannes Marti, Frank Wolter |
| 2019 | LICS | Completeness for Game Logic. | Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2018 | KR | Query Expressibility and Verification in Ontology-Based Data Access. | Carsten Lutz, Johannes Marti, Leif Sabellek |
| 2017 | TABLEAUX | Parity Games and Automata for Game Logic. | Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema |
| 2015 | CALCO | Uniform Interpolation for Coalgebraic Fixpoint Logic. | Johannes Marti, Fatemeh Seifan, Yde Venema |
| 2014 | JELIA | Similarity Orders from Causal Equations. | Johannes Marti, Riccardo Pinosio |