 | 2012 |
| 12 |  | Bob Coecke,
Ross Duncan,
Aleks Kissinger,
Quanlong Wang:
Strong complementarity and non-locality in categorical quantum mechanics
CoRR abs/1203.4988: (2012) |
| 11 |  | Ross Duncan:
A graphical approach to measurement-based quantum computing
CoRR abs/1203.6242: (2012) |
| 2010 |
| 10 |  | Lucas Dixon,
Ross Duncan,
Aleks Kissinger:
Open Graphs and Computational Reasoning
DCM 2010: 169-180 |
| 9 |  | Ross Duncan,
Simon Perdrix:
Rewriting Measurement-Based Quantum Computations with Generalised Flow.
ICALP (2) 2010: 285-296 |
| 2009 |
| 8 |  | Ross Duncan,
Simon Perdrix:
Graph States and the Necessity of Euler Decomposition.
CiE 2009: 167-177 |
| 7 |  | Lucas Dixon,
Ross Duncan:
Graphical reasoning in compact closed categories for quantum computation.
Ann. Math. Artif. Intell. 56(1): 23-42 (2009) |
| 6 |  | Lucas Dixon,
Ross Duncan:
Graphical Reasoning in Compact Closed Categories for Quantum Computation
CoRR abs/0902.0514: (2009) |
| 5 |  | Ross Duncan:
Generalised Proof-Nets for Compact Categories with Biproducts
CoRR abs/0903.5154: (2009) |
| 2008 |
| 4 |  | Lucas Dixon,
Ross Duncan:
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.
AISC/MKM/Calculemus 2008: 77-92 |
| 3 |  | Bob Coecke,
Ross Duncan:
Interacting Quantum Observables.
ICALP (2) 2008: 298-310 |
| 2006 |
| 2 |  | Samson Abramsky,
Ross Duncan:
A categorical quantum logic.
Mathematical Structures in Computer Science 16(3): 469-489 (2006) |
| 2005 |
| 1 |  | Samson Abramsky,
Ross Duncan:
A Categorical Quantum Logic
CoRR abs/quant-ph/0512114: (2005) |