On the public citation graph

Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs

https://doi.org/10.2139/ssrn.7361162
0 signed · 48 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/3-540-45949-9openalex-snapshot
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
inferredcites →https://doi.org/10.1007/978-3-319-21401-6_22openalex-snapshot
Quantomatic: A Proof Assistant for Diagrammatic Reasoning
inferredcites →https://doi.org/10.1007/978-3-540-70545-1_51openalex-snapshot
QMC: A Model Checker for Quantum Systems
inferredcites →https://doi.org/10.1007/978-3-642-40184-8_24openalex-snapshot
Reachability Probabilities of Quantum Markov Chains
inferredcites →https://doi.org/10.1007/978-3-662-07964-5openalex-snapshot
Interactive Theorem Proving and Program Development
inferredcites →https://doi.org/10.1007/s10817-020-09584-7openalex-snapshot
Certified Quantum Computation in Isabelle/HOL
inferredcites →https://doi.org/10.1016/j.tcs.2021.10.025openalex-snapshot
A proof system for disjoint parallel quantum programs
inferredcites →https://doi.org/10.1016/j.tcs.2022.02.017openalex-snapshot
Formal semantics of a classical-quantum language
inferredcites →https://doi.org/10.1017/s0960129504004256openalex-snapshot
Towards a quantum programming language
inferredcites →https://doi.org/10.1017/s0960129506005299openalex-snapshot
LQP: the dynamic logic of quantum information
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/1367-2630/13/4/043016openalex-snapshot
Interacting quantum observables: categorical algebra and diagrammatics
inferredcites →https://doi.org/10.1088/1367-2630/16/9/093021openalex-snapshot
The ZX-calculus is complete for stabilizer quantum mechanics
inferredcites →https://doi.org/10.1103/physreva.90.032311openalex-snapshot
Quantum partially observable Markov decision processes
inferredcites →https://doi.org/10.1103/physrevlett.103.150502openalex-snapshot
Quantum Algorithm for Linear Systems of Equations
inferredcites →https://doi.org/10.1103/physrevlett.76.722openalex-snapshot
Purification of Noisy Entanglement and Faithful Teleportation via Noisy Channels
inferredcites →https://doi.org/10.1103/physrevlett.77.2818openalex-snapshot
Quantum Privacy Amplification and the Security of Quantum Cryptography over Noisy Channels
inferredcites →https://doi.org/10.1103/physrevlett.81.5932openalex-snapshot
Quantum Repeaters: The Role of Imperfect Local Operations in Quantum Communication
inferredcites →https://doi.org/10.1103/physrevlett.98.060502openalex-snapshot
Multiplexed Memory-Insensitive Quantum Repeaters
inferredcites →https://doi.org/10.1103/physrevlett.98.190503openalex-snapshot
Quantum Repeaters with Photon Pair Sources and Multimode Memories
inferredcites →https://doi.org/10.1103/revmodphys.83.33openalex-snapshot
Quantum repeaters based on atomic ensembles and linear optics
inferredcites →https://doi.org/10.1109/jetcas.2022.3202204openalex-snapshot
Equivalence Checking of Quantum Circuits With the ZX-Calculus
inferredcites →https://doi.org/10.1109/sfcs.1994.365700openalex-snapshot
Algorithms for quantum computation: discrete logarithms and factoring
inferredcites →https://doi.org/10.1109/sfcs.1997.646094openalex-snapshot
On the power of quantum finite state automata
inferredcites →https://doi.org/10.1109/tse.2010.94openalex-snapshot
A Flowchart Language for Quantum Programming
inferredcites →https://doi.org/10.1142/s0219749904000067openalex-snapshot
DYNAMIC QUANTUM LOGIC FOR QUANTUM PROGRAMS
inferredcites →https://doi.org/10.1142/s0219749908003530openalex-snapshot
QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
inferredcites →https://doi.org/10.1145/2049706.2049708openalex-snapshot
Floyd--hoare logic for quantum programs
inferredcites →https://doi.org/10.1145/229542.229547openalex-snapshot
Probabilistic predicate transformers
inferredcites →https://doi.org/10.1145/237814.237866openalex-snapshot
A fast quantum mechanical algorithm for database search
inferredcites →https://doi.org/10.1145/2629680openalex-snapshot
Model-Checking Linear-Time Properties of Quantum Systems
inferredcites →https://doi.org/10.1145/3009837.3009894openalex-snapshot
QWIRE: a core language for quantum circuits
inferredcites →https://doi.org/10.1145/3209108.3209139openalex-snapshot
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics
inferredcites →https://doi.org/10.1145/3290346openalex-snapshot
Quantum relational Hoare logic
inferredcites →https://doi.org/10.1145/3290347openalex-snapshot
Quantitative separation logic: a logic for reasoning about probabilistic pointer programs
inferredcites →https://doi.org/10.1145/3314221.3314584openalex-snapshot
An applied quantum Hoare logic
inferredcites →https://doi.org/10.1145/3371089openalex-snapshot
Relational proofs for quantum programs
inferredcites →https://doi.org/10.1145/3371123openalex-snapshot
A probabilistic separation logic
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/3456877openalex-snapshot
Quantum Hoare Logic with Classical Variables
inferredcites →https://doi.org/10.1145/3517145openalex-snapshot
Verification of Distributed Quantum Programs
inferredcites →https://doi.org/10.1145/3591226openalex-snapshot
Lilac: A Modal Separation Logic for Conditional Probability
inferredcites →https://doi.org/10.1145/3604630openalex-snapshot
A Verified Optimizer for Quantum Circuits
inferredcites →https://doi.org/10.1145/363235.363259openalex-snapshot
An axiomatic basis for computer programming
inferredcites →https://doi.org/10.1145/3776648openalex-snapshot
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
inferredcites →https://doi.org/10.1145/977091.977108openalex-snapshot
Toward a quantum process algebra
inferredcites →https://doi.org/10.2307/421090openalex-snapshot
The Logic of Bunched Implications
inferredcites →https://doi.org/10.4204/eptcs.266.8openalex-snapshot
QWIRE Practice: Formal Verification of Quantum Circuits in Coq
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.