Haihe Shi

According to our database, Haihe Shi authored at least 12 papers between 2007 and 2023.

Collaborative distances:

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

2023

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., March, 2023

2020

Algorithm Design Through the Optimization of Reuse-Based Generation.

Haipeng Shi, Haihe Shi, Shenghua Xu

Proceedings of the Theoretical Computer Science - 38th National Conference, 2020

2019

高通量测序中序列拼接算法的研究进展 (Survey on Sequence Assembly Algorithms in High-throughput Sequencing).

Weixing Zhou, Haihe Shi

计算机科学, 2019

2014

Emergency railway wagon scheduling by hybrid biogeography-based optimization.

Yu-Jun Zheng, Hai-Feng Ling, Haihe Shi, Hai-Song Chen, Sheng-Yong Chen

Comput. Oper. Res., 2014

2011

A Generative Approach to Searching Algorithmic Programs Development.

Haihe Shi, Jinyun Xue

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Formal Derivation of Two Algorithms Involving Sequences.

Haihe Shi, Jinyun Xue

Proceedings of the 10th IEEE/ACIS International Conference on Computer and Information Science, 2011

2010

Generating Provably Correct Algorithmic Programs from Formal Specifications.

Haihe Shi, Jinyun Xue

Proceedings of the 10th International Conference on Quality Software, 2010

A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development.

Yujun Zheng, Haihe Shi, Jinyun Xue

Proceedings of the New Horizons in Web-Based Learning - ICWL 2010 Workshops, 2010

2008

A Mechanical Approach for Deriving Algorithmic Programs.

Haihe Shi, Jinyun Xue, Dawei Du

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

Generating Algorithms plus Loop Invariants by Formal Derivation.

Haihe Shi, Dawei Du, Jinyun Xue

Proceedings of the 7th IEEE/ACIS International Conference on Computer and Information Science, 2008

2007

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs.

Haihe Shi, Jinyun Xue

Proceedings of the 8th ACIS International Conference on Software Engineering, 2007

From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum.

Yujun Zheng, Haihe Shi, Jinyun Xue

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007