| [1] | Kean Chen and Mingsheng Ying. Automatic test pattern generation for robust quantum circuit testing. arXiv preprint arXiv:2202.10697, 2022. |
| [2] | Qisheng Wang, Ji Guan, Junyi Liu, Zhicheng Zhang, and Mingsheng Ying. New quantum algorithms for computing quantum entropies and distances. arXiv preprint arXiv:2203.13522, 2022. |
| [3] | Mingsheng Ying. Birkhoff-von neumann quantum logic as an assertion language for quantum programs. arXiv preprint arXiv:2205.01959, 2022. |
| [4] | Jingzhe Guo, Huazhe Lou, Riling Li, Wang Fang, Junyi Liu, Peixun Long, Shenggang Ying, and Mingsheng Ying. isq: Towards a practical software stack for quantum programming. arXiv preprint arXiv:2205.03866, 2022. |
| [5] | 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. |
| [6] | Zhicheng Zhang, Qisheng Wang, and Mingsheng Ying. Parallel quantum algorithm for hamiltonian simulation. arXiv preprint arXiv:2105.11889, 2021. |
| [7] | Mingsheng Ying and Zhengfeng Ji. Symbolic verification of quantum circuits. arXiv preprint arXiv:2010.03032, 2020. |
This file was generated by bibtex2html 1.99.