A Lattice-Theoretical View of Strategy Iteration Inproceedings
In: Klin, Bartek; Pimentel, Elaine (Ed.): 31st EACSL Annual Conference on Computer Science Logic (CSL 2023), pp. 7:1–7:19, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2023.
A Monoidal View on Fixpoint Checks Inproceedings
In: Fernández, Maribel; Poskitt, Christopher M. (Ed.): Graph Transformation, Proceedings of ICGT 2023, pp. 3–21, Springer, 2023.
Fixpoint Theory -- Upside Down Journal Article
In: Logical Methods in Computer Science, vol. 19, no. 2, 2023.
Behavioural Logics for Configuration Structures Journal Article
In: Theoretical Computer Science, vol. 913, pp. 94-112, 2022.
Characterising Spectra of Equivalences for Event Structures, Logically Journal Article
In: Information and Computation, vol. 285, 2022.
Fixpoint Theory -- Upside Down Inproceedings
In: Kiefer, S.; Tasson, C. (Ed.): Proceedings of FoSSaCS 2021, pp. 62–81, Springer, 2021.
(Un)Decidability for History Preserving True Concurrent Logics Inproceedings
In: Bonchi, Filippo; Puglisi, Simon J. (Ed.): Proceedings of MFCS 2021, pp. 13:1–13:16, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2021.
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations Inproceedings
In: Konnov, I.; Kovács, L. (Ed.): Proceedings of CONCUR 2020, pp. 25:1–25:20, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, 2020.
Model Checking a Logic for True Concurrency Journal Article
In: ACM Transactions on Computational Logic, vol. 21, no. 4, pp. 34:1–34:49, 2020.
Fixpoint Games in Continuous Lattices Journal Article
In: Proceedings of the ACM on Programming Languages, vol. 3, no. POPL, pp. 26:1–26:29, 2019.