Structured Quantum Programming

Structured Quantum Programming (2003)

Cached

Download Links

by Bernhard Ömer

Citations:

BibTeX

@MISC{Ömer03structuredquantum,
    author = {Bernhard Ömer},
    title = {Structured Quantum Programming},
    year = {2003}
}

Bookmark

OpenURL

Abstract

Citations

914	On computable numbers, with an application to the ”Entscheidungsproblem - Turing - 1936
734	A fast quantum mechanical algorithm for database search - Grover - 1996
712	Algorithms for Quantum Computation: Discrete Logrithms and Factoring - Shor - 1994
583	Quantum theory, the Church–Turing principle and the universal quantum computer - Deutsch - 1985
457	Can quantum-mechanical description of physical reality be considered complete? Phys - Einstein, Podolsky, et al. - 1935
226	Quantum computational networks - Deutsch - 1989
210	Notes on structured programming - Dijkstra - 1972
147	Quantum Computing - Gruska - 1999
138	Two-bit gates are universal for quantum computation - DiVincenzo - 1995
131	Quantum Algorithms Revisited - Cleve, Ekert, et al. - 1998
122	A fast Monte-Carlo test for primality - Solovay, Strassen - 1977
116	The computer as a physical system: A microscopic quantum mechanical Hamiltonian model of computers as represented by Turing machines - Benioff - 1980
111	Quantum computation with cold trapped ions - Cirac, Zoller - 1995
108	Flow Diagrams, Turing Machines and Languages with Only Two Formation Rules - Böhm, Jacopini - 1966
97	Computing Machinery and - Turing - 1950
85	An approximate Fourier transform useful in quantum computing, IBM - Coppersmith - 1994
65	Experimental realization of any discrete unitary operator - Reck, Zeilinger, et al. - 1994
60	Architecture for a large-scale ion trap quantum computer - Kielpinsky, Monroe, et al.
46	and Umesh Vazirani, Quantum complexity theory - Bernstein - 1997
42	et al., Elementary gates for quantum computation, Phys - Barenco - 1995
27	Quantum programming in QCL - Ömer - 2000
25	The Church-Turing thesis - Copeland - 2002
23	Logical reversibility of computation - Bennet - 1973
23	A procedural formalism for quantum computing - Ömer - 1998
19	The Unitary and Rotation Groups - Murnaghan - 1962
18	An Introduction to the Theory of Numbers Oxford - Hardy, Wright - 1979
14	Shor’s quantum algorithm for factorizing numbers - Ekert, Jozsa - 1996
14	Finite Combinatory Processes. Formulation 1 - Post - 1936
12	Miniaturisation of electronics and its limits - Keyes
7	Bicontinuous extension of reversible combinatorial functions - Toffoli - 1981
6	Quantum Algorithmic Information Theory - Svozil - 1996
5	Quantum computation: a tutorial - Braunstein - 1995
4	Feynman: Quantum mechanical computers - P - 1985
4	A Philosopher looks at quantum mechanics - Putnam - 1965
3	Time-space trade-offs for reversible computation - Bennet - 1989
3	Quantum Computers and Quantum Computer Languages: Quantum Assembly Language and Quantum C Language,” Cornell University Library, available at: http://arxiv.org /abs/quant-ph/0201082 - Blaha - 2002
3	Hoare: Structured Programming - Dahl, Dijkstra, et al. - 1972
3	Quantum Computer Simulators - Wallace
2	Aaby: Introduction to Programming Languages - Anthony - 1996
2	et al.: Efficient networks for quantum factoring - Beckman - 1996
2	Benioff: Models of Quantum Turing Machines - A - 1997
2	et al.: On universal and fault-tolerant quantum computing - Boykin - 1999
2	Quantum Physics 130A - Branson - 2001
2	Exhibit on Werner Heisenberg - Cassidy - 1998
2	et al.: NMR quantum computing: Realizing Shor's algorithm - Chuang - 2001
2	Lexikon - Geschichte der Physik A-Z - Hermann - 1978
2	Trausmuth: Quantentheorie - Kummer, R - 1988
2	Meglicki: Introduction to Quantum Computing (M743 - unknown authors - 2002
2	Omer: Simulation of Quantum Computers - unknown authors - 1996
2	Procedural Quantum Programming (2002 - Omer