Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning B Coecke, A Kissinger | 690 | 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 | 218 | 2020 |
Reducing the number of non-Clifford gates in quantum circuits A Kissinger, J van de Wetering Physical Review A 102 (2), 022406, 2020 | 212* | 2020 |
PyZX: Large scale automated diagrammatic reasoning A Kissinger, J van de Wetering arXiv preprint arXiv:1904.04735, 2019 | 162 | 2019 |
ZH: A complete graphical calculus for quantum computations involving classical non-linearity M Backens, A Kissinger arXiv preprint arXiv:1805.02175, 2018 | 118 | 2018 |
The compositional structure of multipartite quantum entanglement B Coecke, A Kissinger International Colloquium on Automata, Languages, and Programming, 297-308, 2010 | 107 | 2010 |
Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev Automated Deduction-CADE-25: 25th International Conference on Automated …, 2015 | 104 | 2015 |
A categorical semantics for causal structure A Kissinger, S Uijlen Logical Methods in Computer Science 15, 2019 | 102 | 2019 |
Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15, 5179-5209, 2016 | 88 | 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 | 83 | 2012 |
CNOT circuit extraction for topologically-constrained quantum memories A Kissinger, AM de Griend arXiv preprint arXiv:1904.00633, 2019 | 79 | 2019 |
Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing A Kissinger arXiv preprint arXiv:1203.0202, 2012 | 75 | 2012 |
Globular: an online proof assistant for higher-dimensional rewriting K Bar, A Kissinger, J Vicary Logical Methods in Computer Science 14, 2018 | 74 | 2018 |
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 | 66 | 2016 |
Causal inference by string diagram surgery B Jacobs, A Kissinger, F Zanasi Foundations of Software Science and Computation Structures: 22nd …, 2019 | 61 | 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 | 60* | 2023 |
Open-graphs and monoidal theories L Dixon, A Kissinger Mathematical Structures in Computer Science 23 (2), 308-359, 2013 | 60 | 2013 |
Categorical quantum mechanics I: causal quantum processes B Coecke, A Kissinger Categories for the Working Philosopher, 286-328, 2015 | 51 | 2015 |
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 | 45 | 2022 |
Universal MBQC with generalised parity-phase interactions and Pauli measurements A Kissinger, J van de Wetering Quantum 3, 134, 2019 | 43 | 2019 |