Importing MDG Verification Results into HOL. - Haiyan Xiong; Paul Curzon; Sofiène Tahar (TPHOLs, 1999)

Formally Linking MDG and HOL Based on a Verified MDG System. - Haiyan Xiong; Paul Curzon; Sofiène Tahar; Ann Blandford (IFM, 2002)

Providing a formal linkage between MDG and HOL based on a verified MDG system. - Haiyan Xiong (2002)

Providing a formal linkage between MDG and HOL. - Haiyan Xiong; Paul Curzon; Sofiène Tahar; Ann Blandford (Formal Methods Syst. Des., 2007)

Research on Regional renewable sources planning Model Based on Improved Ant Colony Algorithm. - Xinpin Wang; Manxi Leng; Weiqiang Fu; Haoqi Wang; Yutong Xue; Haiyan Xiong (ICISCAE (ACM), 2021)