S. Abramsky & B. Coecke (2004):
A categorical semantics of quantum protocols.
In: Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on,
pp. 415–425,
doi:10.1109/LICS.2004.1319636.
Miriam Backens (2012):
The ZX-calculus is complete for stabilizer quantum mechanics.
In: Proceedings 9th International Workshop on Quantum Physics and Logic, Brussels, Belguim October 10-12, 2012.
Available at http://arxiv.org/abs/1307.7025.
Bob Coecke & Ross Duncan (2008):
Interacting Quantum Observables.
In: Luca Aceto, Ivan Damgård, LeslieAnn Goldberg, MagnúsM. Halldórsson, Anna Ingólfsdóttir & Igor Walukiewicz: Automata, Languages and Programming,
Lecture Notes in Computer Science 5126.
Springer Berlin Heidelberg,
pp. 298–310,
doi:10.1007/978-3-540-70583-3_25.
Bob Coecke & Ross Duncan (2011):
Interacting quantum observables: categorical algebra and diagrammatics.
New Journal of Physics 13(4),
pp. 043016,
doi:10.1088/1367-2630/13/4/043016.
Bob Coecke, Ross Duncan, Aleks Kissinger & Quanlong Wang (2012):
Strong Complementarity and Non-locality in Categorical Quantum Mechanics.
In: Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science,
LICS '12.
IEEE Computer Society,
Washington, DC, USA,
pp. 245–254,
doi:10.1109/LICS.2012.35.
Ross Duncan & Maxime Lucas (2013):
Verifying the Steane code with Quantomatic.
In: Proceedings 10th International Workshop on Quantum Physics and Logic, Barcelona, Spain, July 17-19, 2013.
Available at http://arxiv.org/abs/1306.4532.
Ross Duncan & Simon Perdrix (2009):
Graph States and the Necessity of Euler Decomposition.
In: Klaus Ambos-Spies, Benedikt Löwe & Wolfgang Merkle: Mathematical Theory and Computational Practice,
Lecture Notes in Computer Science 5635.
Springer Berlin Heidelberg,
pp. 167–177,
doi:10.1007/978-3-642-03073-4_18.
Ross Duncan & Simon Perdrix (2010):
Rewriting Measurement-Based Quantum Computations with Generalised Flow.
In: Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide & PaulG. Spirakis: Automata, Languages and Programming,
Lecture Notes in Computer Science 6199.
Springer Berlin Heidelberg,
pp. 285–296,
doi:10.1007/978-3-642-14162-1_24.
D. Gottesman (1999):
The Heisenberg Representation of Quantum Computers.
Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics eds. S. P. Corney, R. Delbourgo, and P. D. Jarvis,
pp. 32–43.
Anne Hillebrand (2011):
Superdense Coding with GHZ and Quantum Key Distribution with W in the ZX-calculus.
In: Bart Jacobs, Peter Selinger & Bas Spitters: Proceedings 8th International Workshop on Quantum Physics and Logic, Nijmegen, Netherlands, October 27-29, 2011,
Electronic Proceedings in Theoretical Computer Science 95.
Open Publishing Association,
pp. 103–121,
doi:10.4204/EPTCS.95.10.
Michael A Nielsen & Isaac L Chuang (2010):
Quantum computation and quantum information.
Cambridge university press,
doi:10.1017/CBO9780511976667.
eptcs@eptcs.org