Haihe Shi

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 3

Top Topics

Generation Algorithm

Sequence Analysis

Similarity Metric

Artificial Immune System

Top Venues

Comput. Oper. Res.

计算机科学

Big Data Min. Anal.

Publications

Haipeng Shi, Huan Chen, Qinghong Yang, Jun Wang, Haihe Shi
A Method for Bio-Sequence Analysis Algorithm Development Based on the PAR Platform. Big Data Min. Anal. 6 (1) (2023)
Haipeng Shi, Haihe Shi, Shenghua Xu
Algorithm Design Through the Optimization of Reuse-Based Generation. NCTCS (2020)
Weixing Zhou, Haihe Shi
高通量测序中序列拼接算法的研究进展 (Survey on Sequence Assembly Algorithms in High-throughput Sequencing). 计算机科学 46 (5) (2019)
Yu-Jun Zheng, Hai-Feng Ling, Haihe Shi, Hai-Song Chen, Sheng-Yong Chen
Emergency railway wagon scheduling by hybrid biogeography-based optimization. Comput. Oper. Res. 43 (2014)
Haihe Shi, Jinyun Xue
Formal Derivation of Two Algorithms Involving Sequences. ACIS-ICIS (2011)
Haihe Shi, Jinyun Xue
A Generative Approach to Searching Algorithmic Programs Development. TASE (2011)
Haihe Shi, Jinyun Xue
Generating Provably Correct Algorithmic Programs from Formal Specifications. QSIC (2010)
Yujun Zheng, Haihe Shi, Jinyun Xue
A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. ICWL Workshops (2010)
Haihe Shi, Jinyun Xue, Dawei Du
A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS (2008)
Haihe Shi, Dawei Du, Jinyun Xue
Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS (2008)
Haihe Shi, Jinyun Xue
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. SNPD (3) (2007)
Yujun Zheng, Haihe Shi, Jinyun Xue
From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. International Conference on Computational Science (3) (2007)