Browsing byAuthorYing, M

Jump to a point in the index:
Showing results 1 to 20 of 160  next >
Issue DateTitleAuthor(s)
2020-01-08Strassen's theorem for quantum couplingsZhou, L; Ying, S; Yu, N; Ying, M
2019-02-12Toward automatic verification of quantum programsYing, M
2019-01-01Model-checking quantum systemsYing, M; Feng, Y
2019Model Checking Applied to Quantum Physics.Guan, J; Feng, Y; Turrini, A; Ying, M
2019Toward automatic verification of quantum programs.Ying, M
2019Quantitative robustness analysis of quantum programs.Hung, S-H; Hietala, K; Zhu, S; Ying, M; Hicks, M; Wu, X
2018-12-01Reachability analysis of quantum Markov decision processesYing, S; Ying, M
2018-08-01Decomposition of quantum Markov chains and its applicationsGuan, J; Feng, Y; Ying, M
2018-01-01QLiu, 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
2018Quantitative Robustness Analysis of Quantum Programs (Extended Version).Hung, S-H; Hietala, K; Zhu, S; Ying, M; Hicks, M; Wu, X
2017-09-25Differential Privacy in Quantum ComputationZhou, L; Ying, M
2017-01-01Invariants of quantum programs: Characterisations and generationYing, M; Ying, S; Wu, X
2016-03-28Foundations of Quantum ProgrammingYing, M
2016-03-10Foundations of Quantum ProgrammingYing, M
2015-08-01Toward automatic verification of quantum cryptographic protocolsFeng, Y; Ying, M
2015Toward Automatic Verification of Quantum Cryptographic Protocols.Feng, Y; Ying, M; Aceto, L; Frutos-Escrig, DD
2014-07-08Model-checking linear-time properties of quantum systemsYing, M; Li, Y; Yu, N; Feng, Y
2014-01-01Symbolic bisimulation for quantum processesFeng, Y; Deng, Y; Ying, M
2014-01-01Distinguishability of quantum states by positive operator-valued measures with positive partial transposeYu, N; Duan, R; Ying, M