| [1] | Chenjian Li, Mingsheng Ying, and Ji Guan. Differential privacy of quantum and quantum-inspired classical recommendation algorithms. arXiv preprint arXiv:2502.04758, 2026. |
| [2] | Mingsheng Ying. Birkhoff-von neumann quantum logic as an assertion language for quantum programs. arXiv preprint arXiv:2205.01959, 2022. |
| [3] | Kean Chen, Wang Fang, Ji Guan, Xin Hong, Mingyu Huang, Junyi Liu, Qisheng Wang, and Mingsheng Ying. Veriqbench: A benchmark for multiple types of quantum circuits. arXiv preprint arXiv:2206.10880, 2022. |
| [4] | Mingsheng Ying and Zhengfeng Ji. Symbolic verification of quantum circuits. arXiv preprint arXiv:2010.03032, 2020. |
This file was generated by bibtex2html 1.99.