QPL
From MaRDI portal
Cited in
(only showing first 100 items - show all)- The \(C\)-topology on lattice-ordered groups
- A quantum game semantics for the measurement calculus
- Techniques for Formal Modelling and Analysis of Quantum Systems
- Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model
- Automating quantum experiment control. From circuit compilation to ion routing
- Towards implementation of a generalized architecture for high-level quantum programming language
- Concurrent quantum strategies
- Toward automatic verification of quantum programs
- Quantum programs with classical output streams (extended abstract)
- Analysis of quantum entanglement in quantum programs using stabilizer formalism
- Unordered tuples in quantum computation
- A hierarchy of quantum semantics
- Quantum loop programs
- Optimal quantum networks and one-shot entropies
- Game semantics for quantum stores
- Model checking quantum Markov chains
- Towards a quantum programming language
- Information processing in convex operational theories
- Quantum alternation: prospects and problems
- Quantum Markov chains: description of hybrid systems, decidability of equivalence, and model checking linear-time properties
- De-linearizing linearity: projective quantum axiomatics from strong compact closure
- On block structures in quantum computation
- Quantum circuit oracles for abstract machine computations
- Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target
- A sublinear analog of the Banach-Mazur theorem in separated convex cones with norm
- QPCF: higher-order languages and quantum circuits
- A proof system for disjoint parallel quantum programs
- An algebra of automata that includes both classical and quantum entities
- scientific article; zbMATH DE number 7577566 (Why is no real title available?)
- Hahn-Banach type theorems on functional separation for convex ordered normed cones
- Towards a quantum domain theory: order-enrichment and fixpoints in W^*-algebras
- Quantum data and control made easier
- Natural Quantum Operational Semantics with Predicates
- Probabilistic bisimulations for quantum processes
- An overview of QML with a concrete implementation in Haskell
- Confluence results for a quantum lambda calculus with measurements
- On a fully abstract model for a quantum linear functional language (extended abstract)
- Approximating Markov processes by averaging
- Reachability analysis of quantum Markov decision processes
- An analogue of the Hahn-Banach theorem for functionals on abstract convex cones
- Classical control and quantum circuits in enriched category theory
- Models of quantum computation and quantum programming languages
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- Commutativity of quantum weakest preconditions
- Generalised quantum weakest preconditions
- Idempotents in dagger categories (extended abstract)
- Borel kernels and their approximation, categorically
- Proof rules for the correctness of quantum programs
- Termination of nondeterministic quantum programs
- Distributed quantum programming
- Towards a quantum calculus (work in progress, extended abstract)
- Quantum walks: a comprehensive review
- Complete positivity and natural representation of quantum computations
- Quantum patterns and types for entanglement and separability
- Measurement-Based and Universal Blind Quantum Computation
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers
- Pictures of complete positivity in arbitrary dimension
- Linear logic in normed cones: probabilistic coherence spaces and beyond
- QWalk
- QDENSITY
- QDENSpalette
- QRNG
- Quipper
- QC-lib
- AsmL
- QI
- verifier
- Pesca
- QCL
- qPCF
- QWire
- Forest
- ProbNetKAT
- ScaffCC
- nQML
- LIQUi
- QC simulators
- Feynman
- metaQASM
- openQASM
- Silq
- LanQ
- QPEL
- QPMC
- qGCL
- KoAT
- Quantum computer simulation using the CUDA programming model
- Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
- An algebra of pure quantum programming
- scientific article; zbMATH DE number 7454912 (Why is no real title available?)
- On hybrid models of quantum finite automata
- QML
- Semantics for a quantum programming language by operator algebras
- Simulating and compiling code for the sequential quantum random access machine
- Local tomography and the Jordan structure of quantum theory
- Reasoning about faulty quantum programs
- Semi-automated verification of security proofs of quantum cryptographic protocols
- Game semantics for quantum data
- Presheaf models of quantum computation: an outline
- Sized Types for Low-Level Quantum Metaprogramming
This page was built for software: QPL
