On the public citation graph

Foundations of Quantum Programming

https://doi.org/10.1016/c2014-0-02660-3
0 signed · 113 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-540-24754-8_1openalex-snapshot
A Brief Survey of Quantum Programming Languages
inferredcites →https://doi.org/10.1007/s00236-005-0165-3openalex-snapshot
Compiling quantum programs
inferredcites →https://doi.org/10.1007/s00236-009-0100-0openalex-snapshot
Reasoning about faulty quantum programs
inferredcites →https://doi.org/10.1007/s00236-010-0117-4openalex-snapshot
Quantum loop 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.entcs.2006.12.014openalex-snapshot
Simulating and Compiling Code for the Sequential Quantum Random Access Machine
inferredcites →https://doi.org/10.1016/j.ic.2007.08.001openalex-snapshot
Probabilistic bisimulations for quantum processes
inferredcites →https://doi.org/10.1016/j.ic.2007.08.002openalex-snapshot
Probabilistic bisimulations for quantum processes
inferredcites →https://doi.org/10.1016/j.ipl.2007.06.003openalex-snapshot
Commutativity of quantum weakest preconditions
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/cbo9781139193313.009openalex-snapshot
Predicate Transformer Semantics 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/s0960129506005299openalex-snapshot
LQP: the dynamic logic of quantum information
inferredcites →https://doi.org/10.1017/s0960129506005378openalex-snapshot
Quantum programming languages: survey and bibliography
inferredcites →https://doi.org/10.1109/mc.2006.4openalex-snapshot
A layered software architecture for quantum computing design tools
inferredcites →https://doi.org/10.1109/tc.2009.13openalex-snapshot
An Algebraic Language for Distributed Quantum Computing
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.1145/1040305.1040318openalex-snapshot
Communicating quantum processes
inferredcites →https://doi.org/10.1145/1507244.1507249openalex-snapshot
An algebra of quantum processes
inferredcites →https://doi.org/10.1145/977091.977108openalex-snapshot
Toward a quantum process algebra
inferredcites →https://doi.org/10.2172/366453openalex-snapshot
Conventions for quantum pseudocode
inferredcites →https://doi.org/10.48550/arxiv.0906.4586openalex-snapshot
Hoare Logic for Quantum Programs

What points at this work

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

