From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. - Yujun Zheng 001; Haihe Shi; Jinyun Xue (International Conference on Computational Science (3), 2007)

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. - Haihe Shi; Jinyun Xue (SNPD (3), 2007)

Generating Algorithms plus Loop Invariants by Formal Derivation. - Haihe Shi; Dawei Du; Jinyun Xue (ACIS-ICIS, 2008)

A Mechanical Approach for Deriving Algorithmic Programs. - Haihe Shi; Jinyun Xue; Dawei Du (ACIS-ICIS, 2008)

A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. - Yujun Zheng; Haihe Shi; Jinyun Xue (ICWL Workshops, 2010)

Generating Provably Correct Algorithmic Programs from Formal Specifications. - Haihe Shi; Jinyun Xue (QSIC, 2010)

Formal Derivation of Two Algorithms Involving Sequences. - Haihe Shi; Jinyun Xue (ACIS-ICIS, 2011)

A Generative Approach to Searching Algorithmic Programs Development. - Haihe Shi; Jinyun Xue (TASE, 2011)

Emergency railway wagon scheduling by hybrid biogeography-based optimization. - Yu-Jun Zheng 001; Hai-Feng Ling; Haihe Shi; Hai-Song Chen; Sheng-Yong Chen (Comput. Oper. Res., 2014)

高通量测序中序列拼接算法的研究进展 (Survey on Sequence Assembly Algorithms in High-throughput Sequencing). - Weixing Zhou; Haihe Shi (计算机科学, 2019)

Algorithm Design Through the Optimization of Reuse-Based Generation. - Haipeng Shi; Haihe Shi; Shenghua Xu (NCTCS, 2020)

A Method for Bio-Sequence Analysis Algorithm Development Based on the PAR Platform. - Haipeng Shi; Huan Chen; Qinghong Yang; Jun Wang; Haihe Shi (Big Data Min. Anal., 2023)