| 2025 | TIME | Higher-Order Timed Automata and Tail Recursion. | Florian Bruse |
| 2025 | VMCAI | Space-Efficient Model-Checking of Higher-Order Recursion Schemes. | Florian Bruse |
| 2024 | DLT | Verifying and Interpreting Neural Networks Using Finite Automata. | Marco Slzer, Eric Alsmann, Florian Bruse, Martin Lange |
| 2024 | TIME | Real-Time Higher-Order Recursion Schemes. | Eric Alsmann, Florian Bruse |
| 2023 | CADE | Formal Reasoning About Influence in Natural Sciences Experiments. | Florian Bruse, Martin Lange, Sren Mller |
| 2023 | TIME | The Calculus of Temporal Influence. | Florian Bruse, Marit Kastaun, Martin Lange, Sren Mller |
| 2022 | TIME | The Tail-Recursive Fragment of Timed Recursive CTL. | Florian Bruse, Martin Lange, tienne Lozes |
| 2021 | CONCUR | A Decidable Non-Regular Modal Fixpoint Logic. | Florian Bruse, Martin Lange |
| 2021 | MFCS | Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures. | Florian Bruse, Marco Slzer, Martin Lange |
| 2021 | TIME | Model Checking Timed Recursive CTL. | Florian Bruse, Martin Lange |
| 2020 | TIME | Temporal Logic with Recursion. | Florian Bruse, Martin Lange |
| 2017 | POPL | On the relationship between higher-order recursion schemes and higher-order fixpoint logic. | Naoki Kobayashi, tienne Lozes, Florian Bruse |
| 2014 | MFCS | Alternating Parity Krivine Automata. | Florian Bruse |