Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Jianling Fu
Institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
Observed institutions:
Shanghai Key Laboratory of Trustworthy Computing,
East China Normal University
ORCID:
0009-0000-2367-9958
Observed ORCID:
0009-0000-2367-9958
OpenAlex ID:
A5035327803
Model checking QCTL plus on quantum Markov chains
2022
·
Ming Xu
, Jianling Fu
, et al.
·
Theoretical Computer Science
·
13
An algebraic method to fidelity-based model checking over quantum Markov chains
2022
·
Ming Xu
, Jianling Fu
, et al.
·
Theoretical Computer Science
·
5
Termination and Universal Termination Problems for Nondeterministic Quantum Programs
2024
·
Ming Xu
, Jianling Fu
, et al.
·
ACM Transactions on Software Engineering and Methodology
·
4
PDF
A binary integer programming-based method for qubit mapping in sparse architectures
2024
·
Hui Jiang
, Jianling Fu
, et al.
·
Acta Informatica
·
1
A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-time Markov Chains
2024
·
Hui Jiang
, Jianling Fu
, et al.
·
ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
·
1
PDF
A quantum game designed for property partitioning with implementation on superconducting quantum processors
2026
·
Hui Jiang
, Jianling Fu
, et al.
·
Theoretical Computer Science
Theoretical and Experimental Performance Analysis on Error-Bounded Quantum Search Process
2024
·
Jianling Fu
, Ming Xu
, et al.
·
Journal of Systems Science and Complexity
Quantitative controller synthesis for consumption Markov decision processes
2022
·
Jianling Fu
, Cheng-Chao Huang
, et al.
·
Information Processing Letters
Show more works
View as search
Works count:
8
Citation count:
24
H-index:
3
I10-index:
1
Year
Topic
Type
