| A Graphical Calculus for Lagrangian Relations C Comfort, A Kissinger Proceedings of the Fourth International Conference on Applied Category …, 2021 | 19 | 2021 |
| The Category TOF R Cockett, C Comfort Proceedings of the 15th International Conference on Quantum Physics and …, 2018 | 15* | 2018 |
| Coend Optics for Quantum Combs C Comfort, J Hefford Proceedings of the Fifth International Conference on Applied Category Theory, 2022 | 14* | 2022 |
| Dagger linear logic for categorical quantum mechanics R Cockett, C Comfort, P Srinivasan Logical Methods in Computer Science 17 (4), 2021 | 14 | 2021 |
| Sheet diagrams for bimonoidal categories C Comfort, A Delpeuch, J Hedges https://arxiv.org/abs/2010.13361, 2020 | 14* | 2020 |
| The Category CNOT R Cockett, C Comfort, P Srinivasan Proceedings of the 14th International Conference on Quantum Physics and …, 2017 | 14 | 2017 |
| The ZX&-calculus: A complete graphical calculus for classical circuits using spiders C Comfort Proceedings of the 17th International Conference on Quantum Physics and …, 2021 | 12 | 2021 |
| The Algebra for Stabilizer Codes C Comfort https://arxiv.org/abs/2304.10584, 2023 | 5 | 2023 |
| Classifying reversible logic gates with ancillary bits CR Comfort University of Calgary, 2019 | 4 | 2019 |
| Graphical Symplectic Algebra RI Booth, T Carette, C Comfort arXiv preprint arXiv:2401.07914, 2024 | 3 | 2024 |
| Complete equational theories for classical and quantum Gaussian relations RI Booth, T Carette, C Comfort arXiv preprint arXiv:2403.10479, 2024 | 1 | 2024 |
| A diagrammatic approach to networks of spans and relations C Comfort University of Oxford, 2023 | | 2023 |
Robin CockettProfessor of Computer Science, University of CalgaryVerified email at ucalgary.ca