Fusion 2-categories and a state-sum invariant for 4-manifolds CL Douglas, DJ Reutter arXiv preprint arXiv:1812.11933, 2018 | 66 | 2018 |

A compositional approach to quantum functions B Musto, D Reutter, D Verdon Journal of Mathematical Physics 59 (8), 081706, 2018 | 47 | 2018 |

The Morita theory of quantum graph isomorphisms B Musto, D Reutter, D Verdon Communications in Mathematical Physics 365 (2), 797-845, 2019 | 29 | 2019 |

Biunitary constructions in quantum information DJ Reutter, J Vicary arXiv preprint arXiv:1609.07775, 2016 | 26 | 2016 |

High-level methods for homotopy construction in associative n-categories D Reutter, J Vicary 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019 | 13 | 2019 |

Shaded tangles for the design and verification of quantum circuits DJ Reutter, J Vicary Proceedings of the Royal Society A 475 (2224), 20180338, 2019 | 11* | 2019 |

Minimal nondegenerate extensions T Johnson-Freyd, D Reutter arXiv preprint arXiv:2105.15167, 2021 | 10 | 2021 |

A type theory for strictly unital infinity-categories J Vicary, A Rice, E Finster, D Reutter Department of Computer Science And Technology, 2022 | 8* | 2022 |

Semisimple 4-dimensional topological field theories cannot detect exotic smooth structure D Reutter arXiv preprint arXiv:2001.02288, 2020 | 6 | 2020 |

Uniqueness of unitary structure for unitarizable fusion categories D Reutter arXiv preprint arXiv:1906.09710, 2019 | 6 | 2019 |

A 3-categorical perspective on G-crossed braided categories C Jones, D Penneys, D Reutter arXiv preprint arXiv:2009.00405, 2020 | 3 | 2020 |

Zigzag normalisation for associative -categories L Heidemann, D Reutter, J Vicary arXiv preprint arXiv:2205.08952, 2022 | 1 | 2022 |

A classical groupoid model for quantum networks J Vicary, DJ Reutter Logical Methods in Computer Science 15, 2019 | 1* | 2019 |

Higher linear algebra in topology and quantum information theory DJ Reutter University of Oxford, 2019 | 1 | 2019 |

Computads for weak -categories as an inductive type CJ Dean, E Finster, I Markakis, D Reutter, J Vicary arXiv preprint arXiv:2208.08719, 2022 | | 2022 |

Semisimple Field Theories Detect Stable Diffeomorphism D Reutter, C Schommer-Pries arXiv preprint arXiv:2206.10031, 2022 | | 2022 |

Zigzag normalisation for associative n-categories J Vicary, D Reutter, A Rice, E Finster Department of Computer Science And Technology, 2022 | | 2022 |

Higher fusion categories as quantum homotopy types D Reutter, T Johnson-Freyd 2021 Fall Western Sectional Meeting, 2021 | | 2021 |

HIGHER DJ Reutter, J Vicary | | 2019 |

The Heat Equation and the Atiyah-Singer Index Theorem D REUTTER | | 2015 |