Interacting quantum observables: categorical algebra and diagrammatics B Coecke, R Duncan New Journal of Physics 13 (4), 043016, 2011 | 378 | 2011 |

Interacting quantum observables B Coecke, R Duncan International Colloquium on Automata, Languages, and Programming, 298-310, 2008 | 238 | 2008 |

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 | 139 | 2020 |

Rewriting measurement-based quantum computations with generalised flow R Duncan, S Perdrix International Colloquium on Automata, Languages, and Programming, 285-296, 2010 | 117 | 2010 |

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus R Duncan, A Kissinger, S Perdrix, J Van De Wetering Quantum 4, 279, 2020 | 101 | 2020 |

On the qubit routing problem A Cowtan, S Dilkes, R Duncan, A Krajenbrink, W Simmons, S Sivarajah arXiv preprint arXiv:1902.08091, 2019 | 99 | 2019 |

A categorical quantum logic S Abramsky, R Duncan Mathematical Structures in Computer Science 16 (3), 469-489, 2006 | 98 | 2006 |

Graph states and the necessity of Euler decomposition R Duncan, S Perdrix Conference on Computability in Europe, 167-177, 2009 | 81 | 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 | 75 | 2012 |

Types for quantum computing R Duncan University of Oxford, 2006 | 67* | 2006 |

Phase gadget synthesis for shallow circuits A Cowtan, S Dilkes, R Duncan, W Simmons, S Sivarajah arXiv preprint arXiv:1906.01734, 2019 | 61 | 2019 |

Pivoting makes the ZX-calculus complete for real stabilizers R Duncan, S Perdrix arXiv preprint arXiv:1307.7048, 2013 | 50 | 2013 |

Verifying the Steane code with Quantomatic R Duncan, M Lucas arXiv preprint arXiv:1306.4532, 2013 | 47 | 2013 |

Interacting frobenius algebras are hopf R Duncan, K Dunne 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016 | 41 | 2016 |

Graphical reasoning in compact closed categories for quantum computation L Dixon, R Duncan Annals of Mathematics and Artificial Intelligence 56 (1), 23-42, 2009 | 40 | 2009 |

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 | 36 | 2019 |

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 | 33 | 2011 |

Generalised compositional theories and diagrammatic reasoning B Coecke, R Duncan, A Kissinger, Q Wang Quantum Theory: Informational Foundations and Foils, 309-366, 2016 | 31 | 2016 |

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 | 31 | 2013 |

A graphical approach to measurement-based quantum computing R Duncan arXiv preprint arXiv:1203.6242, 2012 | 31 | 2012 |