国家自然科学基金委“可信软件基础研究”重大研究计划,首席科学家。
科技部“海量信息的协同性和可生存性的理论与实践研究”973项目,首席科学家。
1.He Jifeng: Linking Semantic Models. ICTAC 2007 : 18-33.
2.He Jifeng: UTP Semantics for Web Services. IFM 2007 : 353-372.
3.He Jifeng‚Zhu Huibiao‚Pu Geguang: A model for BPEL-like languages‚Front.Comput.Sci.China 2007‚1(1):9-19.
4.Jifeng He: Compensable Programs. Formal Methods and Hybrid Real-Time Systems 2007 : 349-363.
5.Jifeng He‚ Jeff W. Sanders : Unifying Probability. UTP 2006 : 173-199.
6.Jifeng He‚ C. A. R. Hoare : CSP Is a Retract of CCS. UTP 2006 : 38-62.
7.Jifeng He‚ Shengchao Qin ‚ Adnan Sherif : Constructing Property-Oriented Models for Verification. UTP 2006 : 85-100.
8.Jifeng He‚ Xiaoshan Li ‚ Zhiming Liu : A Theory of Reactive Components. Electr. Notes Theor. Comput. Sci. 160 : 173-195 (2006).
9.Jifeng He‚ Xiaoshan Li ‚ Zhiming Liu : rCOS: A refinement calculus of object systems. Theor. Comput. Sci. 365 (1-2): 109-142 (2006).
10.Jifeng He: Linking Theories of Concurrency by Retraction. ICDCIT 2005 : 432.
11.Jifeng He‚ C. A. R. Hoare : Linking Theories of Concurrency. ICTAC 2005 : 303-317.
12.Jifeng He‚ Xiaoshan Li ‚ Zhiming Liu : Component-Based Software Engineering. ICTAC 2005 : 70-95.
13.Jifeng He‚ Dang Van Hung ‚ Geguang Pu ‚ Zongyan Qiu ‚ Wang Yi : Exploring optimal solution to hardware/software partitioning for synchronous model. Formal Asp. Comput. 17 (4): 443-460 (2005).
14.Jifeng He: Linking Theories of Concurrency. 25 Years Communicating Sequential Processes 2004 : 61-74.
15.Jifeng He‚ Zhiming Liu ‚ Xiaoshan Li ‚ Shengchao Qin : A Relational Model for Object-Oriented Designs.APLAS 2004 : 415-436.
16.Jifeng He‚ Carroll Morgan ‚ Annabelle McIver : Deriving Probabilistic Semantics Via the ´Weakest Completion´. ICFEM 2004 : 131-145.
17.Jifeng He‚ Naiyong Jin : Integrating Variants of DC. ICTAC 2004 : 14-34.