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
2932011
Interacting quantum observables
B Coecke, R Duncan
International Colloquium on Automata, Languages, and Programming, 298-310, 2008
2022008
Rewriting measurement-based quantum computations with generalised flow
R Duncan, S Perdrix
International Colloquium on Automata, Languages, and Programming, 285-296, 2010
972010
A categorical quantum logic
S Abramsky, R Duncan
Mathematical Structures in Computer Science 16 (3), 469-489, 2006
902006
Graph states and the necessity of Euler decomposition
R Duncan, S Perdrix
Conference on Computability in Europe, 167-177, 2009
692009
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
642012
Types for quantum computing
R Duncan
University of Oxford, 2006
53*2006
On the qubit routing problem
A Cowtan, S Dilkes, R Duncan, A Krajenbrink, W Simmons, S Sivarajah
arXiv preprint arXiv:1902.08091, 2019
492019
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Perdrix, J Van De Wetering
Quantum 4, 279, 2020
442020
Pivoting makes the ZX-calculus complete for real stabilizers
R Duncan, S Perdrix
arXiv preprint arXiv:1307.7048, 2013
412013
Verifying the Steane code with Quantomatic
R Duncan, M Lucas
arXiv preprint arXiv:1306.4532, 2013
372013
Graphical reasoning in compact closed categories for quantum computation
L Dixon, R Duncan
Annals of Mathematics and Artificial Intelligence 56 (1), 23-42, 2009
352009
Reconstructing quantum theory from diagrammatic postulates
JH Selby, CM Scandolo, B Coecke
arXiv preprint arXiv:1802.00367, 2018
342018
Interacting Frobenius Algebras are Hopf
R Duncan, K Dunne
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
342016
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
322011
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
292020
A graphical approach to measurement-based quantum computing
R Duncan
arXiv preprint arXiv:1203.6242, 2012
292012
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
252013
Generalised compositional theories and diagrammatic reasoning
B Coecke, R Duncan, A Kissinger, Q Wang
Quantum Theory: Informational Foundations and Foils, 309-366, 2016
242016
Optimising Clifford circuits with quantomatic
A Fagan, R Duncan
arXiv preprint arXiv:1901.10114, 2019
212019
The system can't perform the operation now. Try again later.
Articles 1–20