Search Results - "Fu, Jianling"

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

Authors: Fu, Jianling Xu, Ming Qian, Haifeng et al.

Source: Journal of Systems Science & Complexity. Jun2026, Vol. 39 Issue 3, p1331-1352. 22p.

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

Authors: Jiang, Hui Fu, Jianling Deng, Yuxin et al.

Source: Acta Informatica; Mar2025, Vol. 62 Issue 1, p1-23, 23p

Termination and Universal Termination Problems for Nondeterministic Quantum Programs.

Authors: Xu, Ming Fu, Jianling Jiang, Hui et al.

Source: ACM Transactions on Software Engineering & Methodology; Nov2024, Vol. 33 Issue 8, p1-41, 41p

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

Authors: Jiang, Hui Fu, Jianling Xu, Ming et al.

Source: Theoretical Computer Science; Apr2026, Vol. 1070, pN.PAG-N.PAG, 1p

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

Authors: Xu, Ming Fu, Jianling Mei, Jingyi et al.

Source: Theoretical Computer Science; Oct2022, Vol. 935, p61-81, 21p

Model checking QCTL plus on quantum Markov chains.

Authors: Xu, Ming Fu, Jianling Mei, Jingyi et al.

Source: Theoretical Computer Science; Apr2022, Vol. 913, p43-72, 30p

Quantitative controller synthesis for consumption Markov decision processes.

Authors: Fu, Jianling Huang, Cheng-Chao Li, Yong et al.

Source: Information Processing Letters; Feb2023, Vol. 180, pN.PAG-N.PAG, 1p