Zhiming Liu
发表
Liyun Dai,
Jun Pang,
Hongyang Qu,
2019,
ArXiv.
Zhengfeng Yang,
Jifeng He,
Xin Chen,
2019,
2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR).
Taolue Chen,
Zhiming Liu,
Jim Woodcock,
2020,
Formal Aspects of Computing.
Zhiming Liu,
Jianxin Wu,
Liyun Dai,
2021
.
Taolue Chen,
Zhiming Liu,
Hengjun Zhao,
2020,
HSCC.
Liyun Dai,
Zhiming Liu,
Hengjun Zhao,
2019,
1903.07469.
Kim G. Larsen,
Liyun Dai,
Bican Xia,
2018,
ArXiv.
Liyun Dai,
Bo Liu,
Taolue Chen,
2018,
ArXiv.
Peter T. Breuer,
Jonathan P. Bowen,
Zhiming Liu,
2017,
2017 International Carnahan Conference on Security Technology (ICCST).
Peter T. Breuer,
Esther Palomar,
Zhiming Liu,
2017
.