Scott Aaronson & Daniel Gottesman (2004):
Improved simulation of stabilizer circuits.
Physical Review A 70,
pp. 052328,
doi:10.1103/PhysRevA.70.052328.
Koenraad M R Audenaert & Martin B Plenio (2005):
Entanglement on mixed stabilizer states: normal forms and reduction procedures.
New Journal of Physics 7(1),
pp. 170,
doi:10.1088/1367-2630/7/1/170.
Charles H. Bennett, Gilles Brassard, Claude Crépeau, Richard Jozsa, Asher Peres & William K. Wootters (1993):
Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels.
Physical Review Letters 70(13),
pp. 1895–1899,
doi:10.1103/PhysRevLett.70.1895.
Charles H. Bennett & Stephen J. Wiesner (1992):
Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states.
Physical Review Letters 69,
pp. 2881–2884,
doi:10.1103/PhysRevLett.69.2881.
Simon J. Gay, Rajagopal Nagarajan & Nikolaos Papanikolaou (2008):
QMC: A Model Checker for Quantum Systems.
In: Aarti Gupta & Sharad Malik: Computer Aided Verification,
Lecture Notes in Computer Science 5123.
Springer Berlin Heidelberg,
pp. 543–547,
doi:10.1007/978-3-540-70545-1_51.
Simon J. Gay, Rajagopal Nagarajan & Nikolaos Papanikolaou (2009):
Specification and Verification of Quantum Protocols.
In: Simon Gay & Ian Mackie: Semantic Techniques in Quantum Computation.
Cambridge University Press,
pp. 414–472,
doi:10.1017/CBO9781139193313.012.
Cambridge Books Online.
Daniel Gottesman (1996):
Class of quantum error-correcting codes saturating the quantum Hamming bound.
Physical Review A 54,
pp. 1862–1868,
doi:10.1103/PhysRevA.54.1862.
Philippe Jorrand & Simon Perdrix (2009):
Abstract Interpretation Techniques for Quantum Computation.
In: Simon Gay & Ian Mackie: Semantic Techniques in Quantum Computation.
Cambridge University Press,
pp. 206–234,
doi:10.1017/CBO9781139193313.007.
Michael A. Nielsen & Isaac L. Chuang (2000):
Quantum Computation and Quantum Information.
Cambridge University Press.
Simon Perdrix (2007):
Quantum Patterns and Types for Entanglement and Separability.
Electronic Notes in Theoretical Computer Science 170(0),
pp. 125–138,
doi:10.1016/j.entcs.2006.12.015.
Simon Perdrix (2008):
A Hierarchy of Quantum Semantics.
Electronic Notes in Theoretical Computer Science 192(3),
pp. 71–83,
doi:10.1016/j.entcs.2008.10.028.
Simon Perdrix (2008):
Quantum Entanglement Analysis Based on Abstract Interpretation.
In: María Alpuente & Germán Vidal: Static Analysis,
Lecture Notes in Computer Science 5079.
Springer Berlin Heidelberg,
pp. 270–282,
doi:10.1007/978-3-540-69166-2_18.
Frédéric Prost & Chaouki Zerrari (2009):
Reasoning about Entanglement and Separability in Quantum Higher-Order Functions.
In: CristianS. Calude, JoséFélix Costa, Nachum Dershowitz, Elisabete Freire & Grzegorz Rozenberg: Unconventional Computation,
Lecture Notes in Computer Science 5715.
Springer Berlin Heidelberg,
pp. 219–235,
doi:10.1007/978-3-642-03745-0_25.
Robert Raussendorf & Hans J. Briegel (2001):
A One-Way Quantum Computer.
Physical Review Letters 86,
pp. 5188–5191,
doi:10.1103/PhysRevLett.86.5188.
Peter Selinger (2004):
Towards a quantum programming language.
Mathematical Structures in Computer Science 14,
pp. 527–586,
doi:10.1017/S0960129504004256.