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:

Advanced Equivalence Checking for Quantum Circuits
Lukas Burgholzer, Robert Wille
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2020) Vol. 40, Iss. 9, pp. 1810-1824
Open Access | Times Cited: 80

Showing 1-25 of 80 citing articles:

MQT Bench: Benchmarking Software and Design Automation Tools for Quantum Computing
Nils Quetschlich, Lukas Burgholzer, Robert Wille
Quantum (2023) Vol. 7, pp. 1062-1062
Open Access | Times Cited: 60
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
A Tensor Network based Decision Diagram for Representation of Quantum Circuits
Xin Hong, Xiangzhen Zhou, Sanjiang Li, et al.
ACM Transactions on Design Automation of Electronic Systems (2022) Vol. 27, Iss. 6, pp. 1-30
Open Access | Times Cited: 32
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
Equivalence, identity, and unitarity checking in black-box testing of quantum programs
Peixun Long, Jianjun Zhao
Journal of Systems and Software (2024) Vol. 211, pp. 112000-112000
Open Access | Times Cited: 6
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
The MQT Handbook : A Summary of Design Automation Tools and Software for Quantum Computing
Robert Wille, Lucas Berent, Tobias Förster, et al.
(2024), pp. 1-8
Closed Access | Times Cited: 6
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
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
Equivalence Checking of Quantum Circuits by Model Counting
Jingyi Mei, Tim Coopmans, Marcello Bonsangue, et al.
Lecture notes in computer science (2024), pp. 401-421
Open Access | Times Cited: 6
FlatDD: A High-Performance Quantum Circuit Simulator using Decision Diagram and Flat Array
Shui Jiang, Rongliang Fu, Lukas Burgholzer, et al.
(2024), pp. 388-399
Open Access | Times Cited: 5
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
Lukas Burgholzer, Rudy Raymond, Robert Wille
2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (2020), pp. 356-365
Open Access | Times Cited: 37
Decision Diagrams for Quantum Measurements with Shallow Circuits
Stefan Hillmich, Charles Hadfield, Rudy Raymond, et al.
2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (2021), pp. 24-34
Open Access | Times Cited: 29
Tools for Quantum Computing Based on Decision Diagrams
Robert Wille, Stefan Hillmich, Lukas Burgholzer
ACM Transactions on Quantum Computing (2022) Vol. 3, Iss. 3, pp. 1-17
Open Access | Times Cited: 18
Accurate BDD-based unitary operator manipulation for scalable and robust quantum circuit verification
Chun-Yu Wei, Yuan-Hung Tsai, Chiao-Shan Jhang, et al.
Proceedings of the 59th ACM/IEEE Design Automation Conference (2022), pp. 523-528
Closed Access | Times Cited: 18
Fast Simulation of High-Depth QAOA Circuits
Danylo Lykov, Ruslan Shaydulin, Yue Sun, et al.
(2023), pp. 1443-1451
Closed Access | Times Cited: 10
Weaver: A Retargetable Compiler Framework for FPQA Quantum Architectures
Oğuzcan Kırmemiş, Francisco Romão, Emmanouil Giortamis, et al.
(2025), pp. 299-316
Closed Access
Software Flow for Quantum Computing
Debjyoti Bhattacharjee, Amit Saha, Junde Li, et al.
Communications in computer and information science (2025), pp. 206-227
Closed Access
Distributing Quantum Circuits Using Formal Methods
Ali Ebnenasir, Kieran Young, Ronald Stempien
Lecture notes in computer science (2025), pp. 11-26
Closed Access
MQT Core: The Backbone of the Munich Quantum Toolkit (MQT)
Lukas Burgholzer, Yannick Stade, Tom Peham, et al.
The Journal of Open Source Software (2025) Vol. 10, Iss. 108, pp. 7478-7478
Open Access
Superposition‐Based Abstractions for Quantum Data Encoding Verification
Arun Govindankutty, Sudarshan K. Srinivasan
IET Quantum Communication (2025) Vol. 6, Iss. 1
Open 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
SliQSim: A Quantum Circuit Simulator and Solver for Probability and Statistics Queries
Tian-Fu Chen, Jie-Hong R. Jiang
Lecture notes in computer science (2025), pp. 129-138
Closed Access
Random Stimuli Generation for the Verification of Quantum Circuits
Lukas Burgholzer, Richard Kueng, Robert Wille
Proceedings of the 28th Asia and South Pacific Design Automation Conference (2021)
Open Access | Times Cited: 22
Approximate Equivalence Checking of Noisy Quantum Circuits
Xin Hong, Mingsheng Ying, Yuan Feng, et al.
(2021), pp. 637-642
Open Access | Times Cited: 22
Page 1 - Next Page

Scroll to top