ask others

Ross Duncan

> Home > Persons

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

showing all ?? records

2010 – today

see FAQ

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

2017
[c11]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/GarvieD17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/GarvieD17
Liam Garvie, Ross Duncan:
Verifying the Smallest Interesting Colour Code with Quantomatic. QPL 2017: 147-163
[e2]
- view
- export record
  dblp key:
  - journals/corr/DuncanH17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DuncanH17
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]
- view
  - electronic edition @ acm.org
- export record
  dblp key:
  - conf/lics/DuncanD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/DuncanD16
Ross Duncan, Kevin Dunne:
Interacting Frobenius Algebras are Hopf. LICS 2016: 535-544
[i7]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DuncanD16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DuncanD16
Ross Duncan, Kevin Dunne:
Interacting Frobenius Algebras are Hopf. CoRR abs/1601.04964 (2016)
2014
[e1]
- view
- export record
  dblp key:
  - journals/corr/DuncanP14
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DuncanP14
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]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/jphil/BarnumDW13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jphil/BarnumDW13
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]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DuncanL13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DuncanL13
Ross Duncan, Maxime Lucas:
Verifying the Steane code with Quantomatic. QPL 2013: 33-49
[c8]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/DuncanP13
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/DuncanP13
Ross Duncan, Simon Perdrix:
Pivoting makes the ZX-calculus complete for real stabilizers. QPL 2013: 50-62
2012
[c7]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/lics/CoeckeDKW12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/lics/CoeckeDKW12
Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong Complementarity and Non-locality in Categorical Quantum Mechanics. LICS 2012: 245-254
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/rc/CoeckeD12
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/rc/CoeckeD12
Bob Coecke, Ross Duncan:
Tutorial: Graphical Calculus for Quantum Circuits. RC 2012: 1-13
[i6]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1203-4988
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1203-4988
Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang:
Strong complementarity and non-locality in categorical quantum mechanics. CoRR abs/1203.4988 (2012)
[i5]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1203-6242
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1203-6242
Ross Duncan:
A graphical approach to measurement-based quantum computing. CoRR abs/1203.6242 (2012)
2010
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/DuncanP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/DuncanP10
Ross Duncan, Simon Perdrix:
Rewriting Measurement-Based Quantum Computations with Generalised Flow. ICALP (2) 2010: 285-296
[c4]
- view
  - electronic edition via DOI
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1007-3794
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1007-3794
Lucas Dixon, Ross Duncan, Aleks Kissinger:
Open Graphs and Computational Reasoning. DCM 2010: 169-180

2000 – 2009

see FAQ

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

2009
[j2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/amai/DixonD09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/amai/DixonD09
Lucas Dixon, Ross Duncan:
Graphical reasoning in compact closed categories for quantum computation. Ann. Math. Artif. Intell. 56(1): 23-42 (2009)
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cie/DuncanP09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cie/DuncanP09
Ross Duncan, Simon Perdrix:
Graph States and the Necessity of Euler Decomposition. CiE 2009: 167-177
[i4]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0902-0514
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-0902-0514
Lucas Dixon, Ross Duncan:
Graphical Reasoning in Compact Closed Categories for Quantum Computation. CoRR abs/0902.0514 (2009)
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-0903-5154
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-0903-5154
Ross Duncan:
Generalised Proof-Nets for Compact Categories with Biproducts. CoRR abs/0903.5154 (2009)
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/CoeckeD09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/CoeckeD09
Bob Coecke, Ross Duncan:
Interacting Quantum Observables: Categorical Algebra and Diagrammatics. CoRR abs/0906.4725 (2009)
2008
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aisc/DixonD08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aisc/DixonD08
Lucas Dixon, Ross Duncan:
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation. AISC/MKM/Calculemus 2008: 77-92
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/icalp/CoeckeD08
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/icalp/CoeckeD08
Bob Coecke, Ross Duncan:
Interacting Quantum Observables. ICALP (2) 2008: 298-310
2006
[b1]
- view
  - electronic edition @ ox.ac.uk
  - electronic edition @ bl.uk
- export record
  dblp key:
  - phd/ethos/Duncan06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/phd/ethos/Duncan06
Ross Duncan:
Types for quantum computing. University of Oxford, UK 2006
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/mscs/AbramskyD06
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/mscs/AbramskyD06
Samson Abramsky, Ross Duncan:
A categorical quantum logic. Mathematical Structures in Computer Science 16(3): 469-489 (2006)
2005
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-quant-ph-0512114
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-quant-ph-0512114
Samson Abramsky, Ross Duncan:
A Categorical Quantum Logic. CoRR abs/quant-ph/0512114 (2005)

Coauthor Index

see FAQ

maintained by

at