papers
Publications (8)
math.OC2018
Robust Non-termination Analysis of Numerical Software
Bai Xue, Naijun Zhan, Yangjia Li +1
cs.LO2012
Termination of Nondeterministic Quantum Programs
Yangjia Li, Nengkun Yu, Mingsheng Ying
cs.LO2016
A Theorem Prover for Quantum Hoare Logic and Its Applications
Tao Liu, Yangjia Li, Shuling Wang +2
quant-ph2010
Model-Checking Linear-Time Properties of Quantum Systems
Mingsheng Ying, Yangjia Li, Nengkun Yu +1
quant-ph2009
Local Unambiguous Discrimination with Remaining Entanglement
Yangjia Li, Runyao Duan, Mingsheng Ying
cs.LO2014
(Un)decidable Problems about Reachability of Quantum Systems
Yangjia Li, Mingsheng Ying
cs.LO2016
Approximate Bisimulation and Discretization of Hybrid CSP
Gaogao Yan, Li Jiao, Yangjia Li +2
quant-ph2014
Debugging Quantum Processes Using Monitoring Measurements
Yangjia Li, Mingsheng Ying