Verification of Quantum Computation: An Overview of Existing Approaches
Top Cited Papers
Open Access
- 6 July 2018
- journal article
- research article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 63 (4) , 715-808
Abstract
No abstract availableKeywords
All Related Versions
Funding Information
- Engineering and Physical Sciences Research Council (EP/N003829/1)
- Engineering and Physical Sciences Research Council (EP/M013243/1)
- Engineering and Physical Sciences Research Council (EP/K04057X/2)
This publication has 88 references indexed in Scilit:
- Guest columnACM SIGACT News, 2013
- Guest columnACM SIGACT News, 2011
- Measurement-based quantum computationNature Physics, 2009
- Experimental Quantum Computing without EntanglementPhysical Review Letters, 2008
- Realizable Hamiltonians for universal adiabatic quantum computersPhysical Review A, 2008
- Determinism in the one-way modelPhysical Review A, 2006
- A fault-tolerant one-way quantum computerAnnals of Physics, 2006
- IP = PSPACEJournal of the ACM, 1992
- Simple unified form for the major no-hidden-variables theoremsPhysical Review Letters, 1990
- Probability relations between separated systemsMathematical Proceedings of the Cambridge Philosophical Society, 1936