Bibliography on Quantum Programming Languages

This bibliography was originally compiled in association with my article Quantum Programming Languages: Survey and Bibliography (Mathematical Structures in Computer Science 16(4), 2006). Its original topic was quantum programming languages, but this has widened to include semantics of quantum computation and structural approaches to quantum computing.

The complete bibliography as a BibTeX file is here.

The authors of the papers, with links to their home pages, are listed here.

Please send me details of any corrections or omissions: simon at dcs.gla.ac.uk. I will do my best to keep the bibliography up to date.

The tools for processing the bibliography into HTML and for searching were developed by Richard Jones.

Simon Gay

Last updated 22 May 2007.

[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

D

[DanosV:oneqvt] Vincent Danos, Elham Kashefi, and Prakash Panangaden. 1-qubit versus 2-qubit measurement-based quantum computation, 2005. Manuscript. Available here.

[DanosV:parrru] Vincent Danos, Elham Kashefi, and Prakash Panangaden. Parsimonious and robust realizations of unitary maps in the one-way model. Physical Review A, 72:064301, 2005. Also arXiv:quant-ph/0411071. Available here.

[DanosV:dismbq] Vincent Danos, Ellie D'Hondt, Elham Kashefi, and Prakash Panangaden. Distributed measurement-based quantum computation. In Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), volume 170 of Electronic Notes in Theoretical Computer Science, pages 73-94, 2007. Also arXiv:quant-ph/0506070. Available here.

[DanosV:meac] Vincent Danos, Elham Kashefi, and Prakash Panangaden. The measurement calculus. Journal of the ACM, 54(2), 2007. Preliminary version in arXiv:quant-ph/0412135. Available here.

[DanosV:detom] Vincent Danos and Elham Kashefi. Determinism in the one-way model. Physical Review A, 74:052310, 2006. Also arXiv:quant-ph/0506062. Available here.

[DanosV:paumu] Vincent Danos and Elham Kashefi. Pauli measurements are universal. In Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), volume 170 of Electronic Notes in Theoretical Computer Science, pages 95-100, 2007. Available here.

[DeutschD:quatct] David Deutsch. Quantum theory, the Church-Turing principle and the universal quantum computer. Proceedings of the Royal Society of London A, 400:97-117, 1985. Available here.

[DHondtE:reaqk] Ellie D'Hondt and Prakash Panangaden. Reasoning about quantum knowledge. In Proceedings of FSTTCS'05, volume 3821 of Lecture Notes in Computer Science, 2005. Available here.

[DHondtE:compwg] Ellie D'Hondt and Prakash Panangaden. The computational power of the W and GHZ states. Quantum Information and Computation, 6(2):173-183, 2006. Available here.

[DHondtE:quawp] Ellie D'Hondt and Prakash Panangaden. Quantum weakest preconditions. Mathematical Structures in Computer Science, 16(3):429-451, 2006. Preliminary version in [SelingerP:qpl2004]; also arXiv:quant-ph/0501157. Available here.

[DHondtE:disqcm] Ellie D'Hondt. Distributed quantum computation: a measurement-based approach. PhD thesis, Vrije Universiteit Brussel, 2005. Available here.

[DiPierroA:quacp] Alessandra Di Pierro and Herbert Wiklicky. Quantum constraint programming. In Proceedings of the APPSIA-GULP-PRODE Joint Conference on Declarative Programming, 2001. Online proceedings at http://www.di.uevora.pt/˜agp01/accepted.html.Available here.

[DuncanR:belnbs] Ross Duncan. Believe it or not, Bell states are a model of multiplicative linear logic. Technical Report PRG-RR-04-18, Programming Research Group, Oxford University Computing Laboratory, 2004. Available here.

[DuncanR:typqc] Ross Duncan. Types for Quantum Computing. DPhil thesis, University of Oxford, 2007. Available here.

[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z]

This file was generated by bib2htmlwritten by
Richard Jones
University of Kent at Canterbury