
Reasoning about Recursive Quantum Programs
Most modern (classical) programming languages support recursion. Recursi...
read it

Verification of Distributed Quantum Programs
Distributed quantum systems and especially the Quantum Internet have the...
read it

Model Checking for Verification of Quantum Circuits
In this talk, we will describe a framework for assertionbased verificat...
read it

Approximate Equivalence Checking of Noisy Quantum Circuits
We study the fundamental design automation problem of equivalence checki...
read it

A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
We propose a model of the substructural logic of Bunched Implications (B...
read it

Software Pipelining for Quantum Loop Programs
We propose a method for performing software pipelining on quantum forlo...
read it

Quantum Algorithm for Lexicographically Minimal String Rotation
Lexicographically minimal string rotation (LMSR) is a problem to find th...
read it

Symbolic Verification of Quantum Circuits
This short note proposes a symbolic approach for representing and reason...
read it

A Tensor Network based Decision Diagram for Representation of Quantum Circuits
Tensor networks have been successfully applied in simulation of quantum ...
read it

Robustness Verification of Quantum Machine Learning
Several important models of machine learning algorithms have been succes...
read it

Quantum Hoare logic with classical variables
Hoare logic provides a syntaxoriented method to reason about program co...
read it

Quantum Random Access StoredProgram Machines
Random access machines (RAMs) and random access storedprogram machines ...
read it

Poq: Projectionbased Runtime Assertions for Debugging on a Quantum Computer
In this paper, we propose Poq, a runtime assertion scheme for debugging ...
read it

Expected Runtime of Quantum Programs
Building upon recent work on probabilistic programs, we formally define ...
read it

Model Checking Applied to Quantum Physics
Model checking has been successfully applied to verification of computer...
read it

Coupling Techniques for Reasoning about Quantum Programs
Relational verification of quantum programs has many potential applicati...
read it

A Logic for Recursive Quantum Programs
Most modern (classical) programming languages support recursion. Recursi...
read it

Quantitative Robustness Analysis of Quantum Programs (Extended Version)
Quantum computation is a topic of significant recent interest, with prac...
read it

Reasoning about Parallel Quantum Programs
We initiate the study of parallel quantum programming by defining the op...
read it

Toward Automatic Verification of Quantum Programs
This paper summarises the results obtained by the author and his collabo...
read it

Model Checking Quantum Systems  A Survey
This article discusses the essential difficulties in developing modelch...
read it

Quantum Büchi Automata
This paper defines a notion of quantum Büchi automaton (QBA for short) w...
read it

Quantum Coupling and Strassen Theorem
We introduce a quantum generalisation of the notion of coupling in proba...
read it

QSI〉: A Quantum Programming Environment
This paper describes a quantum programming environment, named QSI〉. It ...
read it

Reasoning about Cardinal Directions between Extended Objects
Direction relations between extended spatial objects are important commo...
read it
Mingsheng Ying
is this you? claim profile