1. Complete Game Logic with Sabotage;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Complexity through Translations for Modal Logic with Recursion;Electronic Proceedings in Theoretical Computer Science;2022-09-20
3. Bouncing Threads for Circular and Non-Wellfounded Proofs;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
4. Logical vs. behavioural specifications;Information and Computation;2020-04
5. The complexity of identifying characteristic formulae;Journal of Logical and Algebraic Methods in Programming;2020-04