Jifeng He

Personal Homepage
Employer
()
Email

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

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

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.