| Fusion 2-categories and a state-sum invariant for 4-manifolds CL Douglas, DJ Reutter arXiv preprint arXiv:1812.11933, 2018 | 132 | 2018 |
| A compositional approach to quantum functions B Musto, D Reutter, D Verdon Journal of Mathematical Physics 59 (8), 2018 | 64 | 2018 |
| Minimal nondegenerate extensions T Johnson-Freyd, D Reutter Journal of the American Mathematical Society 37 (1), 81-150, 2024 | 43* | 2024 |
| The Morita theory of quantum graph isomorphisms B Musto, D Reutter, D Verdon Communications in Mathematical Physics 365, 797-845, 2019 | 40 | 2019 |
| Biunitary constructions in quantum information DJ Reutter, J Vicary Higher Structures 3 (1), 109-154, 2019 | 34 | 2019 |
| 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 | 28 | 2019 |
| A type theory for strictly unital∞-categories E Finster, D Reutter, J Vicary, A Rice Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 18 | 2022 |
| Semisimple four‐dimensional topological field theories cannot detect exotic smooth structure D Reutter Journal of Topology 16 (2), 542-566, 2023 | 13 | 2023 |
| Shaded tangles for the design and verification of quantum circuits DJ Reutter, J Vicary Proceedings of the Royal Society A 475 (2224), 20180338, 2019 | 13* | 2019 |
| Uniqueness of unitary structure for unitarizable fusion categories D Reutter Communications in Mathematical Physics 397 (1), 37-52, 2023 | 12 | 2023 |
| A 3-categorical perspective on G-crossed braided categories C Jones, D Penneys, D Reutter Journal of the London Mathematical Society, 2023 | 9 | 2023 |
| Zigzag normalisation for associative -categories L Heidemann, D Reutter, J Vicary Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 6 | 2022 |
| Semisimple field theories detect stable diffeomorphism D Reutter, C Schommer-Pries arXiv preprint arXiv:2206.10031, 2022 | 6 | 2022 |
| Computads for weak -categories as an inductive type CJ Dean, E Finster, I Markakis, D Reutter, J Vicary arXiv preprint arXiv:2208.08719, 2022 | 4 | 2022 |
| A classical groupoid model for quantum networks J Vicary, DJ Reutter Logical Methods in Computer Science 15 (1), 2019 | 2* | 2019 |
| Higher linear algebra in topology and quantum information theory D Reutter University of Oxford, 2019 | 2 | 2019 |
| Dagger -categories G Ferrer, B Hungar, T Johnson-Freyd, C Krulewski, L Müller, D Penneys, ... arXiv preprint arXiv:2403.01651, 2024 | | 2024 |
| A braided monoidal -category of Soergel bimodules YL Liu, A Mazel-Gee, D Reutter, C Stroppel, P Wedrich arXiv preprint arXiv:2401.02956, 2024 | | 2024 |
| David Reutter D Reutter Dept. Mathematik Web Content Manager, 2023 | | 2023 |
| 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) A Simpson, A Gianola, S Kasangian, N Sabadini, J Adámek, S Milius, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2017 | | 2017 |
David PenneysThe Ohio State UniversityVerified email at osu.edu
