Browsing byAuthorYing M
Showing results 1 to 7 of 7
Issue Date | Title | Author(s) |
2019-01-01 | Preface to special topic on quantum computing | Guo, GC; Ying, M |
2020 | Quantum Coupling and Strassen Theorem. | Zhou, L; Ying, S; Yu, N; Ying, M |
2020 | Quantum Hoare logic with classical variables. | Feng, Y; Ying, M |
2020 | Quantum Random Access Stored-Program Machines. | Wang, Q; Ying, M |
2020-01 | Relational proofs for quantum programs | Barthe, G; Hsu, J; Ying, M; Yu, N; Zhou, L |
2020 | Robustness Verification of Quantum Machine Learning. | Guan, J; Fang, W; Ying, M |
2020 | Symbolic Verification of Quantum Circuits. | Ying, M; Ji, Z |