Ross Duncan
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
showing all ?? records
2010 – today
- 2017
- [e2]Ross Duncan, Chris Heunen:
Proceedings 13th International Conference on Quantum Physics and Logic, QPL 2016, Glasgow, Scotland, 6-10 June 2016. EPTCS 236, 2017 [contents] - [i8]Liam Garvie, Ross Duncan:
Verifying the Smallest Interesting Colour Code with Quantomatic. CoRR abs/1706.02717 (2017) - 2016
- [c10]
- [i7]
- 2014
- [e1]Ross Duncan, Prakash Panangaden:
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, 2014 [contents] - 2013
- [j3]Howard Barnum, Ross Duncan, Alexander Wilce:
Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models. J. Philosophical Logic 42(3): 501-523 (2013) - [c9]
- [c8]Ross Duncan, Simon Perdrix:
Pivoting makes the ZX-calculus complete for real stabilizers. QPL 2013: 50-62 - 2012
- [c7]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS 2012: 245-254 - [c6]
- [i6]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong complementarity and non-locality in categorical quantum mechanics. CoRR abs/1203.4988 (2012) - [i5]
- 2010
- [c5]Ross Duncan, Simon Perdrix:
Rewriting Measurement-Based Quantum Computations with Generalised Flow. ICALP (2) 2010: 285-296 - [c4]Lucas Dixon, Ross Duncan, Aleks Kissinger:
Open Graphs and Computational Reasoning. DCM 2010: 169-180
2000 – 2009
- 2009
- [j2]Lucas Dixon, Ross Duncan:
Graphical reasoning in compact closed categories for quantum computation. Ann. Math. Artif. Intell. 56(1): 23-42 (2009) - [c3]Ross Duncan, Simon Perdrix:
Graph States and the Necessity of Euler Decomposition. CiE 2009: 167-177 - [i4]Lucas Dixon, Ross Duncan:
Graphical Reasoning in Compact Closed Categories for Quantum Computation. CoRR abs/0902.0514 (2009) - [i3]Ross Duncan:
Generalised Proof-Nets for Compact Categories with Biproducts. CoRR abs/0903.5154 (2009) - [i2]Bob Coecke, Ross Duncan:
Interacting Quantum Observables: Categorical Algebra and Diagrammatics. CoRR abs/0906.4725 (2009) - 2008
- [c2]Lucas Dixon, Ross Duncan:
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. AISC/MKM/Calculemus 2008: 77-92 - [c1]
- 2006
- [b1]Ross Duncan:
Types for quantum computing. University of Oxford, UK 2006 - [j1]Samson Abramsky, Ross Duncan:
A categorical quantum logic. Mathematical Structures in Computer Science 16(3): 469-489 (2006) - 2005
- [i1]
Coauthor Index
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-09-13 19:14 CEST by the dblp team