Haiyan Xiong

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 1

Top Topics

Planning Process

Stochastic Domains

Improved Ant Colony Algorithm

Top Venues

Middlesex University, London, UK (PHD)

Education History

Middlesex University, London, UK

PHD

Publications

Xinpin Wang, Manxi Leng, Weiqiang Fu, Haoqi Wang, Yutong Xue, Haiyan Xiong
Research on Regional renewable sources planning Model Based on Improved Ant Colony Algorithm. ICISCAE (ACM) (2021)
Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
Providing a formal linkage between MDG and HOL. Formal Methods Syst. Des. 30 (2) (2007)
Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford
Formally Linking MDG and HOL Based on a Verified MDG System. IFM (2002)
Haiyan Xiong, Paul Curzon, Sofiène Tahar
Importing MDG Verification Results into HOL. TPHOLs (1999)