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:

PyZX: Large Scale Automated Diagrammatic Reasoning
Aleks Kissinger, John van de Wetering
arXiv (Cornell University) (2020) Vol. 318, pp. 229-241
Open Access | Times Cited: 109

Showing 1-25 of 109 citing articles:

Noisy intermediate-scale quantum algorithms
Kishor Bharti, Alba Cervera-Lierta, Thi Ha Kyaw, et al.
Reviews of Modern Physics (2022) Vol. 94, Iss. 1
Open Access | Times Cited: 1049
t|ket⟩: a retargetable compiler for NISQ devices
Seyon Sivarajah, Silas Dilkes, Alexander Cowtan, et al.
Quantum Science and Technology (2020) Vol. 6, Iss. 1, pp. 014003-014003
Open Access | Times Cited: 344
Yao.jl: Extensible, Efficient Framework for Quantum Algorithm Design
Xiu-Zhe Luo, Jin-Guo Liu, Pan Zhang, et al.
Quantum (2020) Vol. 4, pp. 341-341
Open Access | Times Cited: 127
TEQUILA: a platform for rapid development of quantum algorithms
Jakob S. Kottmann, Sumner Alperin-Lea, Teresa Tamayo-Mendoza, et al.
Quantum Science and Technology (2021) Vol. 6, Iss. 2, pp. 024009-024009
Open Access | Times Cited: 73
There and back again: A circuit extraction tale
Miriam Backens, Hector Miller-Bakewell, Giovanni de Felice, et al.
Quantum (2021) Vol. 5, pp. 421-421
Open Access | Times Cited: 61
Automating Equational Proofs in Dirac Notation
Yingte Xu, Gilles Barthe, Li Zhou
Proceedings of the ACM on Programming Languages (2025) Vol. 9, Iss. POPL, pp. 1227-1259
Open Access | Times Cited: 1
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu, Fabio Zanasi
(2025)
Closed Access | Times Cited: 1
Graph-theoretic Simplification of Quantum Circuits with the ZX-calculus
Ross Duncan, Aleks Kissinger, Simon Perdrix, et al.
Quantum (2020) Vol. 4, pp. 279-279
Open Access | Times Cited: 67
Quantum abstract interpretation
Nengkun Yu, Jens Palsberg
(2021), pp. 542-558
Closed Access | Times Cited: 48
Simulating quantum circuits with ZX-calculus reduced stabiliser decompositions
Aleks Kissinger, John van de Wetering
Quantum Science and Technology (2022) Vol. 7, Iss. 4, pp. 044001-044001
Open Access | Times Cited: 34
Quartz: superoptimization of Quantum circuits
Mingkuan Xu, Zikun Li, Oded Padon, et al.
(2022), pp. 625-640
Open Access | Times Cited: 32
Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels
Gushu Li, Anbang Wu, Yunong Shi, et al.
(2022), pp. 554-569
Open Access | Times Cited: 31
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, et al.
Journal of the ACM (2022) Vol. 69, Iss. 2, pp. 1-58
Open Access | Times Cited: 29
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: 20
A High Performance Compiler for Very Large Scale Surface Code Computations
G. D. Watkins, Hoang Minh Nguyen, Keelan Watkins, et al.
Quantum (2024) Vol. 8, pp. 1354-1354
Open Access | Times Cited: 8
SuperNOVA: Design Strategies and Opportunities for Interactive Visualization in Computational Notebooks
Zijie J. Wang, David Munechika, Seongmin Lee, et al.
(2024), pp. 1-17
Open Access | Times Cited: 7
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 ZX calculus is a language for surface code lattice surgery
Niel de Beaudrap, Dominic Horsman
Quantum (2020) Vol. 4, pp. 218-218
Open Access | Times Cited: 45
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
Distributing circuits over heterogeneous, modular quantum computing network architectures
Pablo Andrés-Martí­nez, Tim Forrer, Daniel Mills, et al.
Quantum Science and Technology (2024) Vol. 9, Iss. 4, pp. 045021-045021
Open Access | Times Cited: 5
DisCoPy: Monoidal Categories in Python
Giovanni de Felice, Alexis Toumi, Bob Coecke
Electronic Proceedings in Theoretical Computer Science (2021) Vol. 333, pp. 183-197
Open Access | Times Cited: 29
LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper
Scott Wesley
Lecture notes in computer science (2024), pp. 142-160
Closed Access | Times Cited: 4
Page 1 - Next Page

Scroll to top