On guarded transformation in the modal μ-calculus F Bruse, O Friedmann, M Lange Logic Journal of the IGPL 23 (2), 194-216, 2015 | 35 | 2015 |
On the relationship between higher-order recursion schemes and higher-order fixpoint logic N Kobayashi, É Lozes, F Bruse ACM SIGPLAN Notices 52 (1), 246-259, 2017 | 27 | 2017 |
The fixpoint-iteration algorithm for parity games F Bruse, M Falk, M Lange arXiv preprint arXiv:1408.5961, 2014 | 24 | 2014 |
Space-efficient fragments of higher-order fixpoint logic F Bruse, M Lange, E Lozes International Workshop on Reachability Problems, 26-41, 2017 | 6 | 2017 |
Alternating parity krivine automata F Bruse Mathematical Foundations of Computer Science 2014: 39th International …, 2014 | 6 | 2014 |
Temporal logic with recursion F Bruse, M Lange Information and Computation 281, 104804, 2021 | 4 | 2021 |
A decidable non-regular modal fixpoint logic F Bruse, M Lange 32nd International Conference on Concurrency Theory (CONCUR 2021), 2021 | 4 | 2021 |
The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic F Bruse, M Lange, E Lozes Fundamenta Informaticae 178 (1-2), 1-30, 2021 | 3 | 2021 |
Extremal Fixpoints for Higher-Order Modal Logic F Bruse | 3 | 2018 |
Alternation is strict for higher-order modal fixpoint logic F Bruse arXiv preprint arXiv:1609.04092, 2016 | 3 | 2016 |
Verifying And Interpreting Neural Networks using Finite Automata M Sälzer, E Alsmann, F Bruse, M Lange arXiv preprint arXiv:2211.01022, 2022 | 2 | 2022 |
Local higher-order fixpoint iteration F Bruse, J Kreiker, M Lange, M Sälzer Information and Computation 289, 104963, 2022 | 2 | 2022 |
Model Checking Timed Recursive CTL F Bruse, M Lange 28th International Symposium on Temporal Representation and Reasoning (TIME …, 2021 | 2 | 2021 |
Collapses of fixpoint alternation hierarchies in low type-levels of higher-order fixpoint logic F Bruse, M Lange, E Lozes Proc. Workshop on Programming and Reasoning on Infinite Structures, PARIS 14, 2018 | 2 | 2018 |
Formal Reasoning About Influence in Natural Sciences Experiments F Bruse, M Lange, S Möller International Conference on Automated Deduction, 153-169, 2023 | 1 | 2023 |
The calculus of temporal influence F Bruse, M Kastaun, M Lange, S Möller 30th International Symposium on Temporal Representation and Reasoning (TIME …, 2023 | 1 | 2023 |
Capturing Bisimulation-Invariant Exponential-Time Complexity Classes F Bruse, D Kronenberger, M Lange arXiv preprint arXiv:2209.10311, 2022 | 1 | 2022 |
Separating the expressive power of propositional dynamic and modal fixpoint logics E Alsmann, F Bruse, M Lange arXiv preprint arXiv:2108.10490, 2021 | 1 | 2021 |
Weights of formal languages based on geometric series with an application to automatic grading F Bruse, M Herwig, M Lange Theoretical Computer Science 983, 114295, 2024 | | 2024 |
Proceedings of the 30th International Symposium on Temporal Representation and Reasoning (TIME 2023) A Artikis, F Bruse, L Hunsberger Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2023 | | 2023 |