|
个人信息：Personal Information
讲师（高校） 硕士生导师
性别：女
毕业院校：华东师范大学
学历：博士研究生毕业
学位：工学博士
在职信息：在岗
所在单位：计算机学院
办公地点：jianghui@cqupt.edu.cn
电子邮箱：
扫描关注
Hui Jiang, Jianling Fu, Ming Xu, Yuxin Deng and Zhibin Li. A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-Time Markov Chains. Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024). Article 18, pages 1-12. ACM, 2024.
点击次数：
是否译文：否
上一条：Hui Jiang, Diankiang Li, Yuxin Deng and Ming Xu. A Pattern Matching-Based Framework for Quantum Circuit Rewriting. Journal of Computer Science and Technology 39(6): 1312-1327, 2024.
下一条：Ming Xu, Jianling Fu, Hui Jiang, Yuxin Deng and Zhi-bin Li. Termination and Universal Termination Problems for Nondeterministic Quantum Programs. ACM Transactions on Software Engineering and Methodology, Vol. 33, No. 8, Article 219, 2024.