Guarded Transformation for the Modal mu-Calculus - Florian Bruse; Oliver Friedmann; Martin Lange (CoRR, 2013)

Alternating Parity Krivine Automata. - Florian Bruse (MFCS (1), 2014)

The Fixpoint-Iteration Algorithm for Parity Games. - Florian Bruse; Michael Falk; Martin Lange (GandALF, 2014)

On guarded transformation in the modal μ-calculus. - Florian Bruse; Oliver Friedmann; Martin Lange (Log. J. IGPL, 2015)

Alternation Is Strict For Higher-Order Modal Fixpoint Logic. - Florian Bruse (GandALF, 2016)

A Canonical Model Construction for Iteration-Free PDL with Intersection. - Florian Bruse; Daniel Kernberger; Martin Lange (GandALF, 2016)

On the relationship between higher-order recursion schemes and higher-order fixpoint logic. - Naoki Kobayashi 001; Étienne Lozes; Florian Bruse (POPL, 2017)

Space-Efficient Fragments of Higher-Order Fixpoint Logic. - Florian Bruse; Martin Lange; Étienne Lozes (RP, 2017)

Local Higher-Order Fixpoint Iteration. - Florian Bruse; Jörg Kreiker; Martin Lange; Marco Sälzer (GandALF, 2020)

Extremal fixpoints for higher-order modal logic. - Florian Bruse (2020)

A Decidable Non-Regular Modal Fixpoint Logic. - Florian Bruse; Martin Lange (CONCUR, 2021)

Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures. - Florian Bruse; Marco Sälzer; Martin Lange (MFCS, 2021)

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

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic. - Florian Bruse; Martin Lange; Étienne Lozes (Fundam. Informaticae, 2021)

Temporal logic with recursion. - Florian Bruse; Martin Lange (Inf. Comput., 2021)

The Tail-Recursive Fragment of Timed Recursive CTL. - Florian Bruse; Martin Lange; Étienne Lozes (TIME, 2022)

A Similarity Measure for Formal Languages Based on Convergent Geometric Series. - Florian Bruse; Maurice Herwig; Martin Lange (CIAA, 2022)

Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. - Florian Bruse; David Kronenberger; Martin Lange (GandALF, 2022)

Formal Reasoning About Influence in Natural Sciences Experiments. - Florian Bruse; Martin Lange; Sören Möller (CADE, 2023)

The Calculus of Temporal Influence. - Florian Bruse; Marit Kastaun; Martin Lange; Sören Möller (TIME, 2023)

The tail-recursive fragment of timed recursive CTL. - Florian Bruse; Martin Lange (Inf. Comput., 2023)

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

Computing All Minimal Ways to Reach a Context-Free Language. - Florian Bruse; Martin Lange (RP, 2024)

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

Model checking timed recursive CTL. - Florian Bruse; Martin Lange (Inf. Comput., 2024)

Weights of formal languages based on geometric series with an application to automatic grading. - Florian Bruse; Maurice Herwig; Martin Lange (Theor. Comput. Sci., 2024)

Space-Efficient Model-Checking of Higher-Order Recursion Schemes. - Florian Bruse (VMCAI (1), 2025)