Ross Duncan

According to our database, Ross Duncan authored at least 32 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Volumetric Benchmarking of Error Mitigation with Qermit.

Cristina Cirstoiu, Silas Dilkes, Daniel Mills, Seyon Sivarajah, Ross Duncan

Quantum, July, 2023

2022

Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing.

Seyon Sivarajah, Lukas Heidemann, Alan Lawrence, Ross Duncan

CoRR, 2022

A Category of Surface-Embedded Graphs.

Malin Altenmüller, Ross Duncan

Proceedings of the Proceedings Fifth International Conference on Applied Category Theory, 2022

Architecture-Aware Synthesis of Phase Polynomials for NISQ Devices.

Arianne Meijer-van de Griend, Ross Duncan

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2021

Application-Motivated, Holistic Benchmarking of a Full Quantum Computing Stack.

Daniel Mills, Seyon Sivarajah, Travis L. Scholten, Ross Duncan

Quantum, 2021

Dual-Parameterized Quantum Circuit GAN Model in High Energy Physics.

Su Yeon Chang, Steven Herbert, Sofia Vallecorsa, Elías F. Combarro, Ross Duncan

CoRR, 2021

2020

Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus.

Ross Duncan, Aleks Kissinger, Simon Perdrix, John van de Wetering

Quantum, 2020

A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz.

Alexander Cowtan, Will Simmons, Ross Duncan

CoRR, 2020

2019

Phase Gadget Synthesis for Shallow Circuits.

Alexander Cowtan, Silas Dilkes, Ross Duncan, Will Simmons, Seyon Sivarajah

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

Hopf-Frobenius Algebras and a Simpler Drinfeld Double.

Joseph Collins, Ross Duncan

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

Pauli Fusion: a Computational Model to Realise Quantum Transformations from ZX Terms.

Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix

Proceedings of the Proceedings 16th International Conference on Quantum Physics and Logic, 2019

On the Qubit Routing Problem.

Alexander Cowtan, Silas Dilkes, Ross Duncan, Alexandre Krajenbrink, Will Simmons, Seyon Sivarajah

Proceedings of the 14th Conference on the Theory of Quantum Computation, 2019

2018

Optimising Clifford Circuits with Quantomatic.

Andrew Fagan, Ross Duncan

Proceedings of the Proceedings 15th International Conference on Quantum Physics and Logic, 2018

2017

Verifying the Smallest Interesting Colour Code with Quantomatic.

Liam Garvie, Ross Duncan

Proceedings of the Proceedings 14th International Conference on Quantum Physics and Logic, 2017

2016

Interacting Frobenius Algebras are Hopf.

Ross Duncan, Kevin Dunne

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2013

Symmetry, Compact Closure and Dagger Compactness for Categories of Convex Operational Models.

Howard Barnum, Ross Duncan, Alexander Wilce

J. Philos. Log., 2013

Pivoting makes the ZX-calculus complete for real stabilizers.

Ross Duncan, Simon Perdrix

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

Verifying the Steane code with Quantomatic.

Ross Duncan, Maxime Lucas

Proceedings of the 10th International Workshop on Quantum Physics and Logic, 2013

A graphical approach to measurement-based quantum computing.

Ross Duncan

Proceedings of the Quantum Physics and Linguistics, 2013

2012

A graphical approach to measurement-based quantum computing

Ross Duncan

CoRR, 2012

Tutorial: Graphical Calculus for Quantum Circuits.

Bob Coecke, Ross Duncan

Proceedings of the Reversible Computation, 4th International Workshop, 2012

Strong Complementarity and Non-locality in Categorical Quantum Mechanics.

Bob Coecke, Ross Duncan, Aleks Kissinger, Quanlong Wang

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2010

Open Graphs and Computational Reasoning

Lucas Dixon, Ross Duncan, Aleks Kissinger

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

Rewriting Measurement-Based Quantum Computations with Generalised Flow.

Ross Duncan, Simon Perdrix

Proceedings of the Automata, Languages and Programming, 37th International Colloquium, 2010

2009

Generalised Proof-Nets for Compact Categories with Biproducts

Ross Duncan

CoRR, 2009

Interacting Quantum Observables: Categorical Algebra and Diagrammatics.

Bob Coecke, Ross Duncan

CoRR, 2009

Graphical reasoning in compact closed categories for quantum computation.

Lucas Dixon, Ross Duncan

Ann. Math. Artif. Intell., 2009

Graph States and the Necessity of Euler Decomposition.

Ross Duncan, Simon Perdrix

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

Interacting Quantum Observables.

Bob Coecke, Ross Duncan

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.

Lucas Dixon, Ross Duncan

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

2006

Types for quantum computing.

Ross Duncan

PhD thesis, 2006

A categorical quantum logic.

Samson Abramsky, Ross Duncan

Math. Struct. Comput. Sci., 2006