Florian Bruse

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 24

Top Topics

Formal Languages

Top Venues

Fundam. Informaticae

Publications

Florian Bruse, Maurice Herwig, Martin Lange
Weights of formal languages based on geometric series with an application to automatic grading. Theor. Comput. Sci. 983 (2024)
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
Verifying and Interpreting Neural Networks Using Finite Automata. DLT (2024)
Florian Bruse, Martin Lange
Model checking timed recursive CTL. Inf. Comput. 298 (2024)
Florian Bruse, Martin Lange
The tail-recursive fragment of timed recursive CTL. Inf. Comput. 294 (2023)
Florian Bruse, Martin Lange, Sören Möller
Formal Reasoning About Influence in Natural Sciences Experiments. CADE (2023)
Florian Bruse, Marit Kastaun, Martin Lange, Sören Möller
The Calculus of Temporal Influence. TIME (2023)
Florian Bruse, Maurice Herwig, Martin Lange
A Similarity Measure for Formal Languages Based on Convergent Geometric Series. CIAA (2022)
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
Verifying And Interpreting Neural Networks using Finite Automata. CoRR (2022)
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
Local higher-order fixpoint iteration. Inf. Comput. 289 (Part) (2022)
Florian Bruse, Martin Lange, Étienne Lozes
The Tail-Recursive Fragment of Timed Recursive CTL. TIME (2022)
Florian Bruse, David Kronenberger, Martin Lange
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes. GandALF (2022)
Florian Bruse, Martin Lange, Étienne Lozes
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic. Fundam. Informaticae 178 (1-2) (2021)
Florian Bruse, Martin Lange
Temporal logic with recursion. Inf. Comput. 281 (2021)
Florian Bruse, Marco Sälzer, Martin Lange
Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures. MFCS (2021)
Eric Alsmann, Florian Bruse, Martin Lange
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics. EXPRESS/SOS (2021)
Florian Bruse, Martin Lange
Model Checking Timed Recursive CTL. TIME (2021)
Florian Bruse, Martin Lange
A Decidable Non-Regular Modal Fixpoint Logic. CONCUR (2021)
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
Local Higher-Order Fixpoint Iteration. GandALF (2020)
Florian Bruse, Martin Lange
Temporal Logic with Recursion. TIME (2020)
Naoki Kobayashi, Étienne Lozes, Florian Bruse
On the relationship between higher-order recursion schemes and higher-order fixpoint logic. POPL (2017)
Florian Bruse, Martin Lange, Étienne Lozes
Space-Efficient Fragments of Higher-Order Fixpoint Logic. RP (2017)
Florian Bruse, Daniel Kernberger, Martin Lange
A Canonical Model Construction for Iteration-Free PDL with Intersection. GandALF (2016)
Florian Bruse
Alternation Is Strict For Higher-Order Modal Fixpoint Logic. GandALF (2016)
Florian Bruse, Oliver Friedmann, Martin Lange
On guarded transformation in the modal μ-calculus. Log. J. IGPL 23 (2) (2015)
Florian Bruse
Alternating Parity Krivine Automata. MFCS (1) (2014)
Florian Bruse, Michael Falk, Martin Lange
The Fixpoint-Iteration Algorithm for Parity Games. GandALF (2014)
Florian Bruse, Oliver Friedmann, Martin Lange
Guarded Transformation for the Modal mu-Calculus CoRR (2013)