Yangjia Li
Publication Activity (10 Years)
Years Active: 2012-2022
Publications (10 Years): 19
Publications (10 Years): 19
Publications
- Mingsheng Ying, Li Zhou, Yangjia Li, Yuan Feng
- Yangjia Li, Dominique Unruh
- Yangjia Li, Dominique Unruh
- Junyi Liu, Bohua Zhan, Shuling Wang, Shenggang Ying, Tao Liu, Yangjia Li, Mingsheng Ying, Naijun ZhanQuantum Hoare Logic. Arch. Formal Proofs 2019 (2019)
- Bai Xue, Naijun Zhan, Yangjia Li, Qiuye Wang
- Mingsheng Ying, Yangjia Li
- Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
- Yangjia Li, Mingsheng Ying
- Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
- Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
- Gaogao Yan, Li Jiao, Yangjia Li, Shuling Wang, Naijun Zhan
- Mingsheng Ying, Yangjia Li, Nengkun Yu, Yuan Feng
- Yangjia Li, Mingsheng Ying
- Yangjia Li, Mingsheng Ying
- Yangjia Li, Nengkun Yu, Mingsheng Ying
- Yangjia Li, Nengkun Yu, Mingsheng Ying