Hui Jiang

According to our database, Hui Jiang authored at least 6 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Termination and Universal Termination Problems for Nondeterministic Quantum Programs.

Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng, Zhi-Bin Li

ACM Trans. Softw. Eng. Methodol., November, 2024

A Pattern Matching Based Framework for Quantum Circuit Rewriting.

Hui Jiang, Dian-Kang Li, Yuxin Deng, Ming Xu

J. Comput. Sci. Technol., November, 2024

Qubit Mapping Based on Tabu Search.

Hui Jiang, Yuxin Deng, Ming Xu

J. Comput. Sci. Technol., March, 2024

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.

Jianling Fu, Hui Jiang, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2024

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

2023

A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum CTMCs.

Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng, Zhi-Bin Li

CoRR, 2023