Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. - Eric Alsmann; Florian Bruse; Martin Lange (EXPRESS/SOS, 2021)

On Challenges and Opportunities in the Translation of Deep Neural Networks into Finite Automata. - Marco Sälzer; Eric Alsmann; Martin Lange (OVERLAY@AI*IA, 2023)

Verifying and Interpreting Neural Networks Using Finite Automata. - Marco Sälzer; Eric Alsmann; Florian Bruse; Martin Lange (DLT, 2024)

Real-Time Higher-Order Recursion Schemes. - Eric Alsmann; Florian Bruse (TIME, 2024)

The Computational Complexity of Formal Reasoning for Encoder-Only Transformers. - Marco Sälzer; Eric Alsmann; Martin Lange (CoRR, 2024)

Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning. - Marco Sälzer; Eric Alsmann; Martin Lange (ICLR, 2025)