Hang Lei
发表
Jing Zhang,
Hang Lei,
J. Zhang,
2015,
2015 4th International Conference on Computer Science and Network Technology (ICCSNT).
MengChu Zhou,
Hang Lei,
Feng Wang,
2018,
Autom..
Hang Lei,
Bo Zhou,
Wensheng Guo,
2015,
2015 6th IEEE International Conference on Software Engineering and Service Science (ICSESS).
Hang Lei,
Keyi Xing,
Zhenxin Gao,
2016
.
Nan Sang,
Yong Liao,
Hang Lei,
2006
.
Hang Lei,
Yunbo Rao,
Hongcheng Liu,
2015,
Multimedia Tools and Applications.
A general formal memory framework in Coq for verifying the properties of programs based on higher-order logic theorem proving with increased automation, consistency, and reusability
pdf
Hang Lei,
Zheng Yang,
Hang Lei,
2018,
ArXiv.
Hang Lei,
Xiaoyu Li,
Yiming Huang,
2016,
计算机科学.
Hang Lei,
Lian Li,
2009
.
Xia Zhang,
Hang Lei,
Xupeng Wang,
2014
.
Hang Lei,
Haiyong Sun,
Hang Lei,
2020,
IEEE Access.
Hang Lei,
Zheng Yang,
Weizhong Qian,
2020,
CSAE.
Jing Zhang,
Hang Lei,
Jing Zhang,
2015,
Computing.
Hang Lei,
Zheng Yang,
Hang Lei,
2018,
IEEE Access.
Xu Jiang,
Nan Guan,
Maolin Yang,
2020,
2020 57th ACM/IEEE Design Automation Conference (DAC).
Mohammed Bennamoun,
Hang Lei,
Ferdous Ahmed Sohel,
2017,
Neurocomputing.
Mohammed Bennamoun,
Hang Lei,
Xupeng Wang,
2020,
J. Circuits Syst. Comput..
Heng Li,
Hang Lei,
Maolin Yang,
2020,
2020 3rd International Conference on Artificial Intelligence and Big Data (ICAIBD).
Hang Lei,
Jia Wu,
Hao Zhang,
2019
.
Hang Lei,
Yunbo Rao,
Xianshu Ding,
2015,
Multimedia Tools and Applications.
Yong Liao,
Hang Lei,
Furkan Rabee,
2013,
2013 IEEE 11th International Conference on Dependable, Autonomic and Secure Computing.
Hang Lei,
Haibo Pu,
Jingyong Zeng,
2008,
2008 International Conference on Embedded Software and Systems.
Hang Lei,
Zheng Yang,
Hang Lei,
2018,
Mathematical Problems in Engineering.
Hang Lei,
Michelle L. Bell,
Jason K. Levy,
2012,
Remote. Sens..
Hang Lei,
Xiaoyu Li,
Yiou Lin,
2016,
ArXiv.
Hang Lei,
Haiyong Sun,
Hang Lei,
2020,
J. Intell. Fuzzy Syst..
Hang Lei,
Lei Peng,
Wen-sheng Guo,
2009
.
Hang Lei,
Wensheng Guo,
Chengjian Tang,
2013
.
Nan Sang,
Hang Lei,
Yunbo Rao,
2014,
2014 International Conference on Audio, Language and Image Processing.
Hang Lei,
Zheng Yang,
Hang Lei,
2018,
IEEE Access.
Mohammed Bennamoun,
Hang Lei,
Ferdous Ahmed Sohel,
2016,
2016 IEEE Winter Conference on Applications of Computer Vision (WACV).
Hang Lei,
Xuan Han,
Jing Zhang,
2014
.
Mohammed Bennamoun,
Hang Lei,
Ferdous Ahmed Sohel,
2015,
2015 IEEE International Conference on Image Processing (ICIP).
Hang Lei,
Feng Wang,
Keyi Xing,
2014,
Comput. Oper. Res..
Mohammed Bennamoun,
Hang Lei,
Ferdous Ahmed Sohel,
2015,
PSIVT.
Yong Liao,
Hang Lei,
Mao Lin Yang,
2012
.
Yong Liao,
Hang Lei,
Furkan Rabee,
2014,
Journal of Computer Science and Technology.
Hang Lei,
Xia Yang,
Zhiwei Liu,
2016,
计算机科学.
Hang Lei,
Xuan Lu,
Zong-bo Hao,
2010
.
Hang Lei,
Zheng Yang,
Weizong Qian,
2019,
IEEE Access.
Kohei Inoue,
Kiichi Urahama,
Hang Lei,
2015
.
Mohammed Bennamoun,
Hang Lei,
Ferdous Ahmed Sohel,
2015,
2015 IEEE Winter Conference on Applications of Computer Vision.
Mohammed Bennamoun,
Hang Lei,
Yulan Guo,
2017,
VISIGRAPP.
Hang Lei,
Yu Deng,
Yiou Lin,
2018,
2018 International Conference on Artificial Intelligence and Big Data (ICAIBD).
Hang Lei,
Xiaoyu Li,
Obed Appiah,
2020,
ICAIS.
Nan Sang,
Hang Lei,
Zong Bo Hao,
2008,
2008 IEEE Conference on Robotics, Automation and Mechatronics.
Mohammed Bennamoun,
Hang Lei,
Yulan Guo,
2017,
Pattern Recognit..
Jing Zhang,
Hang Lei,
Jing Zhang,
2015,
J. Intell. Fuzzy Syst..
Hang Lei,
Keyi Xing,
Zhenxin Gao,
2017,
Appl. Soft Comput..
Hang Lei,
Urahama Kiichi,
2014
.
Yong Liao,
Jiali Yu,
Hang Lei,
2019,
Journal of Computer Science and Technology.
Hang Lei,
Yin Zhao,
Longjun Cai,
2020,
KDD.
Hang Lei,
Qing-sheng Zhu,
Yi-ming Huang,
2020,
Computers, Materials & Continua.
Hang Lei,
Zheng Yang,
2018,
ArXiv.
Hang Lei,
Xuan Han,
Yun-sheng Wang,
2017,
IET Softw..
Hang Lei,
Yun-sheng Wang,
2013
.
Zheng Yang,
Hang Lei,
Lei Qiao,
2018,
CSAE '18.
Hang Lei,
Jia Wu,
Xiaoyu Li,
2015,
PACLIC.
Hang Lei,
Yunsheng Wang,
Richard Hackett,
2019,
IEEE Aerospace and Electronic Systems Magazine.
Xiao Chen,
Hang Lei,
Feng Wang,
2014
.
Hang Lei,
Keyi Xing,
Fuli Xiong,
2014,
Comput. Ind. Eng..
Ping Chen,
Hang Lei,
Jun Shao,
2015,
ICIG.
Hang Lei,
Xiaoyu Li,
Hang Wang,
2015,
2015 Third International Conference on Advanced Cloud and Big Data.
Hang Lei,
Obed Appiah,
Ezekiel Mensah Martey,
2021,
Informatica.
Hang Lei,
Xiaoyu Li,
Obed Appiah,
2021,
ICAIS.
Hang Lei,
Xiaoyu Li,
Samuel Kofi Akpatsa,
2021,
ICAIS.
Guowu Yang,
Hang Lei,
Xiaoyu Li,
2021,
Neurocomputing.
Hang Lei,
Xiao-Yu Li,
Shan Yang,
2021
.
Hang Lei,
Xiaoyu Li,
Obed Appiah,
2021,
Algorithms.