| Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning B Coecke, A Kissinger | 793 | 2017 |
| Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus R Duncan, A Kissinger, S Perdrix, J Van De Wetering Quantum 4, 279, 2020 | 260 | 2020 |
| Reducing the number of non-Clifford gates in quantum circuits A Kissinger, J van de Wetering Physical Review A 102 (2), 022406, 2020 | 255* | 2020 |
| PyZX: Large scale automated diagrammatic reasoning A Kissinger, J van de Wetering arXiv preprint arXiv:1904.04735, 2019 | 200 | 2019 |
| ZH: A complete graphical calculus for quantum computations involving classical non-linearity M Backens, A Kissinger arXiv preprint arXiv:1805.02175, 2018 | 128 | 2018 |
| A categorical semantics for causal structure A Kissinger, S Uijlen Logical Methods in Computer Science 15, 2019 | 110 | 2019 |
| Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 110 | 2015 |
| The compositional structure of multipartite quantum entanglement B Coecke, A Kissinger International Colloquium on Automata, Languages, and Programming, 297-308, 2010 | 110 | 2010 |
| CNOT circuit extraction for topologically-constrained quantum memories A Kissinger, AM de Griend arXiv preprint arXiv:1904.00633, 2019 | 93 | 2019 |
| Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016 | 93 | 2016 |
| Strong complementarity and non-locality in categorical quantum mechanics B Coecke, R Duncan, A Kissinger, Q Wang 2012 27th Annual IEEE Symposium on Logic in Computer Science, 245-254, 2012 | 86 | 2012 |
| Globular: an online proof assistant for higher-dimensional rewriting K Bar, A Kissinger, J Vicary Logical Methods in Computer Science 14, 2018 | 80 | 2018 |
| Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing A Kissinger arXiv preprint arXiv:1203.0202, 2012 | 80 | 2012 |
| Rewriting modulo symmetric monoidal structure F Bonchi, F Gadducci, A Kissinger, P Sobociński, F Zanasi Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 73 | 2016 |
| Causal inference by string diagram surgery B Jacobs, A Kissinger, F Zanasi Foundations of Software Science and Computation Structures: 22nd …, 2019 | 72 | 2019 |
| Graphical structures for design and verification of quantum error correction N Chancellor, A Kissinger, S Zohren, J Roffe, D Horsman Quantum Science and Technology 8 (4), 045028, 2023 | 66* | 2023 |
| Open-graphs and monoidal theories L Dixon, A Kissinger Mathematical Structures in Computer Science 23 (2), 308-359, 2013 | 62 | 2013 |
| Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions A Kissinger, J van de Wetering Quantum Science and Technology 7 (4), 044001, 2022 | 58 | 2022 |
| String diagram rewrite theory I: Rewriting with Frobenius structure F Bonchi, F Gadducci, A Kissinger, P Sobocinski, F Zanasi Journal of the ACM (JACM) 69 (2), 1-58, 2022 | 56 | 2022 |
| Universal MBQC with generalised parity-phase interactions and Pauli measurements A Kissinger, J van de Wetering Quantum 3, 134, 2019 | 46 | 2019 |
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter Institute確認したメール アドレス: quantinuum.com