H. Jifeng
发表
Jin Naiyong,
H. Jifeng,
Qiu Zongyan,
2004
.
H. Jifeng,
S. Qin,
A. Sherif,
2015
.
He Jifeng,
Jifeng He,
H. Jifeng,
2004
.
Flemming Nielson,
Anders P. Ravn,
Hans Rischel,
1989
.
H. Jifeng,
2007
.
C. Hoare,
H. Jifeng,
B.,
1989
.
He Jifeng,
H. Jifeng,
1991
.
He Jifeng,
Li Qin,
H. Jifeng,
2017
.
He Jifeng,
H. Jifeng,
2013,
ICTAC 2013.
He Jifeng,
H. Jifeng,
J. He,
1994
.
Xu Qiwen,
He Jifeng,
Xu Qiwen,
2003,
Formal Aspects of Computing.
He Jifeng,
H. Jifeng,
2002,
Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..
He Jifeng,
H. Jifeng,
2010
.
He Jifeng,
H. Jifeng,
2008
.
He Jifeng,
Zheng Jianping,
H. Jifeng,
1994
.
He Jifeng,
Charles Antony Richard Hoare,
C. Hoare,
1992
.
C. A. R. Hoare,
Jonathan P. Bowen,
He Jifeng,
1990
.
He Jifeng,
H. Jifeng,
2007
.
He Jifeng,
Zhang Naixiao,
Qiu Zongyan,
2002
.
He Jifeng,
G. Barrett,
A. McIsaac,
1996
.
He Jifeng,
H. Jifeng,
2007
.
Liu Jing,
He Jifeng,
Liu Zhiming,
2006
.