Verification of Quantum Computation: An Overview of Existing Approaches

Alexandru Gheorghiu; Theodoros Kapourniotis; Elham Kashefi

doi:10.1007/s00224-018-9872-3

Article Dans Une Revue Theory of Computing Systems Année : 2019

Verification of Quantum Computation: An Overview of Existing Approaches

, , (1, 2)

1
2

Alexandru Gheorghiu

Fonction : Auteur

Theodoros Kapourniotis

Fonction : Auteur

Elham Kashefi

Fonction : Auteur
PersonId : 1307893
IdHAL : elham-kashefi
ORCID : 0000-0001-6280-9604
IdRef : 235702323

Laboratory for the Foundations of Computer Science [Edinburgh]

Information Quantique [LIP6]

Domaines

Cryptographie et sécurité [cs.CR] Complexité [cs.CC] Physique Quantique [quant-ph]

Elham Kashefi : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02164412

Soumis le : mardi 25 juin 2019-09:51:50

Dernière modification le : mercredi 30 octobre 2024-13:32:18

Dates et versions

hal-02164412 , version 1 (25-06-2019)

Identifiants

HAL Id : hal-02164412 , version 1
ARXIV : 1709.06984
DOI : 10.1007/s00224-018-9872-3

Citer

Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi. Verification of Quantum Computation: An Overview of Existing Approaches. Theory of Computing Systems, 2019, 63 (4), pp.715-808. ⟨10.1007/s00224-018-9872-3⟩. ⟨hal-02164412⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LIP6 SORBONNE-UNIVERSITE SU-SCIENCES

69 Consultations

0 Téléchargements

Verification of Quantum Computation: An Overview of Existing Approaches

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager