Re-Identification Supervised Texture Generation.[pdf][code] Jian Wang, Yunshan Zhong, Yachun Li, Chi Zhang, and Yichen Wei
IEEE International Conference on Computer Vision and Pattern Recognition (CVPR), 2019
NIL: Learning Nonlinear Interpolants.[pdf][code]
Mingshuai Chen, Jian Wang, Jie An, Deepak Kapur and Naijun Zhan.
International Conference on Automated Deduction (CADE), 2019
From Model to Implementation: A Network-Algorithm Programming Language. Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, and Ting Gan.
SCIENCE CHINA Information Sciences. (SCIS), 2019