Ross Duncan
Title
Cited by
Cited by
Year
Interacting quantum observables: categorical algebra and diagrammatics
B Coecke, R Duncan
New Journal of Physics 13 (4), 043016, 2011
3152011
Interacting quantum observables
B Coecke, R Duncan
International Colloquium on Automata, Languages, and Programming, 298-310, 2008
2132008
Rewriting measurement-based quantum computations with generalised flow
R Duncan, S Perdrix
International Colloquium on Automata, Languages, and Programming, 285-296, 2010
982010
A categorical quantum logic
S Abramsky, R Duncan
Mathematical Structures in Computer Science 16 (3), 469-489, 2006
932006
Graph states and the necessity of Euler decomposition
R Duncan, S Perdrix
Conference on Computability in Europe, 167-177, 2009
732009
Strong complementarity and non-locality in categorical quantum mechanics
B Coecke, R Duncan, A Kissinger, Q Wang
2012 27th Annual IEEE Symposium on Logic in Computer Science, 245-254, 2012
672012
t| ket⟩: a retargetable compiler for NISQ devices
S Sivarajah, S Dilkes, A Cowtan, W Simmons, A Edgington, R Duncan
Quantum Science and Technology 6 (1), 014003, 2020
582020
On the qubit routing problem
A Cowtan, S Dilkes, R Duncan, A Krajenbrink, W Simmons, S Sivarajah
arXiv preprint arXiv:1902.08091, 2019
552019
Types for quantum computing
R Duncan
University of Oxford, 2006
53*2006
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Perdrix, J Van De Wetering
Quantum 4, 279, 2020
522020
Pivoting makes the ZX-calculus complete for real stabilizers
R Duncan, S Perdrix
arXiv preprint arXiv:1307.7048, 2013
432013
Reconstructing quantum theory from diagrammatic postulates
JH Selby, CM Scandolo, B Coecke
Quantum 5, 445, 2021
402021
Verifying the Steane code with Quantomatic
R Duncan, M Lucas
arXiv preprint arXiv:1306.4532, 2013
382013
Graphical reasoning in compact closed categories for quantum computation
L Dixon, R Duncan
Annals of Mathematics and Artificial Intelligence 56 (1), 23-42, 2009
382009
Interacting frobenius algebras are hopf
R Duncan, K Dunne
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
372016
Quantomatic
A Kissinger, A Merry, L Dixon, R Duncan, M Soloviev, B Frot, D Quick, ...
Software available on-line at http://sites. google. com/site/quantomatic, 2011
332011
A graphical approach to measurement-based quantum computing
R Duncan
arXiv preprint arXiv:1203.6242, 2012
302012
Phase gadget synthesis for shallow circuits
A Cowtan, S Dilkes, R Duncan, W Simmons, S Sivarajah
arXiv preprint arXiv:1906.01734, 2019
272019
Generalised compositional theories and diagrammatic reasoning
B Coecke, R Duncan, A Kissinger, Q Wang
Quantum Theory: Informational Foundations and Foils, 309-366, 2016
272016
Symmetry, compact closure and dagger compactness for categories of convex operational models
H Barnum, R Duncan, A Wilce
Journal of philosophical logic 42 (3), 501-523, 2013
272013
The system can't perform the operation now. Try again later.
Articles 1–20