Ross Duncan
Person information
- affiliation: University of Strathclyde, Glasgow, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2019
[c13]Alexander Cowtan, Silas Dilkes, Ross Duncan, Alexandre Krajenbrink, Will Simmons, Seyon Sivarajah:
On the Qubit Routing Problem. TQC 2019: 5:1-5:32
[i10]Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering:
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus. CoRR abs/1902.03178 (2019)
[i9]Alexander Cowtan, Silas Dilkes, Ross Duncan, Alexandre Krajenbrink, Will Simmons, Seyon Sivarajah:
On the qubit routing problem. CoRR abs/1902.08091 (2019)
[i8]Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, Seyon Sivarajah:
Phase Gadget Synthesis for Shallow Circuits. CoRR abs/1906.01734 (2019)- 2018
[c12]Andrew Fagan, Ross Duncan:
Optimising Clifford Circuits with Quantomatic. QPL 2018: 85-105- 2017
[c11]Liam Garvie, Ross Duncan:
Verifying the Smallest Interesting Colour Code with Quantomatic. QPL 2017: 147-163
[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]- 2016
[c10]Ross Duncan, Kevin Dunne:
Interacting Frobenius Algebras are Hopf. LICS 2016: 535-544
[i7]Ross Duncan, Kevin Dunne:
Interacting Frobenius Algebras are Hopf. CoRR abs/1601.04964 (2016)- 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]Ross Duncan, Maxime Lucas:
Verifying the Steane code with Quantomatic. QPL 2013: 33-49
[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]Bob Coecke, Ross Duncan:
Tutorial: Graphical Calculus for Quantum Circuits. RC 2012: 1-13
[i6]Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong complementarity and non-locality in categorical quantum mechanics. CoRR abs/1203.4988 (2012)
[i5]Ross Duncan:
A graphical approach to measurement-based quantum computing. CoRR abs/1203.6242 (2012)- 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]Bob Coecke, Ross Duncan:
Interacting Quantum Observables. ICALP (2) 2008: 298-310- 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]Samson Abramsky, Ross Duncan:
A Categorical Quantum Logic. CoRR abs/quant-ph/0512114 (2005)
Coauthor Index
last updated on 2019-10-21 00:04 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint



Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar




