Open Access Helper

OpenAlex Citation Counts

OpenAlex Citations Logo

OpenAlex is a bibliographic catalogue of scientific papers, authors and institutions accessible in open access mode, named after the Library of Alexandria. It's citation coverage is excellent and I hope you will find utility in this listing of citing articles!

If you click the article title, you'll navigate to the article, as listed in CrossRef. If you click the Open Access links, you'll navigate to the "best Open Access location". Clicking the citation count will open this listing for that article. Lastly at the bottom of the page, you'll find basic pagination options.

Requested Article:

An Automated Deductive Verification Framework for Circuit-building Quantum Programs
Christophe Chareton, Sébastien Bardin, François Bobot, et al.
Lecture notes in computer science (2021), pp. 148-177
Open Access | Times Cited: 34

Showing 1-25 of 34 citing articles:

Automating Equational Proofs in Dirac Notation
Yingte Xu, Gilles Barthe, Li Zhou
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 1227-1259
Open Access | Times Cited: 1
Verifying Quantum Circuits with Level-Synchronized Tree Automata
Parosh Aziz Abdulla, Y. C. Chen, Yu‐Fang Chen, et al.
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 923-953
Open Access | Times Cited: 1
CoqQ: Foundational Verification of Quantum Programs
Li Zhou, Gilles Barthe, Pierre-Yves Strub, et al.
Proceedings of the ACM on Programming Languages (2023) Vol. 7, Iss. POPL, pp. 833-865
Open Access | Times Cited: 20
An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
Yu‐Fang Chen, Kai-Min Chung, Ondřej Lengál, et al.
Proceedings of the ACM on Programming Languages (2023) Vol. 7, Iss. PLDI, pp. 1218-1243
Open Access | Times Cited: 20
symQV: Automated Symbolic Verification of Quantum Programs
Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
Lecture notes in computer science (2023), pp. 181-198
Closed Access | Times Cited: 17
Formal Verification of Quantum Programs: Theory, Tools, and Challenges
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
ACM Transactions on Quantum Computing (2023) Vol. 5, Iss. 1, pp. 1-35
Open Access | Times Cited: 14
A Case for Synthesis of Recursive Quantum Unitary Programs
Haowei Deng, Runzhou Tao, Yuxiang Peng, et al.
Proceedings of the ACM on Programming Languages (2024) Vol. 8, Iss. POPL, pp. 1759-1788
Open Access | Times Cited: 5
Giallar: push-button verification for the qiskit Quantum compiler
Runzhou Tao, Yunong Shi, Jianan Yao, et al.
(2022)
Open Access | Times Cited: 18
Synthesizing Quantum-Circuit Optimizers
Amanda Xu, Abtin Molavi, Lauren Pick, et al.
Proceedings of the ACM on Programming Languages (2023) Vol. 7, Iss. PLDI, pp. 835-859
Open Access | Times Cited: 10
AutoQ 2.0: From Verification of Quantum Circuits to Verification of Quantum Programs
Yu‐Fang Chen, Kai-Min Chung, Min-Hsiu Hsieh, et al.
Lecture notes in computer science (2025), pp. 87-108
Closed Access
A Quantum Algorithm for Assessing Node Importance in the st-Connectivity Attack
Iain Burge, Michel Barbeau, Joaquin Garcia‐Alfaro
IFIP advances in information and communication technology (2025), pp. 234-248
Closed Access
On the need for effective tools for debugging quantum programs
Olivia Di Matteo
(2024), pp. 17-20
Open Access | Times Cited: 3
AutoQ: An Automata-Based Quantum Circuit Verifier
Yu‐Fang Chen, Kai-Min Chung, Ondřej Lengál, et al.
Lecture notes in computer science (2023), pp. 139-153
Open Access | Times Cited: 8
A Formalization of Core Why3 in Coq
Joshua Cohen, Philip Johnson-Freyd
Proceedings of the ACM on Programming Languages (2024) Vol. 8, Iss. POPL, pp. 1789-1818
Open Access | Times Cited: 2
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective
Giovanni De Micheli, Jie-Hong R. Jiang, Robert W. Rand, et al.
IEEE Journal on Emerging and Selected Topics in Circuits and Systems (2022) Vol. 12, Iss. 3, pp. 584-601
Open Access | Times Cited: 10
A formally certified end-to-end implementation of Shor’s factorization algorithm
Yuxiang Peng, Kesha Hietala, Runzhou Tao, et al.
Proceedings of the National Academy of Sciences (2023) Vol. 120, Iss. 21
Open Access | Times Cited: 5
Abstraqt: Analysis of Quantum Circuits via Abstract Stabilizer Simulation
Benjamin Bichsel, Anouk Paradis, Maximilian Baader, et al.
Quantum (2023) Vol. 7, pp. 1185-1185
Open Access | Times Cited: 5
Verified compilation of Quantum oracles
Liyi Li, Finn Voichick, Kesha Hietala, et al.
Proceedings of the ACM on Programming Languages (2022) Vol. 6, Iss. OOPSLA2, pp. 589-615
Open Access | Times Cited: 6
Understanding the Impact of Quantum Noise on Quantum Programs
Zhonghao Pan, Yang Feng, Zhiyuan Li, et al.
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) (2023), pp. 426-437
Closed Access | Times Cited: 3
Design by Contract Framework for Quantum Software
Masaomi Yamaguchi, Nobukazu Yoshioka
(2023), pp. 24-25
Open Access | Times Cited: 3
QIn: Enabling Formal Methods to Deal with Quantum Circuits
Jonas Klamroth, Bernhard Beckert, Max Scheerer, et al.
(2023)
Closed Access | Times Cited: 3
Formal Methods for Quantum Programs: A Survey
Christophe Chareton, Sébastien Bardin, Dong-Ho Lee, et al.
arXiv (Cornell University) (2021)
Open Access | Times Cited: 6
Symbolic Reasoning About Quantum Circuits in Coq
Wenjun Shi, Qinxiang Cao, Yuxin Deng, et al.
Journal of Computer Science and Technology (2021) Vol. 36, Iss. 6, pp. 1291-1306
Closed Access | Times Cited: 6
Automated Verification of Silq Quantum Programs using SMT Solvers
Marco Lewis, Paolo Zuliani, Sadegh Soudjani
(2024), pp. 125-134
Open Access
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq
Wenjun Shi, Qinxiang Cao, Yuxin Deng
Journal of Circuits Systems and Computers (2023) Vol. 33, Iss. 06
Closed Access | Times Cited: 1
Page 1 - Next Page

Scroll to top