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:

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: 26

Showing 1-25 of 26 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: 57
Unifying flavors of fault tolerance with the ZX calculus
H. Bombin, Daniel Litinski, Naomi Nickerson, et al.
Quantum (2024) Vol. 8, pp. 1379-1379
Open Access | Times Cited: 18
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
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 by Model Counting
Jingyi Mei, Tim Coopmans, Marcello Bonsangue, et al.
Lecture notes in computer science (2024), pp. 401-421
Open Access | Times Cited: 5
Simulating Quantum Circuits by Model Counting
Jingyi Mei, Marcello Bonsangue, Alfons Laarman
Lecture notes in computer science (2024), pp. 555-578
Closed Access | Times Cited: 5
BQSim: GPU-accelerated Batch Quantum Circuit Simulation using Decision Diagram
Shui Jiang, Yi-Hua Chung, Chih-Chun Chang, et al.
(2025), pp. 79-94
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
On the need for effective tools for debugging quantum programs
Olivia Di Matteo
(2024), pp. 17-20
Open Access | Times Cited: 2
Enriching Diagrams with Algebraic Operations
Alejandro Villoria, Henning Basold, Alfons Laarman
Lecture notes in computer science (2024), pp. 121-143
Open Access | Times Cited: 2
Symbolic model checking quantum circuits in Maude
Canh Minh, Kazuhiro Ogata
PeerJ Computer Science (2024) Vol. 10, pp. e2098-e2098
Open Access | Times Cited: 2
Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude
Canh Minh, Kazuhiro Ogata
Lecture notes in computer science (2024), pp. 84-103
Closed Access | Times Cited: 2
Automated Reasoning in Quantum Circuit Compilation
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, et al.
Lecture notes in computer science (2024), pp. 106-134
Closed Access | Times Cited: 2
Fast Equivalence Checking of Quantum Circuits of Clifford Gates
Dimitrios Thanos, Tim Coopmans, Alfons Laarman
Lecture notes in computer science (2023), pp. 199-216
Closed Access | Times Cited: 5
Unifying flavors of fault tolerance with the ZX calculus
H. Bombin, Daniel Litinski, Naomi Nickerson, et al.
arXiv (Cornell University) (2023)
Open Access | Times Cited: 4
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
Quantum calculi and formalisms for system and network security: A bibliographic insights and synoptic review
Adarsh Kumar, Mustapha Hedabou, Diego Augusto de Jesús Pacheco
IET Quantum Communication (2024) Vol. 5, Iss. 4, pp. 486-515
Open Access | Times Cited: 1
Optimizing ZX-Diagrams with Deep Reinforcement Learning
M Nägele, Florian Marquardt
Machine Learning Science and Technology (2024) Vol. 5, Iss. 3, pp. 035077-035077
Open Access | Times Cited: 1
Scalable Autograding for Quantum Programming Assignments
Jonathan Beaumont, Kathryn Wakevainen
(2024), pp. 457-463
Closed Access
Model-Based Testing of Quantum Computations
Malte Lochau, Ina Schaefer
Lecture notes in computer science (2024), pp. 127-147
Closed Access
Type-Based Verification of Connectivity Constraints in Lattice Surgery
Ryo Wakizaka, Yasunari Suzuki, Atsushi Igarashi
Lecture notes in computer science (2024), pp. 216-237
Open Access
Disentangling the Gap Between Quantum and #SAT
Jingyi Mei, Jan Martens, Alfons Laarman
Lecture notes in computer science (2024), pp. 17-40
Closed Access
Contraction Heuristics for Tensor Decision Diagrams
Camilla Marie Larsen, S Olsen, Kim G. Larsen, et al.
Entropy (2024) Vol. 26, Iss. 12, pp. 1058-1058
Open Access
Multi-controlled Phase Gate Synthesis with ZX-calculus applied to Neutral Atom Hardware
Korbinian Staudacher, L. Schmid, Johannes Zeiher, et al.
Electronic Proceedings in Theoretical Computer Science (2024) Vol. 406, pp. 96-116
Open Access
Decision Diagrams for Symbolic Verification of Quantum Circuits
Xin Hong, Wei‐Jia Huang, Wei‐Chen Chien, et al.
2022 IEEE International Conference on Quantum Computing and Engineering (QCE) (2023)
Open Access | Times Cited: 1
Page 1 - Next Page

Scroll to top