1. Traced Monads and Hopf Monads;Compositionality;2023-10-30
2. String diagram rewrite theory II: Rewriting with symmetric monoidal structure;Mathematical Structures in Computer Science;2022-04
3. Terms and Automata Through Logic;Handbook of Logical Thought in India;2022
4. A Survey of Compositional Signal Flow Theory;IFIP Advances in Information and Communication Technology;2021
5. Cables, Trains and Types;From Lambda Calculus to Cybersecurity Through Program Analysis;2020