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:
Equivalence checking paradigms in quantum circuit design
Tom Peham, Lukas Burgholzer, Robert Wille
Proceedings of the 59th ACM/IEEE Design Automation Conference (2022)
Open Access | Times Cited: 11
Tom Peham, Lukas Burgholzer, Robert Wille
Proceedings of the 59th ACM/IEEE Design Automation Conference (2022)
Open Access | Times Cited: 11
Showing 11 citing articles:
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
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
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
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
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
qTask: Task-parallel Quantum Circuit Simulation with Incrementality
Tsung‐Wei Huang
2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS) (2023), pp. 746-756
Open Access | Times Cited: 11
Tsung‐Wei Huang
2022 IEEE International Parallel and Distributed Processing Symposium (IPDPS) (2023), pp. 746-756
Open Access | Times Cited: 11
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
Lukas Burgholzer, Yannick Stade, Tom Peham, et al.
The Journal of Open Source Software (2025) Vol. 10, Iss. 108, pp. 7478-7478
Open Access
Equivalence Checking of Parameterized Quantum Circuits
Tom Peham, Lukas Burgholzer, Robert Wille
Proceedings of the 28th Asia and South Pacific Design Automation Conference (2023)
Open Access | Times Cited: 9
Tom Peham, Lukas Burgholzer, Robert Wille
Proceedings of the 28th Asia and South Pacific Design Automation Conference (2023)
Open Access | Times Cited: 9
On the need for effective tools for debugging quantum programs
Olivia Di Matteo
(2024), pp. 17-20
Open Access | Times Cited: 3
Olivia Di Matteo
(2024), pp. 17-20
Open Access | Times Cited: 3
Challenges for Quantum Software Engineering: An Industrial Application Scenario Perspective
Cecilia Carbonelli, Michael Felderer, Matthias Jung, et al.
(2024), pp. 311-335
Closed Access | Times Cited: 1
Cecilia Carbonelli, Michael Felderer, Matthias Jung, et al.
(2024), pp. 311-335
Closed Access | Times Cited: 1
ParaGnosis: A Tool for Parallel Knowledge Compilation
Giso H. Dal, Alfons Laarman, Peter Lucas
Lecture notes in computer science (2023), pp. 22-37
Closed Access | Times Cited: 1
Giso H. Dal, Alfons Laarman, Peter Lucas
Lecture notes in computer science (2023), pp. 22-37
Closed Access | Times Cited: 1
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
Scalable Autograding for Quantum Programming Assignments
Jonathan Beaumont, Kathryn Wakevainen
(2024), pp. 457-463
Closed Access
Jonathan Beaumont, Kathryn Wakevainen
(2024), pp. 457-463
Closed Access
