Interacting quantum observables: categorical algebra and diagrammatics B Coecke, R Duncan New Journal of Physics 13 (4), 043016, 2011 | 293 | 2011 |
Interacting quantum observables B Coecke, R Duncan International Colloquium on Automata, Languages, and Programming, 298-310, 2008 | 202 | 2008 |
Rewriting measurement-based quantum computations with generalised flow R Duncan, S Perdrix International Colloquium on Automata, Languages, and Programming, 285-296, 2010 | 97 | 2010 |
A categorical quantum logic S Abramsky, R Duncan Mathematical Structures in Computer Science 16 (3), 469-489, 2006 | 90 | 2006 |
Graph states and the necessity of Euler decomposition R Duncan, S Perdrix Conference on Computability in Europe, 167-177, 2009 | 69 | 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 | 64 | 2012 |
Types for quantum computing R Duncan University of Oxford, 2006 | 53* | 2006 |
On the qubit routing problem A Cowtan, S Dilkes, R Duncan, A Krajenbrink, W Simmons, S Sivarajah arXiv preprint arXiv:1902.08091, 2019 | 49 | 2019 |
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus R Duncan, A Kissinger, S Perdrix, J Van De Wetering Quantum 4, 279, 2020 | 44 | 2020 |
Pivoting makes the ZX-calculus complete for real stabilizers R Duncan, S Perdrix arXiv preprint arXiv:1307.7048, 2013 | 41 | 2013 |
Verifying the Steane code with Quantomatic R Duncan, M Lucas arXiv preprint arXiv:1306.4532, 2013 | 37 | 2013 |
Graphical reasoning in compact closed categories for quantum computation L Dixon, R Duncan Annals of Mathematics and Artificial Intelligence 56 (1), 23-42, 2009 | 35 | 2009 |
Reconstructing quantum theory from diagrammatic postulates JH Selby, CM Scandolo, B Coecke arXiv preprint arXiv:1802.00367, 2018 | 34 | 2018 |
Interacting Frobenius Algebras are Hopf R Duncan, K Dunne 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016 | 34 | 2016 |
Quantomatic A Kissinger, A Merry, L Dixon, R Duncan, M Soloviev, B Frot, D Quick, ... Software available on-line at http://sites. google. com/site/quantomatic, 2011 | 32 | 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 | 29 | 2020 |
A graphical approach to measurement-based quantum computing R Duncan arXiv preprint arXiv:1203.6242, 2012 | 29 | 2012 |
Symmetry, compact closure and dagger compactness for categories of convex operational models H Barnum, R Duncan, A Wilce Journal of philosophical logic 42 (3), 501-523, 2013 | 25 | 2013 |
Generalised compositional theories and diagrammatic reasoning B Coecke, R Duncan, A Kissinger, Q Wang Quantum Theory: Informational Foundations and Foils, 309-366, 2016 | 24 | 2016 |
Optimising Clifford circuits with quantomatic A Fagan, R Duncan arXiv preprint arXiv:1901.10114, 2019 | 21 | 2019 |