inferred← citeshttps://doi.org/10.2139/ssrn.4157524openalex-extracted
Abstract Interpretation, Hoare Logic, and Incorrectness Logic for Quantum Programs
inferred← citeshttps://doi.org/10.2139/ssrn.4191449openalex-extracted
Software Architecture for Quantum Computing Systems - A Systematic Review
inferred← citeshttps://doi.org/10.2139/ssrn.4705308openalex-extracted
Quantum Recursive Programming with Quantum Case Statements
inferred← citeshttps://doi.org/10.1007/978-3-030-32409-4_24openalex-snapshot
A Coalgebraic Semantics Framework for Quantum Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-45237-7_2openalex-snapshot
Verifying Quantum Communication Protocols with Ground Bisimulation
inferred← citeshttps://doi.org/10.1007/978-3-030-90870-6_2openalex-snapshot
Model Checking for Verification of Quantum Circuits
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8openalex-snapshot
Programming Languages and Systems
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-319-52289-0_19openalex-snapshot
Eigenlogic: A Quantum View for Multiple-Valued and Fuzzy Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-55911-7_33openalex-snapshot
$$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations
inferred← citeshttps://doi.org/10.1007/978-3-319-64021-1_3openalex-snapshot
Overview of Formal Methods
inferred← citeshttps://doi.org/10.1007/978-3-319-89366-2_19openalex-snapshot
From Symmetric Pattern-Matching to Quantum Control
inferred← citeshttps://doi.org/10.1007/s00009-023-02497-wopenalex-snapshot
Theoretical Aspects in Penalty Hyperparameters Optimization
inferred← citeshttps://doi.org/10.1007/s00236-024-00472-wopenalex-snapshot
Birkhoff-von Neumann quantum logic enriched with entanglement quantifiers: coincidence theorem and semantic consequence
inferred← citeshttps://doi.org/10.1007/s11390-021-1637-9openalex-snapshot
Symbolic Reasoning About Quantum Circuits in Coq
inferred← citeshttps://doi.org/10.1007/s11432-018-9847-0openalex-snapshot
Implementing termination analysis on quantum programming
inferred← citeshttps://doi.org/10.1007/s11633-021-1278-zopenalex-snapshot
Optimal Policies for Quantum Markov Decision Processes
inferred← citeshttps://doi.org/10.1007/s42452-019-1193-xopenalex-snapshot
Feasible computation based on quantum logic
inferred← citeshttps://doi.org/10.1016/j.ic.2018.09.001openalex-snapshot
Reachability analysis of quantum Markov decision processes
inferred← citeshttps://doi.org/10.1016/j.ic.2023.105077openalex-snapshot
Abstract interpretation, Hoare logic, and incorrectness logic for quantum programs
inferred← citeshttps://doi.org/10.1016/j.jcss.2020.08.004openalex-snapshot
Equivalence checking of quantum finite-state machines
inferred← citeshttps://doi.org/10.1016/j.jcss.2022.08.002openalex-snapshot
Quantum random access stored-program machines
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111326openalex-snapshot
Software engineering for quantum programming: How far are we?
inferred← citeshttps://doi.org/10.1016/j.jss.2022.111458openalex-snapshot
Technical debts and faults in open-source quantum software systems: An empirical study
inferred← citeshttps://doi.org/10.1016/j.jss.2023.111682openalex-snapshot
Software architecture for quantum computing systems — A systematic review
inferred← citeshttps://doi.org/10.1016/j.jss.2024.112000openalex-snapshot
Equivalence, identity, and unitarity checking in black-box testing of quantum programs
inferred← citeshttps://doi.org/10.1016/j.tcs.2021.10.025openalex-snapshot
A proof system for disjoint parallel quantum programs
inferred← citeshttps://doi.org/10.1016/j.tcs.2022.02.017openalex-snapshot
Formal semantics of a classical-quantum language
inferred← citeshttps://doi.org/10.1016/j.tcs.2024.114740openalex-snapshot
Quantum Büchi automata
inferred← citeshttps://doi.org/10.1017/9781108613323openalex-snapshot
Model Checking Quantum Systems: Principles and Algorithms
inferred← citeshttps://doi.org/10.1038/s42254-020-00245-7openalex-snapshot
Quantum programming languages
inferred← citeshttps://doi.org/10.1088/2058-9565/ac47f1openalex-snapshot
Weakly measured while loops: peeking at quantum states
inferred← citeshttps://doi.org/10.1093/logcom/exae040openalex-snapshot
Classical computation over quantum architectures
inferred← citeshttps://doi.org/10.1093/nsr/nwy106openalex-snapshot
Model-checking quantum systems
inferred← citeshttps://doi.org/10.1109/hpca.2019.00040openalex-snapshot
eQASM: An Executable Quantum Instruction Set Architecture
inferred← citeshttps://doi.org/10.1109/icabcd62167.2024.10645271openalex-snapshot
Emerging Applications and Challenges in Quantum Computing: A Literature Survey
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470673openalex-snapshot
A Quantum Interpretation of Bunched Logic & Quantum Separation Logic
inferred← citeshttps://doi.org/10.1109/q-se52541.2021.00012openalex-snapshot
Some Size and Structure Metrics for Quantum Software
inferred← citeshttps://doi.org/10.1109/qce57702.2023.10203openalex-snapshot
On Refactoring Quantum Programs in Q#
inferred← citeshttps://doi.org/10.1109/qce60285.2024.10287openalex-snapshot
Innovative Approaches to Teaching Quantum Computer Programming and Quantum Software Engineering
inferred← citeshttps://doi.org/10.1109/qsw55613.2022.00019openalex-snapshot
Towards Process Centered Architecting for Quantum Software Systems
inferred← citeshttps://doi.org/10.1109/tcad.2021.3117506openalex-snapshot
Equivalence Checking of Sequential Quantum Circuits
inferred← citeshttps://doi.org/10.1109/tit.2023.3263645openalex-snapshot
Unitarity Estimation for Quantum Channels
inferred← citeshttps://doi.org/10.1109/tpds.2019.2947511openalex-snapshot
Quantum Supremacy Circuit Simulation on Sunway TaihuLight
inferred← citeshttps://doi.org/10.1109/tqe.2023.3275868openalex-snapshot
isQ: An Integrated Software Stack for Quantum Programming
inferred← citeshttps://doi.org/10.1109/tse.2022.3232623openalex-snapshot
Software Pipelining for Quantum Loop Programs
inferred← citeshttps://doi.org/10.1109/vtcspring.2017.8108699openalex-snapshot
Towards Automatically Construct Quantum Circuits for Quantum Programs with Quantum Control
inferred← citeshttps://doi.org/10.1142/s0218126624501123openalex-snapshot
Formalizing the Semantics of a Classical-Quantum Imperative Language in Coq
inferred← citeshttps://doi.org/10.1142/s0218194021500133openalex-snapshot
A Unifying Coalgebraic Semantics Framework for Quantum Systems
inferred← citeshttps://doi.org/10.1145/3009837.3009840openalex-snapshot
Invariants of quantum programs: characterisations and generation
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/3428218openalex-snapshot
Projection-based runtime assertions for testing and debugging Quantum programs
inferred← citeshttps://doi.org/10.1145/3453483.3454029openalex-snapshot
Gleipnir: toward practical error analysis for Quantum programs
inferred← citeshttps://doi.org/10.1145/3483528openalex-snapshot
Quingo: A Programming Framework for Heterogeneous Quantum-Classical Computing with NISQ Features
inferred← citeshttps://doi.org/10.1145/3498691openalex-snapshot
Twist: sound reasoning for purity and entanglement in Quantum programs
inferred← citeshttps://doi.org/10.1145/3508352.3549479openalex-snapshot
Equivalence Checking of Dynamic Quantum Circuits
inferred← citeshttps://doi.org/10.1145/3517145openalex-snapshot
Verification of Distributed Quantum Programs
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/3527316openalex-snapshot
On incorrectness logic for Quantum programs
inferred← citeshttps://doi.org/10.1145/3587154openalex-snapshot
Structured Theorem for Quantum Programs and its Applications
inferred← citeshttps://doi.org/10.1145/3617178openalex-snapshot
Differentiable Quantum Programming with Unbounded Loops
inferred← citeshttps://doi.org/10.1145/3704842openalex-snapshot
Qurts: Automatic Quantum Uncomputation by Affine Types with Lifetime
inferred← citeshttps://doi.org/10.1145/3708475openalex-snapshot
Automated Quantum Protocol Verification Based on Concurrent Dynamic Quantum Logic
inferred← citeshttps://doi.org/10.1145/3729283openalex-snapshot
Quantum Register Machine: Efficient Implementation of Quantum Recursive Programs
inferred← citeshttps://doi.org/10.1145/3776731openalex-snapshot
Quantum Circuits Are Just a Phase
inferred← citeshttps://doi.org/10.1145/3843234openalex-snapshot
Refinement Orders for Quantum Programs
inferred← citeshttps://doi.org/10.1360/n112017-00095openalex-snapshot
$Q|SI\rangle $ : a quantum programming environment
inferred← citeshttps://doi.org/10.2200/s01014ed1v01y202005cac051openalex-snapshot
Quantum Computer Systems: Research for Noisy Intermediate-Scale Quantum Computers
inferred← citeshttps://doi.org/10.23919/date48585.2020.9116502openalex-snapshot
Quantum Computer Architecture: Towards Full-Stack Quantum Accelerators
inferred← citeshttps://doi.org/10.26421/qic21.15-16-5openalex-snapshot
Universal control of quantum processes using sector-preserving channels
inferred← citeshttps://doi.org/10.26421/qic21.5-6-4openalex-snapshot
An HHL-based algorithm for computing hitting probabilities of quantum walks
inferred← citeshttps://doi.org/10.3389/fphy.2024.1230294openalex-snapshot
Quantum image encryption algorithm based on four-dimensional chaos
inferred← citeshttps://doi.org/10.4204/eptcs.357.1openalex-snapshot
A Quick Overview on the Quantum Control Approach to the Lambda Calculus
inferred← citeshttps://doi.org/10.48550/arxiv.1607.03509openalex-snapshot
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems
inferred← citeshttps://doi.org/10.48550/arxiv.1710.09500openalex-snapshot
$Q|SI\rangle$: A Quantum Programming Environment
inferred← citeshttps://doi.org/10.48550/arxiv.1804.00952openalex-snapshot
From Symmetric Pattern-Matching to Quantum Control (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.1901.04629openalex-snapshot
A Hamiltonian-Level Certificate for Network-Free Distributed Quantum Simulation: Exact Tensor-Separability Criterion and Approximate Residual Bounds
inferred← citeshttps://doi.org/10.48550/arxiv.1901.08340openalex-snapshot
QRunes: High-Level Language for Quantum-Classical Hybrid Programming
inferred← citeshttps://doi.org/10.48550/arxiv.1902.03218openalex-snapshot
Model Checking Applied to Quantum Physics
inferred← citeshttps://doi.org/10.48550/arxiv.1908.00158openalex-snapshot
Quantum Temporal Logic
inferred← citeshttps://doi.org/10.48550/arxiv.1911.01645openalex-snapshot
Controlled quantum operations and combs, and their applications to universal controllization of divisible unitary operations
inferred← citeshttps://doi.org/10.48550/arxiv.1911.11247openalex-snapshot
Runtime Analysis of Quantum Programs: A Formal Approach
inferred← citeshttps://doi.org/10.48550/arxiv.2007.07047openalex-snapshot
Quantum Software Engineering: Landscapes and Horizons
inferred← citeshttps://doi.org/10.48550/arxiv.2102.00329openalex-snapshot
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
inferred← citeshttps://doi.org/10.48550/arxiv.2104.06349openalex-snapshot
Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)
inferred← citeshttps://doi.org/10.48550/arxiv.2107.11679openalex-snapshot
Reasoning about Recursive Quantum Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2109.06493openalex-snapshot
Formal Methods for Quantum Programs: A Survey
inferred← citeshttps://doi.org/10.55630/mem.2023.52.50-68openalex-snapshot
Квантови изчисления отвъд приложната линейна алгебра
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.