Florian Bruse

Available identifiers

zbMath Open bruse.florianMaRDI QIDQ1685774

List of research outcomes

Publication	Date of Publication	Type
Separating the expressive power of propositional dynamic and modal fixpoint logics	2024-11-26	Paper
Model checking timed recursive CTL	2024-05-24	Paper
Formal Reasoning About Influence in Natural Sciences Experiments	2024-04-26	Paper
Capturing bisimulation-invariant exponential-time complexity classes	2024-02-08	Paper
Weights of formal languages based on geometric series with an application to automatic grading	2024-01-05	Paper
Temporal Logic with Recursion.	2023-11-02	Paper
Model Checking Timed Recursive CTL.	2023-10-02	Paper
The tail-recursive fragment of timed recursive CTL	2023-09-27	Paper
A Decidable Non-Regular Modal Fixpoint Logic	2023-08-21	Paper
Finite Convergence of μ-Calculus Fixpoints on Genuinely Infinite Structures.	2023-08-08	Paper
Local higher-order fixpoint iteration	2022-12-08	Paper
A similarity measure for formal languages based on convergent geometric series	2022-08-16	Paper
https://portal.mardi4nfdi.de/entity/Q5021005	2022-01-11	Paper
Alternation is strict for higher-order modal fixpoint logic	2021-12-07	Paper
A canonical model construction for iteration-free PDL with intersection	2021-12-07	Paper
Temporal logic with recursion	2021-11-25	Paper
The complexity of model-checking tail-recursive higher-order fixpoint logic	2021-05-21	Paper
On guarded transformation in the modal \(\mu\)-calculus	2019-01-08	Paper
Space-efficient fragments of higher-order fixpoint logic	2017-12-20	Paper
On the relationship between higher-order recursion schemes and higher-order fixpoint logic	2017-10-20	Paper
Alternating parity Krivine automata	2014-10-14	Paper

Research outcomes over time

This page was built for person: Florian Bruse