Concepedia

Quantum Program Verification

Quantum Program Verification is a formal method for ensuring that a quantum program adheres to specified correctness criteria, distinguishing itself from related approaches by its reliance on mathematical proofs and logical frameworks to validate the behavior of quantum computations against intended quantum semantics.

48

Publications

2.1K

Citations

101

Authors

41

Institutions

Publications per year

2017–2026

39

Parents

Publications

48

Floyd--hoare logic for quantum programs

Mingsheng Ying · ACM Transactions on Programming Languages and Systems · 2011 · 184 citations · Full text

, , +16

Quantum Software Engineering: Landscapes and Horizons

Jianjun Zhao · arXiv (Cornell University) · 2020 · 118 citations · Full text

, , +16

Projection-based runtime assertions for testing and debugging Quantum programs

Gushu Li, Li Zhou, Nengkun Yu et al. · Proceedings of the ACM on Programming Languages · 2020 · 112 citations · Full text

, , +17

Quantum Circuits for Dynamic Runtime Assertions in Quantum Computation

Ji Liu, Gregory T. Byrd, Huiyang Zhou · 2020 · 79 citations · Full text

, , +17

Property-based Testing of Quantum Programs in Q#

Shahin Honarvar, Mohammad Reza Mousavi, Rajagopal Nagarajan · 2020 · 77 citations

, , +16

1–5 of 48

Authors

101

  1. MY
    Mingsheng Ying

    Tsinghua University, China

    14 publications · 691 citations

    13

    h-index

  2. NY
    Nengkun Yu

    University of Technology Sydney, Australia

    7 publications · 372 citations

    7

    h-index

  3. LZ
    Li Zhou

    Tsinghua University, China

    7 publications · 280 citations

    7

    h-index

  4. YF
    Yuan Feng

    Tsinghua University, China

    4 publications · 152 citations

    4

    h-index

  5. GB
    Gilles Barthe

    IMDEA Software Institute, Spain

    3 publications · 75 citations

    3

    h-index

1–5 of 101

Institutions

41

  1. Tsinghua University

    Beijing, China

    16 h-index

    27 publications

    1.3K citations

  2. University of Technology Sydney

    Sydney, Australia

    14 h-index

    26 publications

    1.1K citations

  3. Chinese Academy of Sciences

    Beijing, China

    13 h-index

    18 publications

    706 citations

  4. Institute of Software

    Beijing, China

    12 h-index

    15 publications

    517 citations

  5. Max Planck Institute for Security and Privacy

    Bochum, Germany

    6 h-index

    7 publications

    249 citations

  6. Centre for Quantum Computation and Communication Technology

    Sydney, Australia

    4 h-index

    8 publications

    289 citations

  7. IMDEA Software Institute

    Pozuelo de Alarcón, Spain

    4 h-index

    4 publications

    103 citations

  8. University of Wisconsin–Madison

    Madison, United States

    3 h-index

    3 publications

    72 citations

1–8 of 41

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 8 publications · 323 citations

    8

    h-index

  2. arXiv (Cornell University)

    Repository · 4 publications · 156 citations

    4

    h-index

  3. 2

    h-index

  4. UTS ePRESS (University of Technology Sydney)

    Repository · 2 publications · 66 citations

    2

    h-index

  5. Theoretical Computer Science

    2 publications · 83 citations

    2

    h-index

1–5