2024Buchaufsatz/Kapitel in TagungsbandOA Platin
Expressive Quantale-Valued Logics for Coalgebras: An Adjunction-Based Approach
In: 41st International Symposium on Theoretical Aspects of Computer Science (STACS 2024) / Beyersdorff, Olaf; Kante, Mamadou; Kupferman, Orna; Lokshtanov, Daniel (Hrsg.). - Symposium on Theoretical Aspects of Computer Science (STACS) - Saarbrücken: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, 2024 - (LIPIcs - Leibniz International Proceedings in Informatic ; 289), Artikel 10
2023Artikel/Aufsatz in ZeitschriftOA Hybrid
Up-to techniques for behavioural metrics via fibrations
In: Mathematical Structures in Computer Science, Jg. 33 (2023), Heft 4-5: Differences and Metrics in Programs Semantics: Advances in Quantitative Relational Reasoning, S. 182 - 221
2023Artikel/Aufsatz in ZeitschriftOA Platin
Fixpoint Theory : Upside Down
In: Logical Methods in Computer Science, Jg. 19 (2023), Heft 2, S. 15:1 - 15:60
2023Buchaufsatz/Kapitel in TagungsbandOA Gold
Hennessy-Milner Theorems via Galois Connections
In: 31st EACSL Annual Conference on Computer Science Logic (CSL 2023) / Klin, Bartek; Pimentel, Elaine (Hrsg.). - 31st EACSL Annual Conference on Computer Science Logic, February 13-16, 2023, Warsaw, Poland - Wadern: Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2023 - (LIPIcs - Leibniz International Proceedings in Informatics ; 252), 12:1-12:18
2023DissertationOA Platin
Fixpoint Checks and Computations for Behavioural Metrics and Games
Duisburg, Essen, 2023
2023Buchaufsatz/Kapitel in TagungsbandOA Gold
A Lattice-Theoretical View of Strategy Iteration
In: 31st EACSL Annual Conference on Computer Science Logic : CSL 2023, February 13-16, 2023, Warsaw, Poland / Klin, Bartek; Pimentel, Elaine (Hrsg.). - 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, 13.-16.02.2023, Warsaw - Wadern: Leibniz-Zentrum für Informatik GmbH, 2023 - (Leibniz international proceedings in informatics ; 252), Artikel 7
2023Buchaufsatz/Kapitel in TagungsbandOA Grün
A Monoidal View on Fixpoint Checks
In: Graph Transformation : 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023, Proceedings / Fernández, Maribel; Poskitt, Christopher M. (Hrsg.). - 16th International Conference, ICGT 2023, Held as Part of STAF 2023, Leicester, UK, July 19–20, 2023 - 1. Aufl., Cham: Springer, 2023 - (Lecture Notes in Computer Science ; 13961), S. 3 - 21
2023Buchaufsatz/Kapitel in TagungsbandOA Grün
Stochastic Decision Petri Nets
In: Application and Theory of Petri Nets and Concurrency : Proceedings / Gomes, Luis; Lorenz, Robert (Hrsg.). - 44th International Conference, PETRI NETS 2023; Lisbon, Portugal; 25–30 June 2023 - Cham: Springer Science and Business Media, 2023 - (Lecture Notes in Computer Science (LNCS) ; 13929), S. 264 - 285
2022Buchaufsatz/Kapitel in TagungsbandClosed access
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models
In: Proceedings of the 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2022) - 20. ACM-IEEE International Conference on Formal Methods and Models for System Design: Shanghai, China; Online; 13-14 October 2022 - Piscataway: Institute of Electrical and Electronics Engineers (IEEE), 2022
2022Artikel/Aufsatz in ZeitschriftOA Platin
Conditional Bisimilarity for Reactive Systems
In: Logical Methods in Computer Science, Jg. 18 (2022), Heft 1, S. 6:1 - 6:41