Jianling Fu

Orcid: 0009-0000-2367-9958

According to our database1, Jianling Fu authored at least 8 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2022
2023
2024
2025
0
1
2
3
4
1
2
2
2
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A binary integer programming-based method for qubit mapping in sparse architectures.
Acta Informatica, March, 2025

2024
Termination and Universal Termination Problems for Nondeterministic Quantum Programs.
ACM Trans. Softw. Eng. Methodol., November, 2024

Algorithmic Analysis of Termination Problems for Nondeterministic Quantum Programs.
CoRR, 2024

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, 2024

2023
Quantitative controller synthesis for consumption Markov decision processes.
Inf. Process. Lett., 2023

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

2022
An algebraic method to fidelity-based model checking over quantum Markov chains.
Theor. Comput. Sci., 2022

Model checking QCTL plus on quantum Markov chains.
Theor. Comput. Sci., 2022


  Loading...