| Issue Date | Title | Author(s) |
| 2024-11-07 | Electrode/Electrolyte Optimization-Induced Double-Layered Architecture for High-Performance Aqueous Zinc-(Dual) Halogen Batteries. | Zhou, C; Ding, Z; Ying, S; Jiang, H; Wang, Y; Fang, T; Zhang, Y; Sun, B; Tang, X; Liu, X |
| 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 |
| 2020 | Quantum Coupling and Strassen Theorem. | Zhou, L; Ying, S; Yu, N; Ying, M |
| 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 |
| 2024-06-01 | Unlocking the potential of ionic liquid-functionalized aqueous electrolytes for aqueous ammonium-bromine/ion batteries | Wang, Q; Zhang, Y; Li, H; Ying, S; Ding, Z; Wang, Y; Fang, T; Wei, C; Ma, C; Sun, B; Liu, X; Tang, X |
