Jianling Fu
Orcid: 0009-0000-2367-9958
According to our database1,
Jianling Fu
authored at least 8 papers
between 2022 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
2025
0
1
2
3
4
1
2
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Acta Informatica, March, 2025
2024
Termination and Universal Termination Problems for Nondeterministic Quantum Programs.
ACM Trans. Softw. Eng. Methodol., November, 2024
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
Inf. Process. Lett., 2023
CoRR, 2023
2022
Theor. Comput. Sci., 2022