Quantomatic: Publications

Click here to download all publications in a single bibtex file

@conference{pattgraph-dcm-2012,
  title = "Pattern Graph Rewrite Systems",
  author = "Aleks Kissinger and Alex Merry and Matvey Soloviev",
  year = "2012",
  url = "http://arxiv.org/abs/1204.6695",
}

@inproceedings{CK,
  title = "The Compositional Structure of Multipartite Quantum Entanglement",
  author = "Bob Coecke and Aleks Kissinger",
  year = "2010",
  booktitle = "Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP)",
  note = "Extended version: {a}rXiv:1002.2540",
  pages = "297-308",
  series = "Lecture Notes in Computer Science",
}

@inproceedings{Dixon, Duncan, Kissinger: Open Graphs and Computational Reasoning,
  title = "Open Graphs and Computational Reasoning",
  author = "Lucas Dixon and Ross Duncan and Aleks Kissinger",
  year = "2010",
  url = "http://arxiv.org/abs/1007.3794v1",
}

@techreport{Dixon2010,
  title = "Open Graphs and Monoidal Theories",
  author = "Lucas Dixon and Aleks Kissinger",
  year = "2010",
  url = "http://arxiv.org/abs/1011.4114",
}

@incollection{Rewriting Measurement-Based Quantum Computations with Generalised Flow,
  title = "Rewriting Measurement-Based Quantum Computations with Generalised Flow",
  author = "Ross Duncan and Simon Perdrix",
  year = "2010",
  affiliation = "Oxford University Computing Laboratory",
  booktitle = "Automata, Languages and Programming",
  editor = "Abramsky, Samson and Gavoille, Cyril and Kirchner, Claude and Meyer auf der Heide, Friedhelm and Spirakis, Paul",
  note = "10.1007/978-3-642-14162-1_24",
  pages = "285-296",
  publisher = "Springer Berlin / Heidelberg",
  series = "Lecture Notes in Computer Science",
  url = "http://dx.doi.org/10.1007/978-3-642-14162-1_24",
  volume = "6199",
}

@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",
}

@conference{Dixon, Kissinger: Monoidal Categories, Graphical Reasoning, and Quantum Computation,
  title = "Monoidal Categories, Graphical Reasoning, and Quantum Computation",
  author = "Lucas Dixon and Aleks Kissinger",
  year = "2009",
  journal = "CAM-CAD",
  url = "http://www.irit.fr/~Ralph.Matthes/CAMCAD09/Papers/dixon-kissinger-camcad.pdf",
}

@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",
}