Browsing by Author Ying, M

Showing results 1 to 20 of 149  next >
Issue DateTitleAuthor(s)
1-Dec-2018Reachability analysis of quantum Markov decision processesYing, S; 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-2014Distinguishability of quantum states by positive operator-valued measures with positive partial transposeYu, N; Duan, R; Ying, M
1-Jan-2014Symbolic bisimulation for quantum processesFeng, Y; Deng, Y; 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
28-Aug-2013Reachability probabilities of quantum Markov chainsYing, S; Feng, Y; Yu, N; Ying, M
30-Jul-2013Five two-qubit gates are necessary for implementing the Toffoli gateYu, N; Duan, R; Ying, M
1-Feb-2013Probabilistic automata for computing with wordsCao, Y; Xia, L; Ying, M
31-Jan-2013Removing measurements from quantum walksYing, S; Ying, M
1-Jan-2013Predicate transformer semantics of quantum programsYing, M; Duan, R; Duan, R; Feng, Y