Ross Duncan
Titolo
Citata da
Citata da
Anno
Interacting quantum observables: categorical algebra and diagrammatics
B Coecke, R Duncan
New Journal of Physics 13 (4), 043016, 2011
2482011
Interacting quantum observables
B Coecke, R Duncan
International Colloquium on Automata, Languages, and Programming, 298-310, 2008
1782008
Rewriting measurement-based quantum computations with generalised flow
R Duncan, S Perdrix
International Colloquium on Automata, Languages, and Programming, 285-296, 2010
892010
A categorical quantum logic
S Abramsky, R Duncan
Mathematical Structures in Computer Science 16 (3), 469-489, 2006
882006
Graph states and the necessity of Euler decomposition
R Duncan, S Perdrix
Conference on Computability in Europe, 167-177, 2009
622009
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
592012
Types for quantum computing
R Duncan
University of Oxford, 2006
52*2006
Pivoting makes the ZX-calculus complete for real stabilizers
R Duncan, S Perdrix
arXiv preprint arXiv:1307.7048, 2013
372013
Verifying the Steane code with Quantomatic
R Duncan, M Lucas
arXiv preprint arXiv:1306.4532, 2013
332013
Graphical reasoning in compact closed categories for quantum computation
L Dixon, R Duncan
Annals of Mathematics and Artificial Intelligence 56 (1), 23, 2009
322009
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
282011
Interacting Frobenius Algebras are Hopf
R Duncan, K Dunne
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-10, 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
242013
A graphical approach to measurement-based quantum computing
R Duncan
arXiv preprint arXiv:1203.6242, 2012
242012
On the qubit routing problem
A Cowtan, S Dilkes, R Duncan, A Krajenbrink, W Simmons, S Sivarajah
arXiv preprint arXiv:1902.08091, 2019
202019
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
R Duncan, A Kissinger, S Pedrix, J Van De Wetering
arXiv preprint arXiv:1902.03178, 2019
202019
Generalised compositional theories and diagrammatic reasoning
B Coecke, R Duncan, A Kissinger, Q Wang
Quantum Theory: Informational Foundations and Foils, 309-366, 2016
202016
Optimising Clifford Circuits with Quantomatic
A Fagan, R Duncan
arXiv preprint arXiv:1901.10114, 2019
172019
Open graphs and computational reasoning
L Dixon, R Duncan, A Kissinger
arXiv preprint arXiv:1007.3794, 2010
172010
Verifying the smallest interesting colour code with quantomatic
L Garvie, R Duncan
arXiv preprint arXiv:1706.02717, 2017
142017
Il sistema al momento non pu eseguire l'operazione. Riprova pi tardi.
Articoli 1–20