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:

Optimising Clifford Circuits with Quantomatic
Andrew Fagan, Ross Duncan
arXiv (Cornell University) (2019) Vol. 287, pp. 85-105
Open Access | Times Cited: 20

Showing 20 citing articles:

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
Phase Gadget Synthesis for Shallow Circuits
Alexander Cowtan, Silas Dilkes, Ross Duncan, et al.
arXiv (Cornell University) (2020) Vol. 318, pp. 213-228
Open Access | Times Cited: 110
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
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
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
Application-Motivated, Holistic Benchmarking of a Full Quantum Computing Stack
Daniel Mills, Seyon Sivarajah, Travis L. Scholten, et al.
Quantum (2021) Vol. 5, pp. 415-415
Open Access | Times Cited: 40
An Automated Deductive Verification Framework for Circuit-building Quantum Programs
Christophe Chareton, Sébastien Bardin, François Bobot, et al.
Lecture notes in computer science (2021), pp. 148-177
Open Access | Times Cited: 34
A verified optimizer for Quantum circuits
Kesha Hietala, Robert W. Rand, Shih-Han Hung, et al.
Proceedings of the ACM on Programming Languages (2021) Vol. 5, Iss. POPL, pp. 1-29
Open Access | Times Cited: 21
Logical Clifford Synthesis for Stabilizer Codes
Narayanan Rengaswamy, Robert Calderbank, Swanand Kadhe, et al.
IEEE Transactions on Quantum Engineering (2020) Vol. 1, pp. 1-17
Open Access | Times Cited: 16
Operads for complex system design specification, analysis and synthesis
John D. Foley, Spencer Breiner, Eswaran Subrahmanian, et al.
Proceedings of the Royal Society A Mathematical Physical and Engineering Sciences (2021) Vol. 477, Iss. 2250
Open Access | Times Cited: 14
Completeness of the ZH-calculus
Miriam Backens, Aleks Kissinger, Hector Miller-Bakewell, et al.
Compositionality (2023) Vol. 5, pp. 5-5
Open Access | Times Cited: 5
A Generic Compilation Strategy for the Unitary Coupled Cluster Ansatz
Alexander Cowtan, Will Simmons, Ross Duncan
arXiv (Cornell University) (2020)
Closed Access | Times Cited: 11
Relating Measurement Patterns to Circuits via Pauli Flow
Will Simmons
arXiv (Cornell University) (2021) Vol. 343, pp. 50-101
Open Access | Times Cited: 10
ZX-Calculus and Extended Wolfram Model Systems II: Fast Diagrammatic Reasoning with an Application to Quantum Circuit Simplification
Jonathan Gorard, Manojna Namuduri, Xerxes D. Arsiwalla
arXiv (Cornell University) (2021)
Open Access | Times Cited: 9
Completeness of the Phase-free ZH-calculus
John van de Wetering, Sal Wolffs
arXiv (Cornell University) (2019)
Open Access | Times Cited: 9
Graph Optimization Perspective for Low-Depth Trotter-Suzuki Decomposition
Albert T. Schmitz, Nicolas P. D. Sawaya, Sonika Johri, et al.
arXiv (Cornell University) (2021)
Open Access | Times Cited: 8
Verified Optimization in a Quantum Intermediate Representation
Kesha Hietala, Robert W. Rand, Shih-Han Hung, et al.
arXiv (Cornell University) (2019)
Closed Access | Times Cited: 7
A Deductive Verification Framework for Circuit-building Quantum Programs
Christophe Chareton, Sébastien Bardin, François Bobot, et al.
arXiv (Cornell University) (2020)
Closed Access | Times Cited: 5
Classical Coding Approaches to Quantum Applications
Narayanan Rengaswamy
arXiv (Cornell University) (2020)
Open Access | Times Cited: 2
Circuit Relations for Real Stabilizers: Towards TOF+H.
Cole Comfort
arXiv (Cornell University) (2019)
Closed Access
Page 1

Scroll to top