default search action

combined dblp search
author search
venue search
publication search

ask others

Jamie Vicary

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on 46 of 46 records

view refined list in

export refined list as

showing all 46 records

refine by search term

refine by coauthor

refine by orcid

refine by venue

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/DelpeuchV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/DelpeuchV22
Antonin Delpeuch, Jamie Vicary:
Normalization for planar string diagrams and a quadratic equivalence algorithm. Log. Methods Comput. Sci. 18(1) (2022)
2020
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/siglog/Vicary20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siglog/Vicary20
Jamie Vicary:
Online worldwide seminar on logic and semantics https: //www.cs.bham.ac.uk/~vicaryjo/owls. ACM SIGLOG News 7(3): 45-46 (2020)
2019
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/ReutterV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ReutterV19
David Reutter, Jamie Vicary:
A classical groupoid model for quantum networks. Log. Methods Comput. Sci. 15(1) (2019)
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/DunnV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/DunnV19
Lawrence Dunn, Jamie Vicary:
Coherence for Frobenius pseudomonoids and the geometry of linear proofs. Log. Methods Comput. Sci. 15(3) (2019)
2018
[j3]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/BarKV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/BarKV18
Krzysztof Bar, Aleks Kissinger, Jamie Vicary:
Globular: an online proof assistant for higher-dimensional rewriting. Log. Methods Comput. Sci. 14(1) (2018)
2016
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/qic/MustoV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/qic/MustoV16
Benjamin Musto, Jamie Vicary:
Quantum Latin squares and unitary error bases. Quantum Inf. Comput. 16(15&16): 1318-1332 (2016)
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CoeckePV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CoeckePV13
Bob Coecke, Dusko Pavlovic, Jamie Vicary:
A new description of orthogonal bases. Math. Struct. Comput. Sci. 23(3): 555-567 (2013)
no results

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c25]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fscd/CorbynHHSTV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fscd/CorbynHHSTV24
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary:
homotopy.io: A Proof Assistant for Finitely-Presented Globular n-Categories. FSCD 2024: 30:1-30:26
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FinsterRV24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FinsterRV24
Eric Finster, Alex Rice, Jamie Vicary:
A Syntax for Strictly Associative and Unital ∞-Categories. LICS 2024: 34:1-34:13
2023
[c23]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2312-09264
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2312-09264
Paulina L. A. Goedicke, Jamie Vicary:
A Categorical Model for Classical and Quantum Block Designs. ACT 2023: 118-136
[c22]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-11637
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-11637
Chiara Sarti, Jamie Vicary:
Posetal Diagrams for Logically-Structured Semistrict Higher Categories. ACT 2023: 246-259
2022
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/HeidemannRV22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/HeidemannRV22
Lukas Heidemann, David Reutter, Jamie Vicary:
Zigzag normalisation for associative n-categories. LICS 2022: 35:1-35:13
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/FinsterRVR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/FinsterRVR22
Eric Finster, David Reutter, Jamie Vicary, Alex Rice:
A Type Theory for Strictly Unital ∞-Categories. LICS 2022: 48:1-48:12
2021
[c19]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2105-04237
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-04237
Antonin Delpeuch, Jamie Vicary:
The Word Problem for Braided Monoidal Categories is Unknot-Hard. ACT 2021: 72-87
[c18]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14051
Nick Hu, Jamie Vicary:
Traced Monoidal Categories as Algebraic Structures in Prof. MFPS 2021: 84-97
2019
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/ReutterV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/ReutterV19
David Reutter, Jamie Vicary:
High-level methods for homotopy construction in associative n-categories. LICS 2019: 1-13
2018
[c16]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1804-04042
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-04042
Benjamin Musto, Jamie Vicary:
Orthogonality for Quantum Latin Isometry Squares. QPL 2018: 253-266
2017
[c15]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/calco/ReutterV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/ReutterV17
David Reutter, Jamie Vicary:
A Classical Groupoid Model for Quantum Networks. CALCO 2017: 19:1-19:18
[c14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/calco/ReutterV17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/calco/ReutterV17a
David Reutter, Jamie Vicary:
A 2-Categorical Approach to Composing Quantum Structures. CALCO 2017: 20:1-20:20
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/BarV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/BarV17
Krzysztof Bar, Jamie Vicary:
Data structures for quasistrict higher categories. LICS 2017: 1-12
[c12]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1701-03309
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1701-03309
David Reutter, Jamie Vicary:
Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract). QPL 2017: 329-348
2016
[c11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/rta/BarKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rta/BarKV16
Krzysztof Bar, Aleks Kissinger, Jamie Vicary:
Globular: An Online Proof Assistant for Higher-Dimensional Rewriting. FSCD 2016: 34:1-34:11
[c10]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DunnV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DunnV17
Lawrence Dunn, Jamie Vicary:
Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). LINEARITY 2016: 33-43
[c9]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1603-08866
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1603-08866
Dominic Verdon, Jamie Vicary:
Tight Reference Frame-Independent Quantum Teleportation. QPL 2016: 202-214
2014
[c8]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/ZengV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZengV14
W. J. Zeng, Jamie Vicary:
Abstract structure of unitary oracles for quantum algorithms. QPL 2014: 270-284
[c7]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeunenVW14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeunenVW14
Chris Heunen, Jamie Vicary, Linde Wester:
Mixed quantum states in higher categories. QPL 2014: 304-315
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BarV14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BarV14a
Krzysztof Bar, Jamie Vicary:
A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem. QPL 2014: 316-332
2013
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Vicary13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Vicary13
Jamie Vicary:
Topological Structure of Quantum Algorithms. LICS 2013: 93-102
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/StayV13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/StayV13
Mike Stay, Jamie Vicary:
Bicategorical Semantics for Nondeterministic Computation. MFPS 2013: 367-382
2012
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/Vicary12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/Vicary12
Jamie Vicary:
Higher Semantics of Quantum Protocols. LICS 2012: 606-615
2009
[c2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Vicary11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Vicary11a
Jamie Vicary:
Categorical Properties of The Complex Numbers. QPL@MFPS 2009: 163-189
2008
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Vicary11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Vicary11
Jamie Vicary:
Categorical Formulation of Finite-dimensional C*-algebras. QPL/DCM@ICALP 2008: 129-145
no results

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2021
[e2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2101-07888
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-07888
David I. Spivak, Jamie Vicary:
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020. EPTCS 333, 2021 [contents]
2015
[e1]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HeunenSV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HeunenSV15
Chris Heunen, Peter Selinger, Jamie Vicary:
Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. EPTCS 195, 2015 [contents]
no results

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2025
[i12]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-11620
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-11620
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary:
Naturality for higher-dimensional path types. CoRR abs/2501.11620 (2025)
[i11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2501-16465
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2501-16465
Thibaut Benjamin, Ioannis Markakis, Wilfred Offord, Chiara Sarti, Jamie Vicary:
Higher Eckmann-Hilton Arguments in Type Theory. CoRR abs/2501.16465 (2025)
2024
[i10]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-13179
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-13179
Nathan Corbyn, Lukas Heidemann, Nick Hu, Chiara Sarti, Calin Tataru, Jamie Vicary:
homotopy.io: a proof assistant for finitely-presented globular n-categories. CoRR abs/2402.13179 (2024)
2023
[i9]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2302-05303
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2302-05303
Eric Finster, Alex Rice, Jamie Vicary:
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory. CoRR abs/2302.05303 (2023)
2022
[i8]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2205-08952
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2205-08952
Lukas Heidemann, David Reutter, Jamie Vicary:
Zigzag normalisation for associative n-categories. CoRR abs/2205.08952 (2022)
2021
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2109-01513
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-01513
Eric Finster, Alex Rice, Jamie Vicary:
A Type Theory for Strictly Associative Infinity Categories. CoRR abs/2109.01513 (2021)
2020
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-08307
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-08307
Eric Finster, David Reutter, Jamie Vicary:
A Type Theory for Strictly Unital ∞-Categories. CoRR abs/2007.08307 (2020)
2018
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1804-07832
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1804-07832
Antonin Delpeuch, Jamie Vicary:
Normal forms for planar connected string diagrams. CoRR abs/1804.07832 (2018)
2016
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/DunnV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DunnV16
Lawrence Dunn, Jamie Vicary:
Surface proofs for linear logic. CoRR abs/1601.05372 (2016)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BarKV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BarKV16
Krzysztof Bar, Aleks Kissinger, Jamie Vicary:
Globular: an online proof assistant for higher-dimensional rewriting. CoRR abs/1612.01093 (2016)
2014
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/BarV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BarV14
Krzysztof Bar, Jamie Vicary:
Groupoid Semantics for Thermal Computing. CoRR abs/1401.3280 (2014)
2013
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1301-3393
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-3393
Mike Stay, Jamie Vicary:
Bicategorical Semantics for Nondeterministic Computation. CoRR abs/1301.3393 (2013)
no results

[+]

Coauthor network

[+]

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.