| 2025 | KR | Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. | Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman |
| 2025 | LICS | Alternating Nominal Automata with Name Allocation. | Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schrder, Henning Urbat |
| 2024 | ATVA | Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. | Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2024 | CONCUR | Faster and Smaller Solutions of Obliging Games. | Daniel Hausmann, Nir Piterman |
| 2024 | FOSSACS | Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. | Daniel Hausmann, Mathieu Lehaut, Nir Piterman |
| 2024 | FOSSACS | Fair ω-Regular Games. | Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck |
| 2024 | VMCAI | Generic Model Checking for Modal Fixpoint Logics in COOL-MC. | Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schrder, Aaron Strahlberger |
| 2023 | CADE | COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). | Oliver Grlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schrder |
| 2021 | CONCUR | Nominal Bchi Automata with Name Allocation. | Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schrder |
| 2021 | MFCS | A Linear-Time Nominal μ-Calculus with Name Allocation. | Daniel Hausmann, Stefan Milius, Lutz Schrder |
| 2021 | TACAS | Quasipolynomial Computation of Nested Fixpoints. | Daniel Hausmann, Lutz Schrder |
| 2020 | CADE | NP Reasoning in the Monotone μ-Calculus. | Daniel Hausmann, Lutz Schrder |
| 2020 | VMCAI | Cheap CTL Compassion in NuSMV. | Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner |
| 2019 | CONCUR | Game-Based Local Model Checking for the Coalgebraic mu-Calculus. | Daniel Hausmann, Lutz Schrder |
| 2019 | FOSSACS | Optimal Satisfiability Checking for Arithmetic \mu -Calculi. | Daniel Hausmann, Lutz Schrder |
| 2018 | TACAS | Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. | Daniel Hausmann, Lutz Schrder, Hans-Peter Deifel |
| 2016 | CONCUR | Global Caching for the Alternation-free μ-Calculus. | Daniel Hausmann, Lutz Schrder, Christoph Egger |
| 2015 | TIME | Global Caching for the Flat Coalgebraic -Calculus. | Daniel Hausmann, Lutz Schrder |
| 2010 | ECAI | Optimal Tableaux for Conditional Logics with Cautious Monotonicity. | Lutz Schrder, Dirk Pattinson, Daniel Hausmann |
| 2005 | CALCO | Towards a Coalgebraic Semantics of the Ambient Calculus. | Daniel Hausmann, Till Mossakowski, Lutz Schrder |
| 2005 | FASE | Iterative Circular Coinduction for CoCasl in Isabelle/HOL. | Daniel Hausmann, Till Mossakowski, Lutz Schrder |