| Picturing quantum processes: A first course in quantum theory and diagrammatic reasoning B Coecke, A Kissinger | 938 | 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 | 339 | 2020 |
| Reducing the number of non-Clifford gates in quantum circuits A Kissinger, J Van De Wetering Physical Review A 102 (2), 022406, 2020 | 305* | 2020 |
| PyZX: Large scale automated diagrammatic reasoning A Kissinger, J Van De Wetering arXiv preprint arXiv:1904.04735, 2019 | 278 | 2019 |
| ZH: A complete graphical calculus for quantum computations involving classical non-linearity M Backens, A Kissinger arXiv preprint arXiv:1805.02175, 2018 | 140 | 2018 |
| A categorical semantics for causal structure A Kissinger, S Uijlen Logical Methods in Computer Science 15, 2019 | 126 | 2019 |
| Quantomatic: A proof assistant for diagrammatic reasoning A Kissinger, V Zamdzhiev International Conference on Automated Deduction, 326-336, 2015 | 121 | 2015 |
| The compositional structure of multipartite quantum entanglement B Coecke, A Kissinger International Colloquium on Automata, Languages, and Programming, 297-308, 2010 | 116 | 2010 |
| CNOT circuit extraction for topologically-constrained quantum memories A Kissinger, AM de Griend arXiv preprint arXiv:1904.00633, 2019 | 106 | 2019 |
| Categories of quantum and classical channels B Coecke, C Heunen, A Kissinger Quantum Information Processing 15 (12), 5179-5209, 2016 | 102 | 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 | 91 | 2012 |
| Causal inference by string diagram surgery B Jacobs, A Kissinger, F Zanasi International conference on foundations of software science and computation …, 2019 | 89 | 2019 |
| Globular: an online proof assistant for higher-dimensional rewriting K Bar, A Kissinger, J Vicary Logical Methods in Computer Science 14, 2018 | 88 | 2018 |
| Pictures of processes: automated graph rewriting for monoidal categories and applications to quantum computing A Kissinger arXiv preprint arXiv:1203.0202, 2012 | 85 | 2012 |
| 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 | 80* | 2023 |
| Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions A Kissinger, J van de Wetering Quantum Science and Technology 7 (4), 044001, 2022 | 78 | 2022 |
| 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 | 75 | 2016 |
| 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 | 74 | 2022 |
| Open-graphs and monoidal theories L Dixon, A Kissinger Mathematical Structures in Computer Science 23 (2), 308-359, 2013 | 69 | 2013 |
| Categorical quantum mechanics I: causal quantum processes B Coecke, A Kissinger Categories for the Working Philosopher, 286-328, 2015 | 62 | 2015 |
John van de WeteringAssistant professor at University of AmsterdamVerified email at uva.nl
