Author: Jifeng He

Publications

Publication period start: 1987
Number of co-authors: 10

Co-authors

Number of publications with favourite co-authors
Ib Holm Soerensen
1
J. Michael Spivey
1
Bernard Sufrin
1

Productive Colleagues

Most productive colleagues in number of publications
Bernard Sufrin
2
A. W. Roscoe
3
C. A. R. Hoare
14

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. https://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240069abs.htm