arrow
Back
贺飞 cover

贺飞 (Fei He)

Tsinghua University

16H-index
130Paper Count
1.1KCitation Count
Published Papers 15
Publication Date
err2025-10-01
err0
PREAI
errLi, Guanyan; Li, Juanen; Han, Zhilei; Wang, Peixin; Fu, Hongfei; He, Fei
errShare
errSave
err2023-12-01
err0
PREAI
errZhu, Fengmin; Xie, Xingyu; Feng, Dongyu; Meng, Na; He, Fei
errShare
errSave
err2023-03-31
err7
errOAAI
errShen, Bowen; Gulzar, Muhammad Ali; He, Fei; Meng, Na
errShare
errSave
err2022-04-01
err2
PREAI
errHe, Fei; Yu, Qianshan; Cai, Liming
errShare
errSave
err2021-05-10
err3
PREAI
errChen, Jianhui; He, Fei
errShare
errSave
err2021-03-01
err1
PREAI
errLuo, Chen; He, Fei; Peng, Fei; Yan, Dong; Zhang, Dan; Zhou, Xin
errShare
errSave
err2018-02-07
err4
PREAI
errHe, Fei; Gao, Yuan; Yin, Liangze
errShare
errSave
err2018-01-27
err0
PREAI
errLuo, Chen; He, Fei
errShare
errSave
err2016-06-06
err11
PREAI
errHe, Fei; Gao, Xiaowei; Wang, Miaofei; Wang, Bow-Yaw; Zhang, Lijun
errShare
errSave
err2014-10-24
err0
PREAI
errHe, Fei; Song, Xiaoyu; Gu, Ming; Sun, Jiaguang
errShare
errSave
err2014-04-01
err1
errOAAI
errKong, Hui; He, Fei; Song, Xiaoyu; Gu, Ming; Tan, Hongyan; Sun, Jiaguang
errShare
errSave
err2013-06-01
err18
errOAAI
errHe, Fei; Sun, Yin; Xiao, Limin; Chen, Xiang; Chi, Chong-Yung; Zhou, Shidong
errShare
errSave
err2012-03-01
err14
PREAI
errYin, Liangze; He, Fei; Hung, William N. N., Sr.; Song, Xiaoyu, Sr.; Gu, Ming
errShare
errSave
err2010-01-01
err11
PREAI
errHe, Fei; Song, Xiaoyu; Hung, William N. N.; Gu, Ming; Sun, Jiaguang
errShare
errSave
err2006-04-01
err3
errOAAI
errHe, F; Song, XY; Gu, M; Yang, GW; Hung, WNN; Sun, JG
errShare
errSave

Research Directions

程序语言、可信软件、形式验证、模型检验、逻辑推理