Jamie Vicary

(Former)

Publications

  1. 2019
  2. 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 journalArticle

  3. 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 proceedingConference contribution

  4. Published
  5. 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 journalArticle

  6. Published

    Orthogonality for quantum Latin isometry squares

    Jamie Vicary, 31 Jan 2019, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 287, p. 253–266

    Research output: Contribution to journalConference article

  7. 2018
  8. Published
  9. 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-745

    Research output: Contribution to journalArticle

  10. 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 journalArticle

  11. 2017
  12. 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 proceedingConference contribution

  13. 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 proceedingConference contribution

Previous 1 2 Next