| Interacting quantum observables: categorical algebra and diagrammatics B Coecke, R Duncan New Journal of Physics 13 (4), 043016, 2011 | 593 | 2011 |
| t| ket⟩: a retargetable compiler for NISQ devices S Sivarajah, S Dilkes, A Cowtan, W Simmons, A Edgington, R Duncan Quantum Science and Technology 6 (1), 014003, 2020 | 476 | 2020 |
| Interacting quantum observables B Coecke, R Duncan International Colloquium on Automata, Languages, and Programming, 298-310, 2008 | 348 | 2008 |
| Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus R Duncan, A Kissinger, S Perdrix, J Van De Wetering Quantum 4, 279, 2020 | 258 | 2020 |
| On the qubit routing problem A Cowtan, S Dilkes, R Duncan, A Krajenbrink, W Simmons, S Sivarajah arXiv preprint arXiv:1902.08091, 2019 | 213 | 2019 |
| Rewriting measurement-based quantum computations with generalised flow R Duncan, S Perdrix International Colloquium on Automata, Languages, and Programming, 285-296, 2010 | 153 | 2010 |
| Phase gadget synthesis for shallow circuits A Cowtan, S Dilkes, R Duncan, W Simmons, S Sivarajah arXiv preprint arXiv:1906.01734, 2019 | 152 | 2019 |
| A categorical quantum logic S Abramsky, R Duncan Mathematical Structures in Computer Science 16 (3), 469-489, 2006 | 110 | 2006 |
| Graph states and the necessity of Euler decomposition R Duncan, S Perdrix Mathematical Theory and Computational Practice: 5th Conference on …, 2009 | 98 | 2009 |
| 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 |
| Evaluating the noise resilience of variational quantum algorithms E Fontana, N Fitzpatrick, DM Ramo, R Duncan, I Rungger Physical Review A 104 (2), 022403, 2021 | 76 | 2021 |
| Types for quantum computing R Duncan University of Oxford, 2006 | 74* | 2006 |
| Dynamical mean field theory algorithm and experiment on quantum computers I Rungger, N Fitzpatrick, H Chen, CH Alderete, H Apel, A Cowtan, ... arXiv preprint arXiv:1910.04735, 2019 | 66 | 2019 |
| Verifying the Steane code with Quantomatic R Duncan, M Lucas arXiv preprint arXiv:1306.4532, 2013 | 66 | 2013 |
| Application-motivated, holistic benchmarking of a full quantum computing stack D Mills, S Sivarajah, TL Scholten, R Duncan Quantum 5, 415, 2021 | 58 | 2021 |
| Pivoting makes the ZX-calculus complete for real stabilizers R Duncan, S Perdrix arXiv preprint arXiv:1307.7048, 2013 | 57 | 2013 |
| A generic compilation strategy for the unitary coupled cluster ansatz A Cowtan, W Simmons, R Duncan arXiv preprint arXiv:2007.10515, 2020 | 55 | 2020 |
| Interacting frobenius algebras are hopf R Duncan, K Dunne Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 45 | 2016 |
| Graphical reasoning in compact closed categories for quantum computation L Dixon, R Duncan Annals of Mathematics and Artificial Intelligence 56, 23-42, 2009 | 44 | 2009 |
| Optimising clifford circuits with quantomatic A Fagan, R Duncan arXiv preprint arXiv:1901.10114, 2019 | 43 | 2019 |
Bob CoeckeChief Scientist, Quantinuum - ex Oxford Prof - Distinguished Visiting Chair, Perimeter InstituteEmail verificata su quantinuum.com