Title of Paper: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.
Hits:
Translation or Not:no
Pre One: 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.
Next One:Hui Jiang, Jianling Fu, Yuxin Deng and Jun Wu. A Binary Integer Programming-based Method for Qubit Mapping in Sparse Architectures. Acta Informatica, Vol. 62, Article 4, 2025.
Open time:..
The Last Update Time: ..
