Shenggang Ying
发表
Li Zhou,
Mingsheng Ying,
Nengkun Yu,
2018,
ArXiv.
Bohua Zhan,
Tao Liu,
Junyi Liu,
2019,
Arch. Formal Proofs.
Yuan Feng,
Ernst Moritz Hahn,
Andrea Turrini,
2017,
CONCUR.
Mingsheng Ying,
Nengkun Yu,
Li Zhou,
2020,
Theor. Comput. Sci..
Mingsheng Ying,
Zhaowei Xu,
Shenggang Ying,
2018,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Nengkun Yu,
2013,
CONCUR.
Bohua Zhan,
Tao Liu,
Junyi Liu,
2019,
CAV.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2015,
ArXiv.
Samson Abramsky,
Shenggang Ying,
Carmen M. Constantin,
2015,
Inf. Comput..
Mingsheng Ying,
Shenggang Ying,
M. Ying,
2014,
Inf. Comput..
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2017,
ArXiv.
Xiaodi Wu,
Mingsheng Ying,
Shenggang Ying,
2017,
POPL.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2017,
ArXiv.
Yuan Feng,
Mingsheng Ying,
Shenggang Ying,
2021,
International Journal of Automation and Computing.
Mingsheng Ying,
Nengkun Yu,
Shenggang Ying,
2018,
Journal of Mathematics and Physics.