Concepedia

Quantum Circuit Verification

Quantum Circuit Verification is a formal method for ensuring that a quantum circuit correctly implements its intended quantum computation according to specified criteria, distinguishing it from related techniques by its focus on correctness validation through algorithmic or logical analysis.

94

Publications

4.6K

Citations

203

Authors

131

Institutions

Publications per year

2017–2026

70

Parents

Publications

94

On the complexity and verification of quantum random circuit sampling

Adam Bouland, Bill Fefferman, Chinmay Nirkhe et al. · Nature Physics · 2018 · 294 citations

, , +12

Classical Verification of Quantum Computations

Urmila Mahadev · 2018 · 172 citations

, , +12

Verification of Quantum Computation: An Overview of Existing Approaches

Alexandru Gheorghiu, Theodoros Kapourniotis, Elham Kashefi · Theory of Computing Systems · 2018 · 157 citations · Full text

, , +14

Experimental verification of quantum computation

Stefanie Barz, Joseph F. Fitzsimons, Elham Kashefi et al. · Nature Physics · 2013 · 144 citations · Full text

, , +14

Reliable quantum certification of photonic state preparations

Leandro Aolita, Christian Gogolin, Martin Kliesch et al. · Nature Communications · 2015 · 117 citations · Full text

, , +16

1–5 of 94

Authors

203

  1. RW
    Robert Wille

    Johannes Kepler University of Linz, Austria

    7 publications · 272 citations

    7

    h-index

  2. LB
    Lukas Burgholzer

    Johannes Kepler University of Linz, Austria

    7 publications · 272 citations

    7

    h-index

  3. MY
    Mingsheng Ying

    Tsinghua University, China

    6 publications · 356 citations

    6

    h-index

  4. JF
    Joseph F. Fitzsimons

    National University of Singapore, Singapore

    4 publications · 262 citations

    4

    h-index

  5. SY
    Shigeru Yamashita

    Ritsumeikan University, Japan

    4 publications · 110 citations

    4

    h-index

1–5 of 203

Institutions

131

  1. Centre for Quantum Technologies

    Singapore, Singapore

    8 h-index

    11 publications

    597 citations

  2. National University of Singapore

    Singapore, Singapore

    8 h-index

    11 publications

    597 citations

  3. Johannes Kepler University of Linz

    Linz, Austria

    8 h-index

    12 publications

    472 citations

  4. Tsinghua University

    Beijing, China

    8 h-index

    17 publications

    868 citations

  5. Chinese Academy of Sciences

    Beijing, China

    6 h-index

    10 publications

    510 citations

  6. Institute of Software

    Beijing, China

    5 h-index

    7 publications

    321 citations

  7. University of California, Berkeley

    Berkeley, United States

    5 h-index

    18 publications

    1.6K citations

  8. Freie Universität Berlin

    Berlin, Germany

    5 h-index

    14 publications

    1K citations

1–8 of 131

Venues

  1. Physical review. A/Physical review, A

    PRA · 9 publications · 294 citations

    9

    h-index

  2. 5

    h-index

  3. Proceedings of the ACM on Programming Languages

    PACMPL · 4 publications · 289 citations

    4

    h-index

  4. Nature Physics

    3 publications · 459 citations

    3

    h-index

  5. Physical Review Letters

    PRL · 3 publications · 193 citations

    3

    h-index

1–5