Browsing byAuthorYing, S
Showing results 1 to 11 of 11
| Issue Date | Title | Author(s) |
| 2019-01-01 | Formal verification of quantum algorithms using quantum hoare logic | Liu, J; Zhan, B; Wang, S; Ying, S; Liu, T; Li, Y; Ying, M; Zhan, N; Dillig, I; Tasiran, S |
| 2017-01-01 | Invariants of quantum programs: Characterisations and generation | Ying, M; Ying, S; Wu, X |
| 2023-01-01 | isQ: An Integrated Software Stack for Quantum Programming | Guo, J; Lou, H; Yu, J; Li, R; Fang, W; Liu, J; Long, P; Ying, S; Ying, M |
| 2017-08-01 | Model checking ω-regular properties for quantum Markov chains | Feng, Y; Hahn, EM; Turrini, A; Ying, S |
| 2022-10-01 | Quantum earth mover's distance, a no-go quantum Kantorovich-Rubinstein theorem, and quantum marginal problem | Zhou, L; Yu, N; Ying, S; Ying, M |
| 2017 | Quantum Privacy-Preserving Data Analytics. | Ying, S; Ying, M; Feng, Y |
| - | Quantum Privacy-Preserving Data Mining | Ying, S; Ying, M; Feng, Y |
| 2018-12-01 | Reachability analysis of quantum Markov decision processes | Ying, S; Ying, M |
| 2013-08-28 | Reachability probabilities of quantum Markov chains | Ying, S; Feng, Y; Yu, N; Ying, M |
| 2013-01-31 | Removing measurements from quantum walks | Ying, S; Ying, M |
| 2020-01-08 | Strassen's theorem for quantum couplings | Zhou, L; Ying, S; Yu, N; Ying, M |
