Jamie Vicary
(Former)
Publications
- 2019
- 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
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
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
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
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
- 2018
- 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
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
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
- 2017
- 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
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