Follow
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
3782011
Interacting quantum observables
B Coecke, R Duncan
International Colloquium on Automata, Languages, and Programming, 298-310, 2008
2382008
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
1382020
Rewriting measurement-based quantum computations with generalised flow
R Duncan, S Perdrix
International Colloquium on Automata, Languages, and Programming, 285-296, 2010
1172010
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Perdrix, J Van De Wetering
Quantum 4, 279, 2020
1012020
A categorical quantum logic
S Abramsky, R Duncan
Mathematical Structures in Computer Science 16 (3), 469-489, 2006
992006
On the qubit routing problem
A Cowtan, S Dilkes, R Duncan, A Krajenbrink, W Simmons, S Sivarajah
arXiv preprint arXiv:1902.08091, 2019
982019
Graph states and the necessity of Euler decomposition
R Duncan, S Perdrix
Conference on Computability in Europe, 167-177, 2009
812009
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
752012
Types for quantum computing
R Duncan
University of Oxford, 2006
67*2006
Phase gadget synthesis for shallow circuits
A Cowtan, S Dilkes, R Duncan, W Simmons, S Sivarajah
arXiv preprint arXiv:1906.01734, 2019
602019
Pivoting makes the ZX-calculus complete for real stabilizers
R Duncan, S Perdrix
arXiv preprint arXiv:1307.7048, 2013
502013
Verifying the Steane code with Quantomatic
R Duncan, M Lucas
arXiv preprint arXiv:1306.4532, 2013
472013
Interacting frobenius algebras are hopf
R Duncan, K Dunne
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 2016
412016
Graphical reasoning in compact closed categories for quantum computation
L Dixon, R Duncan
Annals of Mathematics and Artificial Intelligence 56 (1), 23-42, 2009
402009
Dynamical mean field theory algorithm and experiment on quantum computers
I Rungger, N Fitzpatrick, H Chen, CH Alderete, H Apel, A Cowtan, ...
arXiv preprint arXiv:1910.04735, 2019
362019
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
Generalised compositional theories and diagrammatic reasoning
B Coecke, R Duncan, A Kissinger, Q Wang
Quantum Theory: Informational Foundations and Foils, 309-366, 2016
312016
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
312013
A graphical approach to measurement-based quantum computing
R Duncan
arXiv preprint arXiv:1203.6242, 2012
312012
The system can't perform the operation now. Try again later.
Articles 1–20