1. Benjamin Bichsel, Maximilian Baader, Timon Gehr & Martin Vechev (2020): Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics. In: Proc. PLDI '20, pp. 286300, doi:10.1145/3385412.3386007. Available at
  2. Sergey Bravyi, David Fattal & Daniel Gottesman (2006): GHZ extraction yield for multipartite stabilizer states. J. Math. Phys. 47(6), pp. 062106, doi:10.1063/1.2203431. Available at
  3. Richard Cleve & Daniel Gottesman (1997): Efficient Computations of Encodings for Quantum Error Correction. Phys. Rev. A 56, pp. 76–82, doi:10.1103/PhysRevA.56.76. Available at
  4. Kristina R Colladay & Erich J Mueller (2018): Rewiring Stabilizer Codes. New Journal of Physics 20(8), pp. 083030, doi:10.1088/1367-2630/aad8dd. Available at
  5. David Fattal, Toby S Cubitt, Yoshihisa Yamamoto, Sergey Bravyi & Isaac L Chuang (2004): Entanglement in the stabilizer formalism. arXiv preprint. Available at
  6. Daniel Gottesman (1996): Class of quantum error-correcting codes saturating the quantum Hamming bound. Phys. Rev. A 54(3), pp. 18621868, doi:10.1103/physreva.54.1862. Available at
  7. Daniel Gottesman (1998): The Heisenberg Representation of Quantum Computers. In: Group22: Proceedings of the XXII International Colloquium on Group Theoretical Methods in Physics, pp. 32–43. Available at
  8. Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger & Benoît Valiron (2013): Quipper: A Scalable Quantum Programming Language. In: Proc. PLDI '13, pp. 333–342, doi:10.1145/2491956.2462177. Available at
  9. Kentaro Honda (2015): Analysis of Quantum Entanglement in Quantum Programs using Stabilizer Formalism. In: Proc. QPL '15, pp. 262–272, doi:10.4204/EPTCS.195.19.
  10. E. Knill (2005): Quantum computing with realistically noisy devices. Nature 434(7029), pp. 39–44, doi:10.1038/nature03350. Available at
  11. Maarten Van den Nest, Jeroen Dehaene & Bart De Moor (2005): Local unitary versus local Clifford equivalence of stabilizer states. Phys. Rev. A 71, pp. 062323, doi:10.1103/PhysRevA.71.062323. Available at
  12. Michael A. Nielsen & Isaac L. Chuang (2010): Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press, doi:10.1017/CBO9780511976667.
  13. Adam Paetznick & Ben W. Reichardt (2013): Universal Fault-Tolerant Quantum Computation with Only Transversal Gates and Error Correction. Phys. Rev. Lett. 111, pp. 090505, doi:10.1103/PhysRevLett.111.090505. Available at
  14. Simon Perdrix (2007): Quantum Patterns and Types for Entanglement and Separability. Electron. Notes Theor. Comput. Sci. 170, pp. 125–138, doi:10.1016/j.entcs.2006.12.015. Proc. QPL '05.
  15. Simon Perdrix (2008): Quantum Entanglement Analysis Based on Abstract Interpretation. In: Static Analysis, pp. 270–282, doi:10.1007/978-3-540-69166-2_18. Available at
  16. Benjamin C. Pierce (2002): Types and Programming Languages. MIT Press.
  17. Robert Rand, Jennifer Paykin, Dong-Ho Lee & Steve Zdancewic (2018): ReQWIRE: Reasoning about Reversible Quantum Circuits. In: Proc. QPL '18, pp. 299–312, doi:10.4204/EPTCS.287.17.
  18. A. Sabelfeld & A. C. Myers (2006): Language-based information-flow Security. IEEE J. Sel. Areas Commun. 21(1), pp. 5–19, doi:10.1109/JSAC.2002.806121. Available at
  19. A. M. Steane (1997): Active Stabilization, Quantum Computation, and Quantum State Synthesis. Phys. Rev. Lett. 78, pp. 2252–2255, doi:10.1103/PhysRevLett.78.2252. Available at
  20. Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz & Martin Roetteler (2018): Q#: Enabling Scalable Quantum Computing and Development with a High-level DSL. In: Proc. Real World Domain Specific Languages Workshop (RWDSL) 2018, pp. 7:1–7:10, doi:10.1145/3183895.3183901. Available at
  21. Theodore J. Yoder (2017): Universal fault-tolerant quantum computation with Bacon-Shor codes. arXiv preprint. Available at

Comments and questions to:
For website issues: