He Jifeng - Concepedia

Author

He Jifeng

University of Oxford ORCID

Also Known As

H Jifeng, H. Jifeng, H.E. Jifeng, He Jifeng, Jifeng He, Li, Yan

108

Publications

2.3K

Citations

H-Index

Concepts

All Affiliations

University of Oxford Oxford Research Group United Nations University Institute on Computing and Society University of Macau East China Normal University

About

He Jifeng is an author at University of Oxford specializing in engineering, formal methods, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	14	15	1.2K
2	Computer Engineering	3	3	66
3	Language Studies	2	2	55
4	Social Sciences	2	2	83
5	Management	1	1	119

He Jifeng

Publications

1.5K

Citations

H-Index

Page 1

	Year	Citations
Laws of programming C. A. R. Hoare, Ian J. Hayes, He Jifeng, Communications of the ACM Mathematical ProgrammingEngineeringComputational ComplexitySoftware AnalysisFormal Verification	1987	389
Probabilistic models for the guarded command language He Jifeng, Karen Seidel, Annabelle McIver Science of Computer Programming EngineeringProgram AnalysisAutomated ReasoningGuarded Command LanguageVerification	1997	162
Prespecification in data refinement C. A. R. Hoare, He Jifeng, J. W. Sanders Information Processing Letters Refinement TechniqueEngineeringData RefinementAutomated ReasoningKnowledge Discovery	1987	119
rCOS: A refinement calculus of object systems He Jifeng, Xiaoshan Li, Zhiming Liu Theoretical Computer Science Artificial IntelligenceRefinement TechniqueEngineeringAutomated ReasoningFormal Methods	2006	100
A formal semantics of UML sequence diagram Xiaoshan Li, Zhiming Liu, He Jifeng Specification LanguageFormal SpecificationUml Sequence DiagramEngineeringOperational Semantics	2004	84
Normal form approach to compiler design C. A. R. Hoare, He Jifeng, Augusto Sampaio Acta Informatica Normal Form ApproachEngineeringProgram AnalysisCompiler TechnologyCompiler Support	1993	81
Process simulation and refinement He Jifeng Formal Aspects of Computing	1989	69
The Weakest Prespecification, Part I C.A.R. Hoare, He Jifeng Fundamenta Informaticae DemocracyIntrinsic CharmConstitutional LawWeakest PrespecificationFoundational Calculus	1986	63
A specification-oriented semantics for the refinement of real-time systems David Scholefield, Hussein Zedan, He Jifeng Theoretical Computer Science Specification LanguageFormal SpecificationEngineeringAutomated ReasoningVerification	1994	48
A process algebraic framework for specification and validation of real-time systems Adnan Sherif, Ana Cavalcanti, He Jifeng, Formal Aspects of Computing	2009	47

Page 1