Jianling Fu

From MaRDI portal
Person:2084944

Available identifiers

zbMath Open fu.jianlingMaRDI QIDQ2084944

List of research outcomes





PublicationDate of PublicationType
A binary integer programming-based method for qubit mapping in sparse architectures2025-01-08Paper
Quantitative controller synthesis for consumption Markov decision processes2023-01-30Paper
An algebraic method to fidelity-based model checking over quantum Markov chains2022-10-14Paper
Model checking QCTL plus on quantum Markov chains2022-04-07Paper

Research outcomes over time

This page was built for person: Jianling Fu

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2084944&oldid=6552294"
Powered by MediaWiki