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:
A Verified Optimizer for Quantum Circuits
Kesha Hietala, Robert W. Rand, Liyi Li, et al.
ACM Transactions on Programming Languages and Systems (2023) Vol. 45, Iss. 3, pp. 1-35
Open Access | Times Cited: 7
Kesha Hietala, Robert W. Rand, Liyi Li, et al.
ACM Transactions on Programming Languages and Systems (2023) Vol. 45, Iss. 3, pp. 1-35
Open Access | Times Cited: 7
Showing 7 citing articles:
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
Christophe Chareton, Sébastien Bardin, François Bobot, et al.
Lecture notes in computer science (2021), pp. 148-177
Open Access | Times Cited: 34
Equivalence Checking of Quantum Circuits With the ZX-Calculus
Tom Peham, Lukas Burgholzer, Robert Wille
IEEE Journal on Emerging and Selected Topics in Circuits and Systems (2022) Vol. 12, Iss. 3, pp. 662-675
Open Access | Times Cited: 27
Tom Peham, Lukas Burgholzer, Robert Wille
IEEE Journal on Emerging and Selected Topics in Circuits and Systems (2022) Vol. 12, Iss. 3, pp. 662-675
Open Access | Times Cited: 27
Quantum circuit unoptimization
Yusei Mori, Hideaki Hakoshima, Kyohei Sudo, et al.
Physical Review Research (2025) Vol. 7, Iss. 2
Open Access
Yusei Mori, Hideaki Hakoshima, Kyohei Sudo, et al.
Physical Review Research (2025) Vol. 7, Iss. 2
Open Access
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
(2022), pp. 657-670
Open Access | Times Cited: 9
Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
(2022), pp. 657-670
Open Access | Times Cited: 9
CoqMatrix: Formal matrix library with multiple models in Coq
Zhengpu Shi, Guojun Xie, Gang Chen
Journal of Systems Architecture (2023) Vol. 143, pp. 102986-102986
Closed Access | Times Cited: 4
Zhengpu Shi, Guojun Xie, Gang Chen
Journal of Systems Architecture (2023) Vol. 143, pp. 102986-102986
Closed Access | Times Cited: 4
Handling non-unitaries in quantum circuit equivalence checking
Lukas Burgholzer, Robert Wille
Proceedings of the 59th ACM/IEEE Design Automation Conference (2022), pp. 529-534
Open Access | Times Cited: 5
Lukas Burgholzer, Robert Wille
Proceedings of the 59th ACM/IEEE Design Automation Conference (2022), pp. 529-534
Open Access | Times Cited: 5
Predicting the Optimizability for Workflow Decisions
Burak Mete, Martin Schulz, Martin Ruefenacht
(2022), pp. 68-74
Closed Access | Times Cited: 4
Burak Mete, Martin Schulz, Martin Ruefenacht
(2022), pp. 68-74
Closed Access | Times Cited: 4
Enhancing Code Safety in Quantum Intermediate Representation
Junjie Luo, Jianjun Zhao
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2023), pp. 1771-1775
Closed Access | Times Cited: 1
Junjie Luo, Jianjun Zhao
2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2023), pp. 1771-1775
Closed Access | Times Cited: 1
