Ross Duncan : Publications
Click here to download all publications in a single bibtex file
@inbook{Duncan:2009cs,
title = "Generalised Proof-Nets for Compact Categories with Biproducts",
author = "Ross Duncan",
year = "2009",
booktitle = "Semantics of Quantum Computation",
editor = "S. Gay and I. Mackie",
keywords = "categorical quantum mechanics; compact closed categories; proof-nets; quantum computing",
note = "Preprint available at http://arxiv.org/abs/0903.5154",
publisher = "Cambridge University Press",
}
@article{Lucas-Dixon:2009yq,
title = "Graphical Reasoning in Compact Closed Categories for Quantum Computation",
author = "Lucas Dixon and Ross Duncan",
year = "2009",
journal = "Annals of Mathematics and Artificial Intelligence",
keywords = "categorical quantum mechanics; compact closed categories; rewriting; graphical calculi",
note = "preprint available at http://arxiv.org/abs/0902.0514",
doi = "10.1007/s10472-009-9141-x",
}
@inproceedings{Duncan:2009ph,
title = "Graph States and the necessity of Euler Decomposition",
author = "Ross Duncan and Simon Perdrix",
year = "2009",
booktitle = "Computability in Europe: Mathematical Theory and Computational Practice (CiE'09)",
editor = "Ambos-Spies, K. and L\"{o}we, B. and Merkle, W.",
keywords = "quantum computing; categorical quantum mechanics; graphical calculi; measurement-based quantum computing; entanglement",
note = "Preprint available at http://arxiv.org/abs/0902.0500",
pages = "167--177",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "5635",
doi = "10.1007/978-3-642-03073-4",
}
@inproceedings{Dixon:2008ys,
title = "Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation",
author = "Lucas Dixon and Ross Duncan",
year = "2008",
booktitle = "Intelligent Computer Mathematics, 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings",
editor = "Autexier, Serge and Campbell, John and Rubio, Julio and Sorge, Volker and Suzuki, Masakazu and Wiedijk, Freek",
keywords = "rewriting; quantum computing; categorical logic; interactive theorem proving; graphical calculi",
pages = "77-92",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "5144",
doi = "10.1007/978-3-540-85110-3_8",
}
@inproceedings{Coecke:2008nx,
title = "Interacting Quantum Observables",
author = "Bob Coecke and Ross Duncan",
year = "2008",
booktitle = "Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II",
keywords = "categorical quantum mechanics; quantum computing;",
note = "A significantly revised and expanded version of this paper is available as preprint http://arxiv.org/abs/0906.4725",
pages = "298-310",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "5126",
doi = "10.1007/978-3-540-70583-3_25",
}
@article{AbrDun:CQLv2:2004,
title = "A Categorical Quantum Logic",
author = "Samson Abramsky and Ross Duncan",
year = "2006",
journal = "Mathematical Structures in Computer Science",
note = "Preprint available at http://arxiv.org/abs/quant-ph/0512114",
number = "3",
pages = "469-489",
volume = "16",
doi = "10.1017/S0960129506005275",
}
@phdthesis{Duncan:thesis:2006,
title = "Types for Quantum Computing",
author = "Ross Duncan",
year = "2006",
institution = "Oxford University",
note = "This thesis was the runner up for the British Computer Society Distinguished Dissertation award.",
url = "http://www.bcs.org/server.php?show=conMediaFile.10119",
}
@techreport{RR-04-18,
title = "Believe it or not, Bell states are a model of multiplicative linear logic",
author = "Ross Duncan",
year = "2004",
institution = "Oxford University Computing Laboratory",
month = "October",
number = "RR-04-18",
}
@inproceedings{AbrDun:CQLv1:2004,
title = "A Categorical Quantum Logic",
author = "Samson Abramsky and Ross Duncan",
year = "2004",
booktitle = "Proceedings of the 2nd International Workshop on Quantum Programming Languages",
edition = "Selinger, Peter",
keywords = "quantum computing; compact closed categories; proof-nets",
note = "This paper is largely superceded by the MSCS publication with the same title, however some details, such as the sequent calculus presentation, are only found in this version.",
series = "Turku Centre for Computer Science General Publication",
url = "http://quasar.mathstat.uottawa.ca/~selinger/qpl2004/PDFS/02Abramsky-Duncan.pdf",
volume = "33",
}