Yangjia Li

最新发表

Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng (2022). A proof system for disjoint parallel quantum programs. Theoretical Computer Science.

引用 DOI URL

Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun Zhan (2019). Formal Verification of Quantum Algorithms Using Quantum Hoare Logic. Computer Aided Verification.

引用

Mingsheng Ying, Li Zhou, Yangjia Li (2019). Reasoning about Parallel Quantum Programs.

引用 arXiv URL

Yangjia Li, Mingsheng Ying (2017). Algorithmic analysis of termination problems for quantum programs. Proc. ACM Program. Lang..

引用 DOI URL

Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng (2014). Model-Checking Linear-Time Properties of Quantum Systems. ACM Trans. Comput. Logic.

引用 DOI URL

Yangjia Li, Mingsheng Ying (2014). Debugging quantum processes using monitoring measurements. Phys. Rev. A.

引用 DOI URL

Yangjia Li, Nengkun Yu, Mingsheng Ying (2014). Termination of nondeterministic quantum programs. Acta Informatica.

引用 DOI URL

Yangjia Li, Mingsheng Ying (2014). (Un)decidable Problems about Reachability of Quantum Systems. CONCUR 2014 – Concurrency Theory.

引用

Mingsheng Ying, Yuan Feng, RunYao Duan, YangJia Li, NengKun Yu (2012). Quantum programming: From theories to implementations. Chinese Science Bulletin.

引用 DOI URL

Yangjia Li, Runyao Duan, Mingsheng Ying (2010). Local unambiguous discrimination with remaining entanglement. Phys. Rev. A.

引用 DOI URL