| When CSI meets public WiFi: inferring your mobile phone password via WiFi signals M Li, Y Meng, J Liu, H Zhu, X Liang, Y Liu, N Ruan Proceedings of the 2016 ACM SIGSAC conference on computer and communications …, 2016 | 214 | 2016 |
| Formal verification of quantum algorithms using quantum Hoare logic J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019 | 69 | 2019 |
| Quantum algorithm for fidelity estimation Q Wang, Z Zhang, K Chen, J Guan, W Fang, J Liu, M Ying IEEE Transactions on Information Theory 69 (1), 273-282, 2022 | 29 | 2022 |
| Coqq: Foundational verification of quantum programs L Zhou, G Barthe, PY Strub, J Liu, M Ying Proceedings of the ACM on Programming Languages 7 (POPL), 833-865, 2023 | 19 | 2023 |
| New quantum algorithms for computing quantum entropies and distances Q Wang, J Guan, J Liu, Z Zhang, M Ying arXiv preprint arXiv:2203.13522, 2022 | 13 | 2022 |
| Quantum hoare logic J Liu, B Zhan, S Wang, S Ying, T Liu, Y Li, M Ying, N Zhan Archive of Formal Proofs, 2019 | 9 | 2019 |
| Quantum weakest preconditions for reasoning about expected runtimes of quantum programs J Liu, L Zhou, G Barthe, M Ying Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022 | 6 | 2022 |
| isQ: An Integrated Software Stack for Quantum Programming J Guo, H Lou, J Yu, R Li, W Fang, J Liu, P Long, S Ying, M Ying IEEE Transactions on Quantum Engineering, 2023 | 3 | 2023 |
| isQ: Towards a practical software stack for quantum programming J Guo, H Lou, R Li, W Fang, J Liu, P Long, S Ying, M Ying arXiv preprint arXiv:2205.03866, 2022 | 1 | 2022 |
| arXiv: Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs J Liu, M Ying, L Zhou, G Barthe | | 2019 |
| Expected Runtime of antum Programs J Liu, L Zhou, M Ying arXiv preprint arXiv:1911.12557, 2019 | | 2019 |
