Florian Bruse

37 papers A* 1A 1B 2C 9Journal 11Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Bisimulation-Invariance-Based Approach to the Separation of Polynomial Complexity Classes.
CoRR
Florian Bruse, Martin Lange
2026 J jnl
Verifying and interpreting neural networks using finite automata.
Inf. Comput.
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2025 — conf
A Finite Abstraction of Real-Valued Functions for Complete Reasoning About Influence.
FroCoS
Sören Möller, Florian Bruse, Martin Lange
2025 C conf
Higher-Order Timed Automata and Tail Recursion.
TIME
Florian Bruse
2025 — conf
Space-Efficient Model-Checking of Higher-Order Recursion Schemes.
VMCAI (1)
Florian Bruse
2024 — conf
Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints.
FICS@CSL
Florian Bruse, David Kronenberger, Martin Lange
2024 — conf
Computing All Minimal Ways to Reach a Context-Free Language.
RP
Florian Bruse, Martin Lange
2024 J jnl
Model checking timed recursive CTL.
Inf. Comput.
Florian Bruse, Martin Lange
2024 C conf
Real-Time Higher-Order Recursion Schemes.
TIME
Eric Alsmann, Florian Bruse
2024 C conf
Verifying and Interpreting Neural Networks Using Finite Automata.
DLT
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2024 J jnl
Weights of formal languages based on geometric series with an application to automatic grading.
Theor. Comput. Sci.
Florian Bruse, Maurice Herwig, Martin Lange
2023 C ed.
30th International Symposium on Temporal Representation and Reasoning, TIME 2023, NCSR Demokritos, Athens, Greece, September 25-26, 2023
TIME
Alexander Artikis, Florian Bruse, Luke Hunsberger
2023 A conf
Formal Reasoning About Influence in Natural Sciences Experiments.
CADE
Florian Bruse, Martin Lange, Sören Möller
2023 C conf
The Calculus of Temporal Influence.
TIME
Florian Bruse, Marit Kastaun, Martin Lange, Sören Möller
2023 J jnl
The tail-recursive fragment of timed recursive CTL.
Inf. Comput.
Florian Bruse, Martin Lange
2022 C conf
A Similarity Measure for Formal Languages Based on Convergent Geometric Series.
CIAA
Florian Bruse, Maurice Herwig, Martin Lange
2022 — conf
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes.
GandALF
Florian Bruse, David Kronenberger, Martin Lange
2022 J jnl
Local higher-order fixpoint iteration.
Inf. Comput.
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
2022 C conf
The Tail-Recursive Fragment of Timed Recursive CTL.
TIME
Florian Bruse, Martin Lange, Étienne Lozes
2022 J jnl
Verifying And Interpreting Neural Networks using Finite Automata.
CoRR
Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange
2021 B conf
A Decidable Non-Regular Modal Fixpoint Logic.
CONCUR
Florian Bruse, Martin Lange
2021 B conf
Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.
MFCS
Florian Bruse, Marco Sälzer, Martin Lange
2021 C conf
Model Checking Timed Recursive CTL.
TIME
Florian Bruse, Martin Lange
2021 — conf
Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.
EXPRESS/SOS
Eric Alsmann, Florian Bruse, Martin Lange
2021 J jnl
Temporal logic with recursion.
Inf. Comput.
Florian Bruse, Martin Lange
2021 J jnl
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic.
Fundam. Informaticae
Florian Bruse, Martin Lange, Étienne Lozes
2020 — —
Extremal fixpoints for higher-order modal logic.
Florian Bruse
2020 — conf
Local Higher-Order Fixpoint Iteration.
GandALF
Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer
2020 C conf
Temporal Logic with Recursion.
TIME
Florian Bruse, Martin Lange
2017 A* conf
On the relationship between higher-order recursion schemes and higher-order fixpoint logic.
POPL
Naoki Kobayashi, Étienne Lozes, Florian Bruse
2017 — conf
Space-Efficient Fragments of Higher-Order Fixpoint Logic.
RP
Florian Bruse, Martin Lange, Étienne Lozes
2016 — conf
A Canonical Model Construction for Iteration-Free PDL with Intersection.
GandALF
Florian Bruse, Daniel Kernberger, Martin Lange
2016 — conf
Alternation Is Strict For Higher-Order Modal Fixpoint Logic.
GandALF
Florian Bruse
2015 J jnl
On guarded transformation in the modal μ-calculus.
Log. J. IGPL
Florian Bruse, Oliver Friedmann, Martin Lange
2014 — conf
Alternating Parity Krivine Automata.
MFCS (1)
Florian Bruse
2014 — conf
The Fixpoint-Iteration Algorithm for Parity Games.
GandALF
Florian Bruse, Michael Falk, Martin Lange
2013 J jnl
Guarded Transformation for the Modal mu-Calculus
CoRR
Florian Bruse, Oliver Friedmann, Martin Lange