Jamie Vicary

(Former)

1 - 10 out of 20Page size: 10

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 journal › Article › peer-review

  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 proceeding › Conference contribution

  4. Published

    Coherence for Frobenius pseudomonoids and the geometry of linear proofs

    Jamie Vicary, 26 Jul 2019, In: Logical Methods in Computer Science. 15, 3

    Research output: Contribution to journal › Article › peer-review

  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 journal › Article › peer-review

  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 journal › Conference article › peer-review

  7. 2018
  8. 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

  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 journal › Article › peer-review

  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 journal › Article › peer-review

  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 proceeding › Conference 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 proceeding › Conference contribution

Previous 1 2 Next