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

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

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

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

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

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

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

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

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

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

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

Reconstructing quantum theory from diagrammatic postulates JH Selby, CM Scandolo, B Coecke Quantum 5, 445, 2021 | 37 | 2021 |

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

Interacting Frobenius Algebras are Hopf R Duncan, K Dunne 2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016 | 36 | 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 |

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

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

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