Jifeng He

Publication Statistics

Publication period start
1987
Publication period end
2002
Number of co-authors
10

Co-authors

Number of publications with favourite co-authors

Productive Colleagues

Most productive colleagues in number of publications

Publications

Hoare, C. A. R., Hayes, Ian J., He, Jifeng, Morgan, Carroll, Roscoe, A. W., Sanders, Jeff W., Soerensen, Ib Holm, Spivey, J. Michael, Sufrin, Bernard (1987): Laws of Programming. In Communications of the ACM, 30 (8) pp. 672-686.

He, Jifeng, Liu, Zhiming, Li, Xiaoshan (2002): Towards a Refinement Calculus for Object Systems. In: Proceedings of the 1st IEEE International Conference on Cognitive Informatics ICCI 2002 19-20 August, 2002, Calgary, Canada. pp. 69-76. http://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240069abs.htm