1. A graphical language for quantum protocols based on the category of cobordisms;Quantum Studies: Mathematics and Foundations;2024-06-26
2. String diagrams for wave-based computation;Applied Physics Letters;2023-12-11
3. Quantum Picturalism: Learning Quantum Theory in High School;2023 IEEE International Conference on Quantum Computing and Engineering (QCE);2023-09-17
4. CoqQ: Foundational Verification of Quantum Programs;Proceedings of the ACM on Programming Languages;2023-01-09
5. Compositionality as We See It, Everywhere Around Us;The Quantum-Like Revolution;2023