Author

Jifeng He

1997 · Qiwen Xu, Willem -Paul de Roever, et al. · Formal Aspects of Computing · 157
1987 · C.A.R. Hoare, Jifeng He · Information Processing Letters · 149
2017 · Ting Su, Ke Wu, et al. · ACM Computing Surveys · 99
1997 · Tony Hoare, Jifeng He · Lecture notes in computer science · 91
1994 · Jifeng He, C. A. R. Hoare, et al. · Lecture notes in computer science · 86
2023 · Yiheng Xiong, Mengqian Xu, et al. · ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) · 61
1990 · Jifeng He, Mark B. Josephs, et al. · Oxford University Research Archive (ORA) (University of Oxford) · 49
2019 · Wang Lin, Zhengfeng Yang, et al. · IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings - IEEE Computer Society Conference on Computer Vision and Pattern Recognition/Proceedings · 46
2006 · Jifeng He, Xiaoshan Li, et al. · Electronic Notes in Theoretical Computer Science · 40
2007 · Jifeng He, Huibiao Zhu, et al. · Frontiers of Computer Science in China · 37
1990 · Bernard Sulfrin, Jifeng He · Formal Methods · 34
2016 · Mingsong Chen, Saijie Huang, et al. · IEEE Transactions on Cloud Computing · 30
2015 · Ting Su, Zhoulai Fu, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 30
2013 · Jianwen Li, Lijun Zhang, et al. · International Symposium on Temporal Representation and Reasoning · 30
2014 · Jianwen Li, Yinbo Yao, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 29
2012 · Jianqi Shi, Jifeng He, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 28
2007 · Xin Chen, Jifeng He, et al. · Springer eBooks · 27
2005 · Xiaoshan Li, Zhiming Liu, et al. · IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) · 27
2019 · Jing Liu, Yan Zhang, et al. · IEEE Transactions on Intelligent Transportation Systems · 26
2013 · Jing Liu, Ziwei Liu, et al. · Frontiers of Computer Science · 25
2007 · Jing Li, Jifeng He, et al. · IEEE Software Engineering Workshop (SEW) · 25
2014 · Ting Su, Geguang Pu, et al. · IEEE International Conference on Software Security and Reliability Companion · 24
2006 · Geguang Pu, Huibiao Zhu, et al. · Lecture notes in computer science · 24
Works count: 166
Citation count: 2,076
H-index: 24
I10-index: 59
Year
Topic
Type