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:

Quartz: superoptimization of Quantum circuits
Mingkuan Xu, Zikun Li, Oded Padon, et al.
(2022), pp. 625-640
Open Access | Times Cited: 32

Showing 1-25 of 32 citing articles:

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
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
Quarl: A Learning-Based Quantum Circuit Optimizer
Zikun Li, Jinjun Peng, Yixuan Mei, et al.
Proceedings of the ACM on Programming Languages (2024) Vol. 8, Iss. OOPSLA1, pp. 555-582
Open Access | Times Cited: 6
Quantum Circuit Optimization and Transpilation via Parameterized Circuit Instantiation
Ed Younis, Costin Iancu
2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (2022), pp. 465-475
Open Access | Times Cited: 23
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
Elivagar: Efficient Quantum Circuit Search for Classification
Sashwat Anagolum, Narges Alavisamani, Das P, et al.
(2024), pp. 336-353
Open Access | Times Cited: 4
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
A Comprehensive Review of Quantum Circuit Optimization: Current Trends and Future Directions
Krishnageetha Karuppasamy, Varun Puram, Stevens Johnson, et al.
Quantum Reports (2025) Vol. 7, Iss. 1, pp. 2-2
Open Access
Optimizing Quantum Circuits, Fast and Slow
Amanda Xu, Abtin Molavi, Swamit Tannu, et al.
(2025), pp. 777-793
Closed Access
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
Approximate encoding of quantum states using shallow circuits
Matan Ben-Dov, David Shnaiderov, Adi Makmal, et al.
npj Quantum Information (2024) Vol. 10, Iss. 1
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
The Imitation Game: Leveraging CopyCats for Robust Native Gate Selection in NISQ Programs
Poulami Das, Eric H. Kessler, Yunong Shi
(2023), pp. 787-801
Closed Access | Times Cited: 7
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
PCOAST: A Pauli-Based Quantum Circuit Optimization Framework
Jennifer Paykin, Albert T. Schmitz, Mohannad Ibrahim, et al.
2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (2023), pp. 715-726
Open Access | Times Cited: 6
Superstaq: Deep Optimization of Quantum Programs
Colin Campbell, Frederic T. Chong, Denny Dahl, et al.
2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (2023), pp. 1020-1032
Open Access | Times Cited: 6
HamLib: A library of Hamiltonians for benchmarking quantum algorithms and hardware
Nicolas P. D. Sawaya, Daniel Marti-Dafcik, Yang Ho, et al.
arXiv (Cornell University) (2023)
Open Access | Times Cited: 4
A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification)
Yu‐Fang Chen, Philipp Rümmer, Wei‐Lun Tsai
Lecture notes in computer science (2023), pp. 170-189
Open Access | Times Cited: 4
Quantivine: A Visualization Approach for Large-scale Quantum Circuit Representation and Analysis
Zhen Wen, Yihan Liu, Siwei Tan, et al.
IEEE Transactions on Visualization and Computer Graphics (2023), pp. 1-11
Closed Access | Times Cited: 4
The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation
Charles Yuan, Michael Carbin
Proceedings of the ACM on Programming Languages (2024) Vol. 8, Iss. PLDI, pp. 492-517
Open Access | Times Cited: 1
HamLib: A library of Hamiltonians for benchmarking quantum algorithms and hardware
Nicolas P. D. Sawaya, Daniel Marti-Dafcik, Yang Ho, et al.
Quantum (2024) Vol. 8, pp. 1559-1559
Open Access | Times Cited: 1
Approximate encoding of quantum states using shallow circuits
Matan Ben Dov, David Shnaiderov, Adi Makmal, et al.
arXiv (Cornell University) (2022)
Open Access | Times Cited: 6
Quantum Circuit Dataset Generator Approach for Deep Learning based Solutions
Níyazí Furkan Bar, Mehmet Karaköse
(2024)
Closed Access
AltGraph: Redesigning Quantum Circuits Using Generative Graph Models for Efficient Optimization
Collin Beaudoin, Koustubh Phalak, Swaroop Ghosh
Proceedings of the Great Lakes Symposium on VLSI 2022 (2024)
Closed Access
Symbolic Execution for Quantum Error Correction Programs
Fang Wang, Mingsheng Ying
Proceedings of the ACM on Programming Languages (2024) Vol. 8, Iss. PLDI, pp. 1040-1065
Open Access
Page 1 - Next Page

Scroll to top