Fusion 2-categories and a state-sum invariant for 4-manifolds CL Douglas, DJ Reutter arXiv preprint arXiv:1812.11933, 2018 | 134* | 2018 |
A compositional approach to quantum functions B Musto, D Reutter, D Verdon Journal of Mathematical Physics 59 (8), 2018 | 70 | 2018 |
Minimal nondegenerate extensions T Johnson-Freyd, D Reutter Journal of the American Mathematical Society 37 (1), 81-150, 2024 | 46* | 2024 |
The Morita theory of quantum graph isomorphisms B Musto, D Reutter, D Verdon Communications in Mathematical Physics 365, 797-845, 2019 | 41 | 2019 |
Biunitary constructions in quantum information DJ Reutter, J Vicary Higher Structures 3 (1), 109-154, 2019 | 35 | 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 | 30 | 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 | 14 | 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 | 14* | 2019 |
Uniqueness of unitary structure for unitarizable fusion categories D Reutter Communications in Mathematical Physics 397 (1), 37-52, 2023 | 13 | 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 |
Computads for weak ω-categories as an inductive type CJ Dean, E Finster, I Markakis, D Reutter, J Vicary Advances in Mathematics 450, 109739, 2024 | 6 | 2024 |
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 |
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 |
A braided monoidal (∞, 2)-category of Soergel bimodules YL Liu, A Mazel-Gee, D Reutter, C Stroppel, P Wedrich arXiv preprint arXiv:2401.02956, 2024 | 1 | 2024 |
Dagger -categories G Ferrer, B Hungar, T Johnson-Freyd, C Krulewski, L Müller, D Penneys, ... arXiv preprint arXiv:2403.01651, 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 |