Jianling Fu

According to our database, Jianling Fu authored at least 10 papers between 2022 and 2026.

Collaborative distances:

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

2026

Theoretical and Experimental Performance Analysis on Error-Bounded Quantum Search Process.

Jianling Fu, Ming Xu, Haifeng Qian, Zhibin Li

J. Syst. Sci. Complex., June, 2026

A quantum game designed for property partitioning with implementation on superconducting quantum processors.

Hui Jiang, Jianling Fu, Ming Xu, Ji Guan, Shenggang Ying

Theor. Comput. Sci., 2026

2025

A binary integer programming-based method for qubit mapping in sparse architectures.

Hui Jiang, Jianling Fu, Yuxin Deng, Jun Wu

Acta Informatica, March, 2025

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

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

Quantitative controller synthesis for consumption Markov decision processes.

Jianling Fu, Cheng-Chao Huang, Yong Li, Jingyi Mei, Ming Xu, Lijun Zhang

Inf. Process. Lett., 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

2022

An algebraic method to fidelity-based model checking over quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022

Model checking QCTL plus on quantum Markov chains.

Ming Xu, Jianling Fu, Jingyi Mei, Yuxin Deng

Theor. Comput. Sci., 2022