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:
Twist: sound reasoning for purity and entanglement in Quantum programs
Charles Yuan, Christopher M. McNally, Michael Carbin
Proceedings of the ACM on Programming Languages (2022) Vol. 6, Iss. POPL, pp. 1-32
Open Access | Times Cited: 17
Charles Yuan, Christopher M. McNally, Michael Carbin
Proceedings of the ACM on Programming Languages (2022) Vol. 6, Iss. POPL, pp. 1-32
Open Access | Times Cited: 17
Showing 17 citing articles:
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: 19
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: 19
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
Marco Lewis, Sadegh Soudjani, Paolo Zuliani
ACM Transactions on Quantum Computing (2023) Vol. 5, Iss. 1, pp. 1-35
Open Access | Times Cited: 14
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
K Hirata, Chris Heunen
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 155-182
Open Access
K Hirata, Chris Heunen
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 155-182
Open Access
A Static Analysis of Entanglement
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
Lecture notes in computer science (2025), pp. 50-71
Closed Access
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
Lecture notes in computer science (2025), pp. 50-71
Closed Access
ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language
Austin J. Adams, Sharjeel Khan, Arjun S. Bhamra, et al.
(2025), pp. 444-458
Closed Access
Austin J. Adams, Sharjeel Khan, Arjun S. Bhamra, et al.
(2025), pp. 444-458
Closed Access
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
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
Static Entanglement Analysis of Quantum Programs
Shangzhou Xia, Jianjun Zhao
(2023)
Open Access | Times Cited: 6
Shangzhou Xia, Jianjun Zhao
(2023)
Open Access | Times Cited: 6
Abstracting Entanglement
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
(2024) Vol. 1998, pp. 34-41
Open Access | Times Cited: 1
Nicola Assolini, Alessandra Di Pierro, Isabella Mastroeni
(2024) Vol. 1998, pp. 34-41
Open Access | Times Cited: 1
Semantic embedding for quantum algorithms
Zane M. Rossi, Isaac L. Chuang
Journal of Mathematical Physics (2023) Vol. 64, Iss. 12
Open Access | Times Cited: 3
Zane M. Rossi, Isaac L. Chuang
Journal of Mathematical Physics (2023) Vol. 64, Iss. 12
Open Access | Times Cited: 3
Quantum Control Machine: The Limits of Control Flow in Quantum Programming
Charles Yuan, Agnes Villanyi, Michael Carbin
arXiv (Cornell University) (2023)
Open Access | Times Cited: 2
Charles Yuan, Agnes Villanyi, Michael Carbin
arXiv (Cornell University) (2023)
Open Access | Times Cited: 2
Charter: Identifying the Most-Critical Gate Operations in Quantum Circuits via Amplified Gate Reversibility
Tirthak Patel, Daniel Silver, Devesh Tiwari
(2022), pp. 1-16
Closed Access | Times Cited: 3
Tirthak Patel, Daniel Silver, Devesh Tiwari
(2022), pp. 1-16
Closed Access | Times Cited: 3
MorphQPV: Exploiting Isomorphism in Quantum Programs to Facilitate Confident Verification
Siwei Tan, Debin Xiang, Liqiang Lu, et al.
(2024), pp. 671-688
Closed Access
Siwei Tan, Debin Xiang, Liqiang Lu, et al.
(2024), pp. 671-688
Closed Access
Approximate Relational Reasoning for Quantum Programs
Peng Yan, Hanru Jiang, Nengkun Yu
Lecture notes in computer science (2024), pp. 495-519
Closed Access
Peng Yan, Hanru Jiang, Nengkun Yu
Lecture notes in computer science (2024), pp. 495-519
Closed Access
Integrating Quantum Algorithms into Drone Navigational Modules
Subhi Hammadi Hamdoun, Ayman Basheer Yousif, Mohammed Jabbar Hussein, et al.
(2024), pp. 225-238
Closed Access
Subhi Hammadi Hamdoun, Ayman Basheer Yousif, Mohammed Jabbar Hussein, et al.
(2024), pp. 225-238
Closed Access
Combining Hard and Soft Constraints in Quantum Constraint-Satisfaction Systems
Ellis Wilson, Frank Mueller, Scott Pakin
(2022), pp. 1-14
Closed Access | Times Cited: 1
Ellis Wilson, Frank Mueller, Scott Pakin
(2022), pp. 1-14
Closed Access | Times Cited: 1
