1. A categorical account of composition methods in logic;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. Minimisation in Logical Form;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
3. Coalgebraic Semantics for Nominal Automata;Coalgebraic Methods in Computer Science;2022
4. On the behaviour of coalgebras with side effects and algebras with effectful iteration;Journal of Logic and Computation;2021-09
5. Steps and traces;Journal of Logic and Computation;2021-08-23