On the public citation graph
Quantitative robustness analysis of quantum programs
0 signed · 73 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.
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.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/978-3-540-24754-8_1openalex-snapshot
A Brief Survey of Quantum Programming Languages
inferredcites →https://doi.org/10.1007/978-3-642-10622-4_7openalex-snapshot
A Logic for Formal Verification of Quantum Programs
inferredcites →https://doi.org/10.1016/b978-0-12-802306-8.00004-5openalex-snapshot
Logic for quantum programs
inferredcites →https://doi.org/10.1016/j.entcs.2006.04.003openalex-snapshot
Reasoning About Imperative Quantum Programs
inferredcites →https://doi.org/10.1016/j.tcs.2007.06.011openalex-snapshot
Proof rules for the correctness of quantum programs
inferredcites →https://doi.org/10.1017/s0960129504004256openalex-snapshot
Towards a quantum programming language
inferredcites →https://doi.org/10.1017/s0960129506005251openalex-snapshot
Quantum weakest preconditions
inferredcites →https://doi.org/10.1017/s0960129506005378openalex-snapshot
Quantum programming languages: survey and bibliography
inferredcites →https://doi.org/10.1080/09500349708231894openalex-snapshot
Prescription for experimental determination of the dynamics of a quantum black box
inferredcites →https://doi.org/10.1088/1464-4266/7/10/021openalex-snapshot
Scalable noise estimation with random unitary operators
inferredcites →https://doi.org/10.1103/physreva.71.062310openalex-snapshot
Distance measures to compare real and ideal quantum processes
inferredcites →https://doi.org/10.1103/physreva.77.012307openalex-snapshot
Randomized benchmarking of quantum gates
inferredcites →https://doi.org/10.1103/physreva.86.032324openalex-snapshot
Surface codes: Towards practical large-scale quantum computation
inferredcites →https://doi.org/10.1103/physreva.87.030302openalex-snapshot
Approximation of realistic errors by Clifford channels and Pauli measurements
inferredcites →https://doi.org/10.1103/physrevlett.106.180504openalex-snapshot
Scalable and Robust Randomized Benchmarking of Quantum Processes
inferredcites →https://doi.org/10.1103/revmodphys.87.307openalex-snapshot
Quantum error correction for quantum memories
inferredcites →https://doi.org/10.1109/iccd.2013.6657074openalex-snapshot
QuRE: The Quantum Resource Estimator toolbox
inferredcites →https://doi.org/10.1109/lics.2005.1openalex-snapshot
A Functional Quantum Programming Language
inferredcites →https://doi.org/10.1142/s0219749904000067openalex-snapshot
DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
inferredcites →https://doi.org/10.1145/1159803.1159809openalex-snapshot
Static typing for a faulty lambda calculus
inferredcites →https://doi.org/10.1145/1250734.1250741openalex-snapshot
Fault-tolerant typed assembly language
inferredcites →https://doi.org/10.1145/1706299.1706308openalex-snapshot
Continuity analysis of programs
inferredcites →https://doi.org/10.1145/2049706.2049708openalex-snapshot
Floyd--hoare logic for quantum programs
inferredcites →https://doi.org/10.1145/2254064.2254086openalex-snapshot
Proving acceptability properties of relaxed nondeterministic approximate programs
inferredcites →https://doi.org/10.1145/2509136.2509546openalex-snapshot
Verifying quantitative reliability for programs that execute on unreliable hardware
inferredcites →https://doi.org/10.1145/258533.258579openalex-snapshot
Fault-tolerant quantum computation with constant error
inferredcites →https://doi.org/10.1145/2594291.2594294openalex-snapshot
Expressing and verifying probabilistic assertions
inferredcites →https://doi.org/10.1145/2786805.2786807openalex-snapshot
FlexJava: language support for safe and modular approximate programming
inferredcites →https://doi.org/10.1145/2814270.2814301openalex-snapshot
Probability type inference for flexible approximate programming
inferredcites →https://doi.org/10.1145/3009837.3009840openalex-snapshot
Invariants of quantum programs: characterisations and generation
inferredcites →https://doi.org/10.1145/3009837.3009894openalex-snapshot
QWIRE: a core language for quantum circuits
inferredcites →https://doi.org/10.1145/3158123openalex-snapshot
Algorithmic analysis of termination problems for quantum programs
inferredcites →https://doi.org/10.1145/871895.871900openalex-snapshot
Modeling quantum computing in Haskell
inferredcites →https://doi.org/10.48550/arxiv.1207.5726openalex-snapshot
Simpler semidefinite programs for completely bounded norms
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-031-65633-0_22openalex-snapshot
Approximate Relational Reasoning for Quantum Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-98685-7_1openalex-snapshot
Verifying Fault-Tolerance of Quantum Error Correction Codes
inferred← citeshttps://doi.org/10.1016/b978-0-44-315942-8.00016-2openalex-snapshot
Quantum Hoare logic
inferred← citeshttps://doi.org/10.1016/j.neucom.2023.03.060openalex-snapshot
Let’s do it right the first time: Survey on security concerns in the way to quantum software engineering
inferred← citeshttps://doi.org/10.1109/ase56229.2023.00196openalex-snapshot
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing
inferred← citeshttps://doi.org/10.1109/jetcas.2022.3205174openalex-snapshot
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective
inferred← citeshttps://doi.org/10.1109/lics65433.2025.00072openalex-snapshot
Complete Quantum Relational Hoare Logics from Optimal Transport Duality
inferred← citeshttps://doi.org/10.1109/qce65121.2025.00257openalex-snapshot
On the Potential of Quantum Computing in Classical Program Analysis
inferred← citeshttps://doi.org/10.1145/3307650.3322213openalex-snapshot
Statistical assertions for validating patterns and finding bugs in quantum programs
inferred← citeshttps://doi.org/10.1145/3314221.3314584openalex-snapshot
An applied quantum Hoare logic
inferred← citeshttps://doi.org/10.1145/3385412.3386011openalex-snapshot
On the principles of differentiable quantum programming languages
inferred← citeshttps://doi.org/10.1145/3428198openalex-snapshot
Enabling accuracy-aware Quantum compilers using symbolic resource estimation
inferred← citeshttps://doi.org/10.1145/3453483.3454029openalex-snapshot
Gleipnir: toward practical error analysis for Quantum programs
inferred← citeshttps://doi.org/10.1145/3453483.3454061openalex-snapshot
Quantum abstract interpretation
inferred← citeshttps://doi.org/10.1145/3456877openalex-snapshot
Quantum Hoare Logic with Classical Variables
inferred← citeshttps://doi.org/10.1145/3460120.3484567openalex-snapshot
EasyPQC: Verifying Post-Quantum Cryptography
inferred← citeshttps://doi.org/10.1145/3498691openalex-snapshot
Twist: sound reasoning for purity and entanglement in Quantum programs
inferred← citeshttps://doi.org/10.1145/3519939.3523431openalex-snapshot
Giallar: push-button verification for the qiskit Quantum compiler
inferred← citeshttps://doi.org/10.1145/3527316openalex-snapshot
On incorrectness logic for Quantum programs
inferred← citeshttps://doi.org/10.1145/3579369openalex-snapshot
Automating NISQ Application Design with Meta Quantum Circuits with Constraints (MQCC)
inferred← citeshttps://doi.org/10.1145/3604630openalex-snapshot
A Verified Optimizer for Quantum Circuits
inferred← citeshttps://doi.org/10.1145/3704878openalex-snapshot
Automating Equational Proofs in Dirac Notation
inferred← citeshttps://doi.org/10.1145/3704883openalex-snapshot
Flexible Type-Based Resource Estimation in Quantum Circuit Description Languages
inferred← citeshttps://doi.org/10.1145/3763153openalex-snapshot
Scalable Equivalence Checking and Verification of Shallow Quantum Circuits
inferred← citeshttps://doi.org/10.1145/3776658openalex-snapshot
An Expressive Assertion Language for Quantum Programs
inferred← citeshttps://doi.org/10.1145/3815573openalex-snapshot
Reasoning about Parameterized Recursive Quantum Programs with Ancilla Data and Probabilistic Control
inferred← citeshttps://doi.org/10.17163/ings.n36.2026.04openalex-snapshot
Ciclo de vida de desarrollo de software cuántico estructurado (QSDLC) para la computación de próxima generación
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.