research
∙
01/08/2023
Accelerating Voting by Quantum Computation
Studying the computational complexity of determining winners under votin...
share
research
∙
02/11/2022
Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains
Verifying quantum systems has attracted a lot of interest in the last de...
research
∙
10/03/2021
Quantum Max-Flow Min-Cut theorem
The max-flow min-cut theorem is a cornerstone result in combinatorial op...
research
∙
05/02/2021
Model Checking Quantum Continuous-Time Markov Chains
Verifying quantum systems has attracted a lot of interests in the last d...
research
∙
01/30/2021
A Quantum Interpretation of Bunched Logic for Quantum Separation Logic
We propose a model of the substructural logic of Bunched Implications (B...
research
∙
06/01/2020
The QQUIC Transport Protocol: Quantum assisted UDP Internet Connections
Quantum key distribution, initialized in 1984, is a commercialized secur...
research
∙
04/17/2020
Verification of Continuous-time Markov Chains
In this paper, we fill the long-standing gap in the field of the verific...
research
∙
01/09/2020
Capacity Approaching Coding for Low Noise Interactive Quantum Communication, Part I: Large Alphabets
We consider the problem of implementing two-party interactive quantum co...
research
∙
11/28/2019
Poq: Projection-based Runtime Assertions for Debugging on a Quantum Computer
In this paper, we propose Poq, a runtime assertion scheme for debugging ...
research
∙
08/01/2019
Quantum Temporal Logic
In this paper, we introduce a model of quantum concurrent program, which...
research
∙
08/01/2019
Quantum Temporal Logic: from Birkhoff and von Neumann to Pnueli
In this paper, we introduce a model of quantum concurrent program, which...
research
∙
03/26/2019
Protocols for Packet Quantum Network Intercommunication
A quantum network, which involves multiple parties pinging each other wi...
research
∙
01/16/2019
Coupling Techniques for Reasoning about Quantum Programs
Relational verification of quantum programs has many potential applicati...
research
∙
03/28/2018