Jamie Vicary
(Former)
Publications
- Published
Wormholes and entanglement
Jamie Vicary, 7 Nov 2014, In: Classical and Quantum Gravity. 31, 21, 11 p., 214007.Research output: Contribution to journal › Article › peer-review
- Published
A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem
Jamie Vicary, 28 Dec 2014, Proceedings of the 11th workshop on Quantum Physics and Logic (QPL 2014). Coecke, B., Hasuo, I. & Panangaden, P. (eds.). Open Publishing Association, p. 316-322 (Electronic Proceedings in Theoretical Computer Science; vol. 172).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Data structures for quasistrict higher categories
Jamie Vicary, 18 Aug 2017, Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017). IEEE Computer Society, 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Globular: an online proof assistant for higher-dimensional rewriting
Jamie Vicary, 22 Jan 2018, In: Logical Methods in Computer Science. 14, 1, 16 p., 8.Research output: Contribution to journal › Article › peer-review
- Published
Globular: an online proof assistant for higher-dimensional rewriting
Jamie Vicary, 16 Jun 2016, Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Kesner, D. & Pientka, B. (eds.). Schloss Dagstuhl, p. 34:1-34:11 11 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 52).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract)
Jamie Vicary, 17 Jan 2017, Proceedings Fourth International Workshop on Linearity . Cervesato, I. & Fernández, M. (eds.). Open Publishing Association, p. 33-43 (Electronic Proceedings in Theoretical Computer Science; vol. 238).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Coherence for Frobenius pseudomonoids and the geometry of linear proofs
Jamie Vicary, 26 Jul 2019, In: Logical Methods in Computer Science. 15, 3Research output: Contribution to journal › Article › peer-review
- Published
Mixed quantum states in higher categories
Jamie Vicary, 28 Dec 2014, Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL 2014). Coecke, B., Hasuo, I. & Panangaden, P. (eds.). Open Publishing Association, p. 304-315 (Electronic Proceedings in Theoretical Computer Science; vol. 172).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
The categorified Heisenberg algebra I: A combinatorial representation
Jamie Vicary, 1 Mar 2018, In: Journal of Pure and Applied Algebra. 222, 3, p. 703-745Research output: Contribution to journal › Article › peer-review
- Published
Quantum Latin squares and unitary error bases
Jamie Vicary, 1 Nov 2016, In: Quantum Information and Computation. 16, 15-16, p. 1318-1332Research output: Contribution to journal › Article › peer-review
- Published
Orthogonality for quantum Latin isometry squares
Jamie Vicary, 31 Jan 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 287, p. 253–266Research output: Contribution to journal › Conference article › peer-review
- Published
Shaded tangles for the design and verification of quantum circuits
Jamie Vicary, Apr 2019, In: Proceedings of the Royal Society A. 475, 2224, 30 p.Research output: Contribution to journal › Article › peer-review
- Published
A Classical Groupoid Model for Quantum Networks
Jamie Vicary, 2 Nov 2017, Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Bonchi, F. & König, B. (eds.). Schloss Dagstuhl, p. 19:1-19:18 18 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 72).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
High-level methods for homotopy construction in associative n-categories
Jamie Vicary, 5 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Xplore, p. 1-13 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Biunitary constructions in quantum information
Jamie Vicary, 4 Jun 2017. 48 p.Research output: Contribution to conference (unpublished) › Paper › peer-review
- Published
A 2-Categorical Approach to Composing Quantum Structures
Jamie Vicary, 2 Nov 2017, 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017). Bonchi, F. & König, B. (eds.). Schloss Dagstuhl, p. 20:1-20:20 20 p. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 72).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Tight Reference Frame–Independent Quantum Teleportation
Jamie Vicary, 1 Jan 2017, Proceedings 13th International Conference on Quantum Physics and Logic. Duncan, R. & Heunen, C. (eds.). Open Publishing Association, p. 202-214 (Electronic Proceedings in Theoretical Computer Science; vol. 236).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Perfect tight quantum teleportation without a shared reference
Jamie Vicary, 9 Jul 2018, In: Physical Review A - Atomic, Molecular, and Optical Physics. 98, 1, 012306.Research output: Contribution to journal › Article › peer-review
- Published
Quantum teleportation with infinite reference-frame uncertainty
Jamie Vicary, 4 Dec 2019, In: Physical Review A. 100, 6, p. 1-13 13 p., 062306.Research output: Contribution to journal › Article › peer-review
- Published
Abstract structure of unitary oracles for quantum algorithms
Jamie Vicary, 28 Dec 2014, Proceedings of the 11th workshop on Quantum Physics and Logic (QPL 2014). Coecke, B., Hasuo, I. & Panangaden, P. (eds.). Open Publishing Association, p. 270-284 (Electronic Proceedings in Theoretical Computer Science; vol. 172).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution