Florian Bruse

According to our database, Florian Bruse authored at least 26 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Weights of formal languages based on geometric series with an application to automatic grading.

Florian Bruse, Maurice Herwig, Martin Lange

Theor. Comput. Sci., February, 2024

Model checking timed recursive CTL.

Florian Bruse, Martin Lange

Inf. Comput., 2024

Real-Time Higher-Order Recursion Schemes.

Eric Alsmann, Florian Bruse

Proceedings of the 31st International Symposium on Temporal Representation and Reasoning, 2024

Computing All Minimal Ways to Reach a Context-Free Language.

Florian Bruse, Martin Lange

Proceedings of the Reachability Problems - 18th International Conference, 2024

Verifying and Interpreting Neural Networks Using Finite Automata.

Marco Sälzer, Eric Alsmann, Florian Bruse, Martin Lange

Proceedings of the Developments in Language Theory - 28th International Conference, 2024

2023

The tail-recursive fragment of timed recursive CTL.

Florian Bruse, Martin Lange

Inf. Comput., October, 2023

The Calculus of Temporal Influence.

Florian Bruse, Marit Kastaun, Martin Lange, Sören Möller

Proceedings of the 30th International Symposium on Temporal Representation and Reasoning, 2023

Formal Reasoning About Influence in Natural Sciences Experiments.

Florian Bruse, Martin Lange, Sören Möller

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Capturing Bisimulation-Invariant Exponential-Time Complexity Classes.

Florian Bruse, David Kronenberger, Martin Lange

Proceedings of the 13th International Symposium on Games, 2022

A Similarity Measure for Formal Languages Based on Convergent Geometric Series.

Florian Bruse, Maurice Herwig, Martin Lange

Proceedings of the Implementation and Application of Automata, 2022

The Tail-Recursive Fragment of Timed Recursive CTL.

Florian Bruse, Martin Lange, Étienne Lozes

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

2021

Temporal logic with recursion.

Florian Bruse, Martin Lange

Inf. Comput., 2021

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic.

Florian Bruse, Martin Lange, Étienne Lozes

Fundam. Informaticae, 2021

Separating the Expressive Power of Propositional Dynamic and Modal Fixpoint Logics.

Eric Alsmann, Florian Bruse, Martin Lange

Proceedings of the Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, 2021

Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.

Florian Bruse, Marco Sälzer, Martin Lange

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

A Decidable Non-Regular Modal Fixpoint Logic.

Florian Bruse, Martin Lange

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

Extremal fixpoints for higher-order modal logic.

Florian Bruse

PhD thesis, 2020

Local Higher-Order Fixpoint Iteration.

Florian Bruse, Jörg Kreiker, Martin Lange, Marco Sälzer

Proceedings of the Proceedings 11th International Symposium on Games, 2020

2017

Space-Efficient Fragments of Higher-Order Fixpoint Logic.

Florian Bruse, Martin Lange, Étienne Lozes

Proceedings of the Reachability Problems - 11th International Workshop, 2017

On the relationship between higher-order recursion schemes and higher-order fixpoint logic.

Naoki Kobayashi, Étienne Lozes, Florian Bruse

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016

A Canonical Model Construction for Iteration-Free PDL with Intersection.

Florian Bruse, Daniel Kernberger, Martin Lange

Proceedings of the Seventh International Symposium on Games, 2016

Alternation Is Strict For Higher-Order Modal Fixpoint Logic.

Florian Bruse

Proceedings of the Seventh International Symposium on Games, 2016

2015

On guarded transformation in the modal μ-calculus.

Florian Bruse, Oliver Friedmann, Martin Lange

Log. J. IGPL, 2015

2014

The Fixpoint-Iteration Algorithm for Parity Games.

Florian Bruse, Michael Falk, Martin Lange

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Alternating Parity Krivine Automata.

Florian Bruse

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

2013

Guarded Transformation for the Modal mu-Calculus

Florian Bruse, Oliver Friedmann, Martin Lange

CoRR, 2013