Author: Jifeng He
Publication Overview
Publication period start: 1987
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.
https://csdl.computer.org/comp/proceedings/icci/2002/1724/00/17240069abs.htm