Quantomatic: Publications
Book chapters
-
[1]
Rewriting Measurement−Based Quantum Computations with Generalised Flow
Ross Duncan and Simon Perdrix
In Samson Abramsky‚ Cyril Gavoille‚ Claude Kirchner‚ Friedhelm Meyer auf der Heide and Paul Spirakis, editors, Automata‚ Languages and Programming. Vol. 6199 of Lecture Notes in Computer Science. Pages 285−296. Springer Berlin / Heidelberg. 2010.
10.1007/978−3−642−14162−1_24
Details about Rewriting Measurement−Based Quantum Computations with Generalised Flow | BibTeX data for Rewriting Measurement−Based Quantum Computations with Generalised Flow | Link to Rewriting Measurement−Based Quantum Computations with Generalised Flow
Journal papers
-
[1]
Graphical Reasoning in Compact Closed Categories for Quantum Computation
Lucas Dixon and Ross Duncan
In Annals of Mathematics and Artificial Intelligence. 2009.
preprint available at http://arxiv.org/abs/0902.0514
Details about Graphical Reasoning in Compact Closed Categories for Quantum Computation | BibTeX data for Graphical Reasoning in Compact Closed Categories for Quantum Computation | Download (pdf) of Graphical Reasoning in Compact Closed Categories for Quantum Computation | DOI (10.1007/s10472-009-9141-x)
Conference papers
-
[1]
Pattern Graph Rewrite Systems
Aleks Kissinger‚ Alex Merry and Matvey Soloviev
2012.
Details about Pattern Graph Rewrite Systems | BibTeX data for Pattern Graph Rewrite Systems | Link to Pattern Graph Rewrite Systems
-
[2]
The Compositional Structure of Multipartite Quantum Entanglement
Bob Coecke and Aleks Kissinger
In Proceedings of the 37th International Colloquium on Automata‚ Languages and Programming (ICALP). Pages 297−308. 2010.
Extended version: arXiv:1002.2540
Details about The Compositional Structure of Multipartite Quantum Entanglement | BibTeX data for The Compositional Structure of Multipartite Quantum Entanglement
-
[3]
Open Graphs and Computational Reasoning
Lucas Dixon‚ Ross Duncan and Aleks Kissinger
2010.
Details about Open Graphs and Computational Reasoning | BibTeX data for Open Graphs and Computational Reasoning | Link to Open Graphs and Computational Reasoning
-
[4]
Monoidal Categories‚ Graphical Reasoning‚ and Quantum Computation
Lucas Dixon and Aleks Kissinger
2009.
Details about Monoidal Categories‚ Graphical Reasoning‚ and Quantum Computation | BibTeX data for Monoidal Categories‚ Graphical Reasoning‚ and Quantum Computation | Download (pdf) of Monoidal Categories‚ Graphical Reasoning‚ and Quantum Computation
-
[5]
Graph States and the necessity of Euler Decomposition
Ross Duncan and Simon Perdrix
In K. Ambos−Spies‚ B. Löwe and W. Merkle, editors, Computability in Europe: Mathematical Theory and Computational Practice (CiE'09). Vol. 5635 of Lecture Notes in Computer Science. Pages 167–177. Springer. 2009.
Preprint available at http://arxiv.org/abs/0902.0500
Details about Graph States and the necessity of Euler Decomposition | BibTeX data for Graph States and the necessity of Euler Decomposition | Download (pdf) of Graph States and the necessity of Euler Decomposition | DOI (10.1007/978-3-642-03073-4)
-
[6]
Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation
Lucas Dixon and Ross Duncan
In Serge Autexier‚ John Campbell‚ Julio Rubio‚ Volker Sorge‚ Masakazu Suzuki and Freek Wiedijk, editors, 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. Vol. 5144 of Lecture Notes in Computer Science. Pages 77−92. Springer. 2008.
Details about Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation | BibTeX data for Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation | Download of Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation | DOI (10.1007/978-3-540-85110-3_8)
-
[7]
Interacting Quantum Observables
Bob Coecke and Ross Duncan
In Automata‚ Languages and Programming‚ 35th International Colloquium‚ ICALP 2008‚ Reykjavik‚ Iceland‚ July 7−11‚ 2008‚ Proceedings‚ Part II. Vol. 5126 of Lecture Notes in Computer Science. Pages 298−310. Springer. 2008.
A significantly revised and expanded version of this paper is available as preprint http://arxiv.org/abs/0906.4725
Details about Interacting Quantum Observables | BibTeX data for Interacting Quantum Observables | Download (pdf) of Interacting Quantum Observables | DOI (10.1007/978-3-540-70583-3_25)
Technical reports
-
[1]
Open Graphs and Monoidal Theories
Lucas Dixon and Aleks Kissinger
2010.
Details about Open Graphs and Monoidal Theories | BibTeX data for Open Graphs and Monoidal Theories | Link to Open Graphs and Monoidal Theories