1. The Java Verification Tool KeY:A Tutorial;Lecture Notes in Computer Science;2024-09-13
2. Modal μ-Calculus for Free in Agda;Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development;2024-08-28
3. Diagrammatic Algebra of First Order Logic;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
4. On the computational complexity of ethics: moral tractability for minds and machines;Artificial Intelligence Review;2024-03-31
5. Calculational Design of [In]Correctness Transformational Program Logics by Abstract Interpretation;Proceedings of the ACM on Programming Languages;2024-01-05