On the public citation graph

A Verified Optimizer for Quantum Circuits

https://doi.org/10.1145/3604630
0 signed · 54 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/978-3-032-06770-8_14openalex-snapshot
Advanced Equivalence Checking for Quantum Circuits
inferredcites →https://doi.org/10.1007/978-3-319-63390-9_1openalex-snapshot
Verified Compilation of Space-Efficient Reversible Circuits
inferredcites →https://doi.org/10.1007/978-94-017-0849-4_10openalex-snapshot
Going Beyond Bell’s Theorem
inferredcites →https://doi.org/10.1007/s11128-010-0201-2openalex-snapshot
Synthesis of quantum circuits for linear nearest neighbor architectures
inferredcites →https://doi.org/10.1016/j.parco.2014.12.001openalex-snapshot
ScaffCC: Scalable compilation and analysis of quantum programs
inferredcites →https://doi.org/10.1038/s41534-018-0072-4openalex-snapshot
Automated optimization of large quantum circuits with continuous parameters
inferredcites →https://doi.org/10.1073/pnas.2218775120openalex-snapshot
A formally certified end-to-end implementation of Shor’s factorization algorithm
inferredcites →https://doi.org/10.1088/2058-9565/aad604openalex-snapshot
An efficient quantum compiler that reduces T count
inferredcites →https://doi.org/10.1088/2058-9565/ab8e92openalex-snapshot
t|ket⟩: a retargetable compiler for NISQ devices
inferredcites →https://doi.org/10.1088/2058-9565/ab9359openalex-snapshot
staq —A full-stack quantum processing toolkit
inferredcites →https://doi.org/10.1103/physreva.69.032315openalex-snapshot
Optimal quantum circuits for general two-qubit gates
inferredcites →https://doi.org/10.1109/ismvl.2006.35openalex-snapshot
QMDD: A Decision Diagram Structure for Reversible and Quantum Circuits
inferredcites →https://doi.org/10.1109/ismvl.2008.43openalex-snapshot
RevLib: An Online Resource for Reversible Functions and Reversible Circuits
inferredcites →https://doi.org/10.1109/qce49297.2020.00051openalex-snapshot
Verifying Results of the IBM Qiskit Quantum Circuit Compilation Flow
inferredcites →https://doi.org/10.1109/tcad.2014.2341953openalex-snapshot
Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning
inferredcites →https://doi.org/10.1145/3290344openalex-snapshot
Quantitative robustness analysis of quantum programs
inferredcites →https://doi.org/10.1145/3297858.3304007openalex-snapshot
Not All Qubits Are Created Equal
inferredcites →https://doi.org/10.1145/3297858.3304023openalex-snapshot
Tackling the Qubit Mapping Problem for NISQ-Era Quantum Devices
inferredcites →https://doi.org/10.1145/3307650.3322262openalex-snapshot
A quantum computational compiler and design tool for technology-specific targets
inferredcites →https://doi.org/10.1145/3316781.3317859openalex-snapshot
Mapping Quantum Circuits to IBM QX Architectures Using the Minimal Number of SWAP and H Operations
inferredcites →https://doi.org/10.1145/3385412.3386007openalex-snapshot
Silq: a high-level quantum language with safe uncomputation and intuitive semantics
inferredcites →https://doi.org/10.1145/3434318openalex-snapshot
A verified optimizer for Quantum circuits
inferredcites →https://doi.org/10.1145/3491247openalex-snapshot
QIRO: A Static Single Assignment-based Quantum Program Representation for Optimization
inferredcites →https://doi.org/10.1145/3503222.3507715openalex-snapshot
Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels
inferredcites →https://doi.org/10.1145/3519939.3523431openalex-snapshot
Giallar: push-button verification for the qiskit Quantum compiler
inferredcites →https://doi.org/10.1145/3519939.3523433openalex-snapshot
Quartz: superoptimization of Quantum circuits
inferredcites →https://doi.org/10.1145/3563309openalex-snapshot
Verified compilation of Quantum oracles
inferredcites →https://doi.org/10.22331/q-2018-01-31-49openalex-snapshot
ProjectQ: an open source software framework for quantum computing
inferredcites →https://doi.org/10.22331/q-2018-08-06-79openalex-snapshot
Quantum Computing in the NISQ era and beyond
inferredcites →https://doi.org/10.23919/date.2018.8342181openalex-snapshot
Efficient mapping of quantum circuits to the IBM QX architectures
inferredcites →https://doi.org/10.4204/eptcs.266.8openalex-snapshot
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
inferredcites →https://doi.org/10.4230/lipics.itp.2021.21openalex-snapshot
Proving Quantum Programs Correct
inferredcites →https://doi.org/10.4230/lipics.tqc.2019.3openalex-snapshot
Circuit Transformations for Quantum Architectures
inferredcites →https://doi.org/10.5281/zenodo.1003420openalex-snapshot
The Coq Proof Assistant
inferredcites →https://doi.org/10.5281/zenodo.2562110openalex-snapshot
Qiskit: An Open-source Framework for Quantum Computing
inferredcites →https://doi.org/10.5281/zenodo.4062499openalex-snapshot
Cirq

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-030-72019-3_6openalex-snapshot
An Automated Deductive Verification Framework for Circuit-building Quantum Programs
inferred← citeshttps://doi.org/10.1007/978-3-032-06770-8_18openalex-snapshot
Handling Non-unitaries in Quantum Circuit Equivalence Checking
inferred← citeshttps://doi.org/10.1007/978-3-032-22720-1_16openalex-snapshot
Validating Quantum State Preparation Programs
inferred← citeshttps://doi.org/10.1007/978-3-032-28079-4_2openalex-snapshot
DisQ: A Model of Distributed Quantum Processors
inferred← citeshttps://doi.org/10.1016/j.jss.2026.112884openalex-snapshot
Classification of security challenges and mitigation approaches in the quantum software engineering
inferred← citeshttps://doi.org/10.1016/j.sysarc.2023.102986openalex-snapshot
CoqMatrix: Formal matrix library with multiple models in Coq
inferred← citeshttps://doi.org/10.1103/physrevresearch.7.023139openalex-snapshot
Quantum circuit unoptimization
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00195openalex-snapshot
Enhancing Code Safety in Quantum Intermediate Representation
inferred← citeshttps://doi.org/10.1109/infocom59046.2026.11571664openalex-snapshot
Joint Optimization of Circuit Transformation and Qubit Mapping for Distributed Quantum Computing
inferred← citeshttps://doi.org/10.1109/jetcas.2022.3202204openalex-snapshot
Equivalence Checking of Quantum Circuits With the ZX-Calculus
inferred← citeshttps://doi.org/10.1109/qcs56647.2022.00013openalex-snapshot
Predicting the Optimizability for Workflow Decisions
inferred← citeshttps://doi.org/10.1145/3519939.3523713openalex-snapshot
Algebraic reasoning of Quantum programs via non-idempotent Kleene algebra
inferred← citeshttps://doi.org/10.1145/3747521openalex-snapshot
A Haskell Adiabatic DSL: Solving Classical Optimization Problems on Quantum Hardware
inferred← citeshttps://doi.org/10.2139/ssrn.6997092openalex-snapshot
A Mutation-Based Framework for Efficiency Evaluation of Quantum Compilers
inferred← citeshttps://doi.org/10.2139/ssrn.7361162openalex-snapshot
Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs
inferred← citeshttps://doi.org/10.32388/h7d715.2openalex-snapshot
A Review of Formal Methods in Quantum Circuit Verification
inferred← citeshttps://doi.org/10.32388/h7d715.5openalex-snapshot
A Review of Formal Methods in Quantum Circuit Verification
inferred← citeshttps://doi.org/10.32388/h7d715.6openalex-snapshot
A Review of Formal Methods in Quantum Circuit Verification
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.