Browsing by Author Ying, M

Showing results 1 to 20 of 154  next >
Issue DateTitleAuthor(s)
12-Feb-2019Toward automatic verification of quantum programsYing, M
1-Jan-2019Model-checking quantum systemsYing, M; Feng, Y
1-Dec-2018Reachability analysis of quantum Markov decision processesYing, S; Ying, M
1-Aug-2018Decomposition of quantum Markov chains and its applicationsGuan, J; Feng, Y; Ying, M
1-Jan-2018QLiu, S; Wang, X; Zhou, L; Guan, J; Li, Y; He, Y; Duan, R; Ying, M
2018Algorithmic analysis of termination problems for quantum programs.Li, Y; Ying, M
25-Sep-2017Differential Privacy in Quantum ComputationZhou, L; Ying, M
1-Jan-2017Invariants of quantum programs: Characterisations and generationYing, M; Ying, S; Wu, X
28-Mar-2016Foundations of Quantum ProgrammingYing, M
10-Mar-2016Foundations of Quantum ProgrammingYing, M
2015Toward Automatic Verification of Quantum Cryptographic Protocols.Feng, Y; Ying, M; Aceto, L; Frutos-Escrig, DD
8-Jul-2014Model-checking linear-time properties of quantum systemsYing, M; Li, Y; Yu, N; Feng, Y
1-Jan-2014Symbolic bisimulation for quantum processesFeng, Y; Deng, Y; Ying, M
1-Jan-2014Distinguishability of quantum states by positive operator-valued measures with positive partial transposeYu, N; Duan, R; Ying, M
2014(Un)decidable Problems about Reachability of Quantum Systems.Li, Y; Ying, M; Baldan, P; Gorla, D
2014Symbolic Bisimulation for Quantum Processes.Feng, Y; Deng, Y; Ying, M
1-Nov-2013Model checking quantum Markov chainsFeng, Y; Yu, N; Ying, M
15-Oct-2013Reachability analysis of recursive quantum Markov chainsFeng, Y; Yu, N; Ying, M
9-Oct-2013Quantum information-flow security: Noninterference and access controlYing, M; Feng, Y; Yu, N
1-Sep-2013Verification of quantum programsYing, M; Yu, N; Feng, Y; Duan, R