Browsing by Author Ying, M

Jump to a point in the index:

Or type in a year:

Showing results 1 to 20 of 152 next >

Issue Date	Title	Author(s)
12-Feb-2019	Toward automatic verification of quantum programs	Ying, M
1-Jan-2019	Model-checking quantum systems	Ying, M; Feng, Y
1-Dec-2018	Reachability analysis of quantum Markov decision processes	Ying, S; Ying, M
1-Aug-2018	Decomposition of quantum Markov chains and its applications	Guan, J; Feng, Y; Ying, M
25-Sep-2017	Differential Privacy in Quantum Computation	Zhou, L; Ying, M
1-Jan-2017	Invariants of quantum programs: Characterisations and generation	Ying, M; Ying, S; Wu, X
28-Mar-2016	Foundations of Quantum Programming	Ying, M
10-Mar-2016	Foundations of Quantum Programming	Ying, M
2015	Toward Automatic Verification of Quantum Cryptographic Protocols.	Feng, Y; Ying, M; Aceto, L; Frutos-Escrig, DD
8-Jul-2014	Model-checking linear-time properties of quantum systems	Ying, M; Li, Y; Yu, N; Feng, Y
1-Jan-2014	Symbolic bisimulation for quantum processes	Feng, Y; Deng, Y; Ying, M
1-Jan-2014	Distinguishability of quantum states by positive operator-valued measures with positive partial transpose	Yu, N; Duan, R; Ying, M
2014	(Un)decidable Problems about Reachability of Quantum Systems.	Li, Y; Ying, M; Baldan, P; Gorla, D
2014	Symbolic Bisimulation for Quantum Processes.	Feng, Y; Deng, Y; Ying, M
1-Nov-2013	Model checking quantum Markov chains	Feng, Y; Yu, N; Ying, M
15-Oct-2013	Reachability analysis of recursive quantum Markov chains	Feng, Y; Yu, N; Ying, M
9-Oct-2013	Quantum information-flow security: Noninterference and access control	Ying, M; Feng, Y; Yu, N
1-Sep-2013	Verification of quantum programs	Ying, M; Yu, N; Feng, Y; Duan, R
28-Aug-2013	Reachability probabilities of quantum Markov chains	Ying, S; Feng, Y; Yu, N; Ying, M
30-Jul-2013	Five two-qubit gates are necessary for implementing the Toffoli gate	Yu, N; Duan, R; Ying, M

Showing results 1 to 20 of 152 next >