QWIRE Practice: Formal Verification of Quantum Circuits in Coq
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2018/02/27
-
Indian UGC (journal)
-
Citations2
-
Robert Rand University of Pennsylvania
-
Jennifer Paykin University of Pennsylvania
-
Steve Zdancewic University of Pennsylvania
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Citations
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
On incorrectness logic for Quantum programs | Proceedings of the ACM on Programming Languages |
| 8 | 2022 |
| Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers | Synthesis Lectures on Computer Architecture | 1 | 2020 |
Citations Analysis
| Category | Category Repetition |
|---|---|
| Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software | 1 |
The category
Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software 1
is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers and was published in 2020. The most recent citation comes from a 2022 study titled On incorrectness logic for Quantum programs. This article reached its peak citation in 2022, with 1 citations. It has been cited in 2 different journals. Among related journals, the Proceedings of the ACM on Programming Languages cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.