Jamie Vicary
Jamie Vicary
Royal Society University Research Fellow, University of Birmingham
Email verificata su cs.ox.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
A new description of orthogonal bases
B Coecke, D Pavlovic, J Vicary
Mathematical Structures in Computer Science 23 (3), 555-567, 2013
172*2013
Categorical formulation of finite-dimensional quantum algebras
J Vicary
Communications in Mathematical Physics 304 (3), 765-796, 2011
61*2011
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
502015
Higher semantics of quantum protocols
J Vicary
2012 27th Annual IEEE Symposium on Logic in Computer Science, 606-615, 2012
42*2012
Categories for Quantum Theory: an introduction
C Heunen, J Vicary
Oxford University Press, USA, 2019
40*2019
Globular: an online proof assistant for higher-dimensional rewriting
K Bar, A Kissinger, J Vicary
arXiv preprint arXiv:1612.01093, 2016
332016
A categorical framework for the quantum harmonic oscillator
J Vicary
International Journal of Theoretical Physics 47 (12), 3408-3447, 2008
302008
Wormholes and entanglement
JC Baez, J Vicary
Classical and Quantum Gravity 31 (21), 214007, 2014
252014
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
25*2005
Topological structure of quantum algorithms
J Vicary
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 93-102, 2013
242013
Quantum Latin squares and unitary error bases
B Musto, J Vicary
arXiv preprint arXiv:1504.02715, 2015
232015
Completeness of†-categories and the complex numbers
J Vicary
Journal of Mathematical Physics 52 (8), 082104, 2011
18*2011
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
162014
Biunitary constructions in quantum information
DJ Reutter, J Vicary
arXiv preprint arXiv:1609.07775, 2016
132016
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
122017
Bicategorical semantics for nondeterministic computation
M Stay, J Vicary
Electronic Notes in Theoretical Computer Science 298, 367-382, 2013
112013
Abstract structure of unitary oracles for quantum algorithms
W Zeng, J Vicary
arXiv preprint arXiv:1406.1278, 2014
82014
Mixed quantum states in higher categories
C Heunen, J Vicary, L Wester
arXiv preprint arXiv:1405.1463, 2014
82014
A finite presentation of the 3-dimensional bordism bicategory
B Bartlett, C Douglas, C Schommer-Pries, J Vicary
preparation 1 (3), 3, 2015
72015
Groupoid semantics for thermal computing
K Bar, J Vicary
arXiv preprint arXiv:1401.3280, 2014
62014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20