Haiyan Xiong

According to our database, Haiyan Xiong authored at least 5 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

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

Proceedings of the ICISCAE 2021: 4th International Conference on Information Systems and Computer Aided Education, Dalian, China, September 24, 2021

2007

Providing a formal linkage between MDG and HOL.

Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford

Formal Methods Syst. Des., 2007

2002

Providing a formal linkage between MDG and HOL based on a verified MDG system.

Haiyan Xiong

PhD thesis, 2002

Formally Linking MDG and HOL Based on a Verified MDG System.

Haiyan Xiong, Paul Curzon, Sofiène Tahar, Ann Blandford

Proceedings of the Integrated Formal Methods, Third International Conference, 2002

1999

Importing MDG Verification Results into HOL.

Haiyan Xiong, Paul Curzon, Sofiène Tahar

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999