A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs. - Hui Jiang 009; Jianling Fu; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (CoRR, 2023)

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains. - Hui Jiang 009; Jianling Fu; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (HSCC, 2024)

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs. - Jianling Fu; Hui Jiang 009; Ming Xu 010; Yuxin Deng; Zhi-Bin Li 005 (CoRR, 2024)

Qubit Mapping Based on Tabu Search. - Hui Jiang 009; Yuxin Deng; Ming Xu 010 (J. Comput. Sci. Technol., 2024)

A Pattern Matching Based Framework for Quantum Circuit Rewriting. - Hui Jiang 009; Dian-Kang Li; Yuxin Deng; Ming Xu 010 (J. Comput. Sci. Technol., 2024)

Termination and Universal Termination Problems for Nondeterministic Quantum Programs. - Ming Xu 010; Jianling Fu; Hui Jiang 009; Yuxin Deng; Zhi-Bin Li 005 (ACM Trans. Softw. Eng. Methodol., 2024)