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

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

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

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

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

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

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

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

Graphical reasoning in compact closed categories for quantum computation L Dixon, R Duncan Annals of Mathematics and Artificial Intelligence 56 (1), 23, 2009 | 33 | 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 | 31 | 2016 |

On the qubit routing problem A Cowtan, S Dilkes, R Duncan, A Krajenbrink, W Simmons, S Sivarajah arXiv preprint arXiv:1902.08091, 2019 | 29 | 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 | 29 | 2011 |

Reconstructing quantum theory from diagrammatic postulates JH Selby, CM Scandolo, B Coecke arXiv preprint arXiv:1802.00367, 2018 | 27 | 2018 |

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

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

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

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

Optimising clifford circuits with quantomatic A Fagan, R Duncan arXiv preprint arXiv:1901.10114, 2019 | 18 | 2019 |

Open graphs and computational reasoning L Dixon, R Duncan, A Kissinger arXiv preprint arXiv:1007.3794, 2010 | 17 | 2010 |