Prototyping with Temporal VDM: A Status Report. - Heping He; Hussein Zedan (VDM Europe (1), 1991)

Requirement Specification For Real-Time and Hybrid Systems. - Heping He; Hussein Zedan (FORTE, 1993)

Cycle calculus for hybrid systems. - Heping He; Hussein Zedan (Microprocess. Microprogramming, 1993)

An Executable Specification Language for Fast Prototyping Parallel Responsive Systems. - Heping He; Hussein Zedan (Comput. Lang., 1996)

A fast prototype tool for parallel reactive systems. - Heping He; Hussein Zedan (J. Syst. Archit., 1996)

A flexible approach to inference in semiparametric regression models with correlated errors using Gaussian processes. - Heping He; Thomas A. Severini (Comput. Stat. Data Anal., 2016)