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]

U

[UdrescuM:usihdq] Mihai Udrescu, Lucian Prodan, and Mircea Vladutiu. Using HDLs for describing quantum circuits: a framework for efficient quantum algorithm simulation. In Proceedings of the 1st ACM Conference on Computing Frontiers. ACM Press, 2004. Available here.

[UnruhD:forsqc] Dominique Unruh. Formal security in quantum cryptology. Master's thesis, Institut für Algorithmen und Kognitive Systeme, University of Karlsruhe, 2002. Available here.

[UnruhD:simsqp] Dominique Unruh. Simulatable security for quantum protocols. arXiv:quant-ph/0409125, 2004. Available here.

[UnruhD:quapl] Dominique Unruh. Quantum programming languages. Informatik - Forschung und Entwicklung, 21(1-2):55-63, 2006. Available here.

[UnruhD:quapco] Dominique Unruh. Quantum programs with classical output streams: (extended abstract). In Proceedings of the 3rd International Workshop on Quantum Programming Languages (QPL 2005), volume 170 of Electronic Notes in Theoretical Computer Science, pages 165-184, 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