On the public citation graph
Quantum Programming
0 signed · 156 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/3-540-49208-9_15openalex-snapshot
The Hidden Subgroup Problem and Eigenvalue Estimation on a Quantum Computer
inferredcites →https://doi.org/10.1007/bf00736012openalex-snapshot
Quantum mechanical interaction-free measurements
inferredcites →https://doi.org/10.1016/s0167-6423(96)00019-6openalex-snapshot
Probabilistic models for the guarded command language
inferredcites →https://doi.org/10.1016/s1355-2198(97)85538-4openalex-snapshot
Quantum theory: Concepts and methods
inferredcites →https://doi.org/10.1088/0031-9112/17/10/010openalex-snapshot
The Feynman Lectures on Physics
inferredcites →https://doi.org/10.1098/rspa.1985.0070openalex-snapshot
Quantum theory, the Church–Turing principle and the universal quantum computer
inferredcites →https://doi.org/10.1098/rspa.1989.0099openalex-snapshot
Quantum computational networks
inferredcites →https://doi.org/10.1098/rspa.1991.0161openalex-snapshot
Characterizing classes of functions computable by quantum parallelism
inferredcites →https://doi.org/10.1098/rspa.1992.0167openalex-snapshot
Rapid solution of problems by quantum computation
inferredcites →https://doi.org/10.1098/rspa.1995.0065openalex-snapshot
Universality in quantum computation
inferredcites →https://doi.org/10.1098/rspa.1995.0066openalex-snapshot
A universal two-bit gate for quantum computation
inferredcites →https://doi.org/10.1103/physreva.52.3457openalex-snapshot
Elementary gates for quantum computation
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.1994.365701openalex-snapshot
On the power of quantum computation
inferredcites →https://doi.org/10.1145/237814.237866openalex-snapshot
A fast quantum mechanical algorithm for database search
inferredcites →https://doi.org/10.5860/choice.36-0374openalex-snapshot
Explorations in quantum computing
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11417170_26openalex-snapshot
A Lambda Calculus for Quantum Computation with Classical Control
inferred← citeshttps://doi.org/10.1007/11527800_1openalex-snapshot
From Quantum Physics to Programming Languages: A Process Algebraic Approach
inferred← citeshttps://doi.org/10.1007/11828563_3openalex-snapshot
Computations and Relational Bundles
inferred← citeshttps://doi.org/10.1007/11902140_108openalex-snapshot
Problems of Adiabatic Quantum Program Design
inferred← citeshttps://doi.org/10.1007/978-3-030-01461-2_8openalex-snapshot
$$Q|SI\rangle $$Q|SI⟩ : A Quantum Programming Environment
inferred← citeshttps://doi.org/10.1007/978-3-030-16681-6_3openalex-snapshot
Quantum Cryptography: A Survey
inferred← citeshttps://doi.org/10.1007/978-3-030-25543-5_12openalex-snapshot
Formal Verification of Quantum Algorithms Using Quantum Hoare Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-87872-6_16openalex-snapshot
A Repeated Mistake is a Choice: Considering Security Issues and Risks in Quantum Computing from Scratch
inferred← citeshttps://doi.org/10.1007/978-3-031-05324-5_12openalex-snapshot
Quantum Software Tools Overview
inferred← citeshttps://doi.org/10.1007/978-3-031-22308-2_2openalex-snapshot
Towards Efficient Reasoning of Quantum Programs
inferred← citeshttps://doi.org/10.1007/978-3-031-57267-8_1openalex-snapshot
Circuit Width Estimation via Effect Typing and Linear Dependency
inferred← citeshttps://doi.org/10.1007/978-3-319-45279-1_3openalex-snapshot
A Monadic Semantics for Quantum Computing in Featherweight Java
inferred← citeshttps://doi.org/10.1007/978-3-319-57348-9_17openalex-snapshot
Methods and Patterns for User-Friendly Quantum Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-24754-8_1openalex-snapshot
A Brief Survey of Quantum Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-27764-4_16openalex-snapshot
An Injective Language for Reversible Computation
inferred← citeshttps://doi.org/10.1007/978-3-642-10452-7_22openalex-snapshot
Reasoning about General Quantum Programs over Mixed States
inferred← citeshttps://doi.org/10.1007/978-3-642-17164-2_2openalex-snapshot
Foundations of Quantum Programming (Extended Abstract)
inferred← citeshttps://doi.org/10.1007/978-981-97-8943-6_8openalex-snapshot
Quantum Programming Without the Quantum Physics
inferred← citeshttps://doi.org/10.1007/s00236-009-0100-0openalex-snapshot
Reasoning about faulty quantum programs
inferred← citeshttps://doi.org/10.1007/s00236-013-0185-3openalex-snapshot
Termination of nondeterministic quantum programs
inferred← citeshttps://doi.org/10.1007/s00354-012-0120-0openalex-snapshot
Quantum Computation: From a Programmer’s Perspective
inferred← citeshttps://doi.org/10.1007/s00450-006-0012-yopenalex-snapshot
Quantum programming languages
inferred← citeshttps://doi.org/10.1007/s10773-017-3391-xopenalex-snapshot
Towards Implementation of a Generalized Architecture for High-Level Quantum Programming Language
inferred← citeshttps://doi.org/10.1007/s11128-009-0151-8openalex-snapshot
Generalised quantum weakest preconditions
inferred← citeshttps://doi.org/10.1007/s11390-006-0776-3openalex-snapshot
Some Issues in Quantum Information Theory
inferred← citeshttps://doi.org/10.1007/s11432-008-0059-4openalex-snapshot
Quantum programming languages: A tentative study
inferred← citeshttps://doi.org/10.1007/s11434-012-5147-6openalex-snapshot
Quantum programming: From theories to implementations
inferred← citeshttps://doi.org/10.1007/s11831-019-09372-6openalex-snapshot
Quantum Programming Language: A Systematic Review of Research Topic and Top Cited Languages
inferred← citeshttps://doi.org/10.1016/b978-0-12-802306-8.00003-3openalex-snapshot
Syntax and semantics of quantum programs
inferred← citeshttps://doi.org/10.1016/b978-0-12-802306-8.00006-9openalex-snapshot
Quantum case statements
inferred← citeshttps://doi.org/10.1016/b978-044452870-4/50037-6openalex-snapshot
Quantum logic and automata theory
inferred← citeshttps://doi.org/10.1016/j.artint.2009.11.009openalex-snapshot
Quantum computation, quantum theory and AI
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.04.033openalex-snapshot
Breaking the Model: Finalisation and a Taxonomy of Security Attacks
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.04.003openalex-snapshot
Reasoning About Imperative Quantum Programs
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.12.017openalex-snapshot
Quantum Programming With Mixed States
inferred← citeshttps://doi.org/10.1016/j.entcs.2008.04.020openalex-snapshot
Quantum Data and Control Made Easier
inferred← citeshttps://doi.org/10.1016/j.entcs.2009.10.008openalex-snapshot
Programming with Quantum Communication
inferred← citeshttps://doi.org/10.1016/j.entcs.2016.09.007openalex-snapshot
FJQuantum – A Quantum Object Oriented Language
inferred← citeshttps://doi.org/10.1016/j.entcs.2018.10.012openalex-snapshot
Formal Meta-level Analysis Framework for Quantum Programming Languages
inferred← citeshttps://doi.org/10.1016/j.ic.2007.08.001openalex-snapshot
Probabilistic bisimulations for quantum processes
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.ipl.2007.06.003openalex-snapshot
Commutativity of quantum weakest preconditions
inferred← citeshttps://doi.org/10.1016/j.neucom.2026.132809openalex-snapshot
A systematic exploration of quantum software engineering in the NISQ era: Methods, lifecycle practices, and a taxonomy of challenges
inferred← citeshttps://doi.org/10.1016/j.scico.2013.03.016openalex-snapshot
Verification of quantum programs
inferred← citeshttps://doi.org/10.1016/j.scico.2018.03.003openalex-snapshot
A monadic semantics for quantum computing in an object oriented language
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.12.019openalex-snapshot
SOS formats and meta-theory: 20 years after
inferred← citeshttps://doi.org/10.1016/j.tcs.2007.06.011openalex-snapshot
Proof rules for the correctness of quantum programs
inferred← citeshttps://doi.org/10.1017/cbo9781139193313openalex-snapshot
Semantic Techniques in Quantum Computation
inferred← citeshttps://doi.org/10.1017/cbo9781139193313.009openalex-snapshot
Predicate Transformer Semantics of Quantum Programs
inferred← citeshttps://doi.org/10.1017/cbo9781139193313.011openalex-snapshot
Temporal Logics for Reasoning about Quantum Systems
inferred← citeshttps://doi.org/10.1017/s0960129504004256openalex-snapshot
Towards a quantum programming language
inferred← citeshttps://doi.org/10.1017/s096012950600524xopenalex-snapshot
Relations among quantum processes: bisimilarity and congruence
inferred← citeshttps://doi.org/10.1017/s0960129506005251openalex-snapshot
Quantum weakest preconditions
inferred← citeshttps://doi.org/10.1017/s0960129506005263openalex-snapshot
Types and typechecking for Communicating Quantum Processes
inferred← citeshttps://doi.org/10.1017/s0960129506005378openalex-snapshot
Quantum programming languages: survey and bibliography
inferred← citeshttps://doi.org/10.1080/1206212x.2006.11441807openalex-snapshot
A Short Survey On Quantum Computers
inferred← citeshttps://doi.org/10.1088/2058-9565/aa66ebopenalex-snapshot
Fault-tolerant, high-level quantum circuits: form, compilation and description
inferred← citeshttps://doi.org/10.1093/comjnl/bxl057openalex-snapshot
Quantum Programming Languages: An Introductory Overview
inferred← citeshttps://doi.org/10.1109/ase63991.2025.00203openalex-snapshot
Exact Inference for Quantum Circuits: A Testing Oracle for Quantum Software Stacks
inferred← citeshttps://doi.org/10.1109/cec.2007.4425004openalex-snapshot
A practical framework to utilize quantum search
inferred← citeshttps://doi.org/10.1109/csf.2013.16openalex-snapshot
Quantum Information-Flow Security: Noninterference and Access Control
inferred← citeshttps://doi.org/10.1109/grc.2005.1547240openalex-snapshot
A theory of computation based on quantum logic (I)
inferred← citeshttps://doi.org/10.1109/icces.2013.6707155openalex-snapshot
An overview of Quantum Information Systems
inferred← citeshttps://doi.org/10.1109/icenco.2012.6487098openalex-snapshot
Towards an intelligent and complete compiler for conventional computer with Co-Quantum processor
inferred← citeshttps://doi.org/10.1109/icqnm.2007.21openalex-snapshot
Towards Model-Checking Quantum Security Protocols
inferred← citeshttps://doi.org/10.1109/icqnm.2008.15openalex-snapshot
A Survey of Quantum Programming Languages: History, Methods, and Tools
inferred← citeshttps://doi.org/10.1109/icsme52107.2021.00037openalex-snapshot
Understanding Quantum Software Engineering Challenges An Empirical Study on Stack Exchange Forums and GitHub Issues
inferred← citeshttps://doi.org/10.1109/tase.2007.3openalex-snapshot
A Formal Derivation of Grover's Quantum Search Algorithm
inferred← citeshttps://doi.org/10.1109/tla.2020.9387639openalex-snapshot
Reversibility for Quantum Programming Language QML
inferred← citeshttps://doi.org/10.1109/tse.2010.94openalex-snapshot
A Flowchart Language for Quantum Programming
inferred← citeshttps://doi.org/10.1109/tse.2021.3117515openalex-snapshot
Compiling Quantamorphisms for the IBM Q Experience
inferred← citeshttps://doi.org/10.1134/s1054660x06040311openalex-snapshot
How to utilize a Grover search in general programming
inferred← citeshttps://doi.org/10.1137/s0097539703432165openalex-snapshot
A Lambda Calculus for Quantum Computation
inferred← citeshttps://doi.org/10.1140/epjd/e2003-00242-2openalex-snapshot
Toward an architecture for quantum programming
inferred← citeshttps://doi.org/10.1142/s0219749908003530openalex-snapshot
QUANTUM COMPUTATION TREE LOGIC — MODEL CHECKING AND COMPLETE CALCULUS
inferred← citeshttps://doi.org/10.1145/1040305.1040318openalex-snapshot
Communicating quantum processes
inferred← citeshttps://doi.org/10.1145/1128022.1128034openalex-snapshot
Implementing quantum genetic algorithms
inferred← citeshttps://doi.org/10.1145/2049706.2049708openalex-snapshot
Floyd--hoare logic for quantum programs
inferred← citeshttps://doi.org/10.1145/2903150.2906827openalex-snapshot
A heterogeneous quantum computer architecture
inferred← citeshttps://doi.org/10.1145/3158123openalex-snapshot
Algorithmic analysis of termination problems for quantum programs
inferred← citeshttps://doi.org/10.1145/3314221.3314584openalex-snapshot
An applied quantum Hoare logic
inferred← citeshttps://doi.org/10.1145/3531130.3533327openalex-snapshot
Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs
inferred← citeshttps://doi.org/10.1145/3624483openalex-snapshot
Formal Verification of Quantum Programs: Theory, Tools, and Challenges
inferred← citeshttps://doi.org/10.1145/3691632openalex-snapshot
Termination and Universal Termination Problems for Nondeterministic Quantum Programs
inferred← citeshttps://doi.org/10.1145/3720433openalex-snapshot
QbC: Quantum Correctness by Construction
inferred← citeshttps://doi.org/10.1145/3743149openalex-snapshot
Integration of Quantum Accelerators with High Performance Computing—A Review of Quantum Programming Tools
inferred← citeshttps://doi.org/10.1145/871895.871901openalex-snapshot
Structure and interpretation of quantum mechanics
inferred← citeshttps://doi.org/10.1145/977091.977108openalex-snapshot
Toward a quantum process algebra
inferred← citeshttps://doi.org/10.11575/prism/24917openalex-snapshot
An investigation of some theoretical aspects of reversible computing
inferred← citeshttps://doi.org/10.1360/n112017-00095openalex-snapshot
$Q|SI\rangle $ : a quantum programming environment
inferred← citeshttps://doi.org/10.2316/journal.202.2006.3.202-1700openalex-snapshot
A SHORT SURVEY ON QUANTUM COMPUTERS
inferred← citeshttps://doi.org/10.25405/ncl.34193379openalex-snapshot
Non-deterministic quantum programming
inferred← citeshttps://doi.org/10.3929/ethz-a-005675863openalex-snapshot
A graphical development environment for quantum algorithms
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.4230/lipics.concur.2024.16openalex-snapshot
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
inferred← citeshttps://doi.org/10.48550/arxiv.0707.1527openalex-snapshot
Programming Telepathy: Implementing Quantum Non-Locality Games
inferred← citeshttps://doi.org/10.48550/arxiv.0708.0890openalex-snapshot
Operational Semantics and Type Soundness of Quantum Programming Language LanQ
inferred← citeshttps://doi.org/10.48550/arxiv.0906.4586openalex-snapshot
Hoare Logic for Quantum Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1106.4063openalex-snapshot
Verification of Quantum Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1108.4607openalex-snapshot
Simple characterizations for commutativity of quantum weakest preconditions
inferred← citeshttps://doi.org/10.48550/arxiv.1209.4379openalex-snapshot
Defining Quantum Control Flow
inferred← citeshttps://doi.org/10.48550/arxiv.1402.5172openalex-snapshot
Alternation in Quantum Programming: From Superposition of Data to Superposition of Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1405.4443openalex-snapshot
Quantum Recursion and Second Quantisation
inferred← citeshttps://doi.org/10.48550/arxiv.1406.4481openalex-snapshot
Five Quantum Algorithms Using Quipper
inferred← citeshttps://doi.org/10.48550/arxiv.1601.03835openalex-snapshot
A Theorem Prover for Quantum Hoare Logic and Its Applications
inferred← citeshttps://doi.org/10.48550/arxiv.1704.04460openalex-snapshot
Qumin, a minimalist quantum programming language
inferred← citeshttps://doi.org/10.48550/arxiv.1710.09500openalex-snapshot
$Q|SI\rangle$: A Quantum Programming Environment
inferred← citeshttps://doi.org/10.48550/arxiv.1810.11334openalex-snapshot
Reasoning about Parallel Quantum Programs
inferred← citeshttps://doi.org/10.48550/arxiv.1904.04304openalex-snapshot
Verification Logics for Quantum Programs
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.2001.04249openalex-snapshot
An extended quantum process algebra (eQPAlg) approach for distributed quantum systems
inferred← citeshttps://doi.org/10.48550/arxiv.2006.02847openalex-snapshot
Quantum Markov Chain Semantics for Quip-E Programs
inferred← citeshttps://doi.org/10.48550/arxiv.2007.07047openalex-snapshot
Quantum Software Engineering: Landscapes and Horizons
inferred← citeshttps://doi.org/10.48550/arxiv.2102.02035openalex-snapshot
Quantum Accelerator Stack: A Research Roadmap
inferred← citeshttps://doi.org/10.48550/arxiv.2107.11679openalex-snapshot
Reasoning about Recursive Quantum Programs
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0507043openalex-snapshot
Proof rules for purely quantum programs
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0601014openalex-snapshot
Probabilistic bisimilarities between quantum processes
inferred← citeshttps://doi.org/10.48550/arxiv.quant-ph/0306077openalex-snapshot
Quantum Domain Theory - Definitions and Applications
inferred← citeshttps://doi.org/10.48550/arxiv.quant-ph/0312174openalex-snapshot
Quantum Computation, Categorical Semantics and Linear Logic
inferred← citeshttps://doi.org/10.48550/arxiv.quant-ph/0408002openalex-snapshot
Contextual Observables and Quantum Information
inferred← citeshttps://doi.org/10.48550/arxiv.quant-ph/0504010openalex-snapshot
Quantum Games and Programmable Quantum Systems
inferred← citeshttps://doi.org/10.48550/arxiv.quant-ph/0508116openalex-snapshot
A probabilistic branching bisimulation for quantum processes
inferred← citeshttps://doi.org/10.48550/arxiv.quant-ph/0511145openalex-snapshot
Semantics and simulation of communication in quantum programming
inferred← citeshttps://doi.org/10.82444/warw.33484729openalex-snapshot
Model checking quantum protocols
inferred← citeshttps://doi.org/10.82444/warw.33642637openalex-snapshot
Techniques for design and validation of quantum protocols
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.