| Categories for Quantum Theory: an introduction C Heunen, J Vicary Oxford University Press, 2019 | 273* | 2019 |
| A new description of orthogonal bases B Coecke, D Pavlovic, J Vicary Mathematical structures in computer science 23 (3), 555-567, 2013 | 223* | 2013 |
| Modular categories as representations of the 3-dimensional bordism 2-category B Bartlett, CL Douglas, CJ Schommer-Pries, J Vicary arXiv preprint arXiv:1509.06811, 2015 | 115 | 2015 |
| Categorical formulation of finite-dimensional quantum algebras J Vicary Communications in Mathematical Physics 304, 765-796, 2011 | 93* | 2011 |
| Globular: an online proof assistant for higher-dimensional rewriting K Bar, A Kissinger, J Vicary Logical Methods in Computer Science 14, 2018 | 79 | 2018 |
| Quantum Latin squares and unitary error bases B Musto, J Vicary arXiv preprint arXiv:1504.02715, 2015 | 66 | 2015 |
| Higher semantics of quantum protocols J Vicary 2012 27th Annual IEEE Symposium on Logic in Computer Science, 606-615, 2012 | 57* | 2012 |
| A categorical framework for the quantum harmonic oscillator J Vicary International Journal of Theoretical Physics 47, 3408-3447, 2008 | 41 | 2008 |
| Topological structure of quantum algorithms J Vicary 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 93-102, 2013 | 38 | 2013 |
| Biunitary constructions in quantum information DJ Reutter, J Vicary arXiv preprint arXiv:1609.07775, 2016 | 36 | 2016 |
| Data structures for quasistrict higher categories K Bar, J Vicary 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017 | 34 | 2017 |
| 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 | 33 | 2019 |
| Wormholes and entanglement JC Baez, J Vicary Classical and Quantum Gravity 31 (21), 214007, 2014 | 33 | 2014 |
| Exact dynamics in dual-unitary quantum circuits with projective measurements PW Claeys, M Henry, J Vicary, A Lamacraft Physical Review Research 4 (4), 043212, 2022 | 32 | 2022 |
| Extended 3-dimensional bordism as the theory of modular objects B Bartlett, CL Douglas, CJ Schommer-Pries, J Vicary arXiv preprint arXiv:1411.0945, 2014 | 29 | 2014 |
| WEDS: a Web services-based environment for distributed simulation PV Coveney, J Vicary, J Chin, M Harvey Philosophical Transactions of the Royal Society A: Mathematical, Physical …, 2005 | 28 | 2005 |
| Completeness of†-categories and the complex numbers J Vicary Journal of Mathematical Physics 52 (8), 2011 | 26* | 2011 |
| Normalization for planar string diagrams and a quadratic equivalence algorithm A Delpeuch, J Vicary Logical Methods in Computer Science 18, 2022 | 23 | 2022 |
| Bicategorical semantics for nondeterministic computation M Stay, J Vicary Electronic Notes in Theoretical Computer Science 298, 367-382, 2013 | 21 | 2013 |
| 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 | 20 | 2022 |
David ReutterEmmy Noether Research Group Leader, University of HamburgEmail verificata su uni-hamburg.de
