石海鹤｜江西师范大学｜学者主页

2026

区间合并问题类的统一建模与动态规划求解框架

石海鹤，龚嘉盈，熊潇，靳梦，杜人增，石海鹏

《华中科技大学学报(自然科学版)》

DOI

2025

生物序列比对动态规划算法的统一形式化构造与Isabelle验证

石海鹤，蓝孙文，刘日明，石海鹏，王岚，钟林辉

《计算机研究与发展》

2025

基于模板的rRNA二级结构可视化方法

石海鹤，万昆，李凤霞，魏美才，牛耕耘

《华中科技大学学报(自然科学版)》

DOI

2025

Missing Data Imputation Method for Phylogenetic Trees Based on Singular Value Decomposition and Denoising Autoencoder

Haihe Shi, Zihan Zeng, Sheng Li

IEEE International Conference on Bioinformatics and Biomedicine (BIBM)

DOI

2025

Refining the Vertebrate Mitochondrial 12S rRNA Secondary Structure by Comparative Analysis

Fengxia Li, Gengyun Niu, Renzeng Du, Kun Wan, David Roy Smith, Meicai Wei, Haihe Shi

Integrative Zoology

DOI

2025

Enhanced dynamicity: evolutionary insights into amphibian mitogenomes architecture

Yi Xiao, Gengyun Niu, Haihe Shi, Zhenyu Wang, Renzeng Du, Yankuo Li, Meicai Wei

BMC Genomics

DOI

2024

基于强化学习的双生物序列比对优化算法

石海鹤，江浪，陈名森，王岚

《江西师范大学学报(自然科学版)》

2024

改进的采样算法与无监督聚类相结合的软件缺陷预测模型

石海鹤，周世文，钟林辉，肖正兴

《江西师范大学学报(自然科学版)》

2024

qGO: a novel method for quantifying the diversity of mitochondrial genome organization

Haihe Shi, Shuai Yang, Meicai Wei, Gengyun Niu

BMC Genomics

DOI

2023

图类算法可重用设计及其实现

轩瑞，陈磊，石海鹤

《江西师范大学学报(自然科学版)》

2023

Correctness by Construction for Pairwise Sequence Alignment Algorithm in Bio-Sequence

Hai-He Shi, Sun-Wen Lan, Riming Liu, Hai-Peng Shi

Tehnički Vjesnik

DOI

2022

基于混合策略的de novo序列拼接算法构造

肖存威，石海鹤，王岚，程柏良

《江西师范大学学报(自然科学版)》

2022

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 Mining and Analytics

DOI

2022

Efficient Generation of RNA Secondary Structure Prediction Algorithm Under PAR Framework

Haihe Shi, Xiaoqian Jing

Frontiers in Plant Science

DOI

2021

Efficient Multiple Sequences Alignment Algorithm Generation via Components Assembly Under PAR Framework

Haipeng Shi, Haipeng Shi, Haihe Shi, Haihe Shi, Shenghua Xu

Frontiers in Genetics

DOI

2021

Gene Sequence Assembly Algorithm Model Based on the DBG Strategy and Its Application

Haihe Shi, Gang Wu

Journal of Healthcare Engineering

DOI

2021

A New Implementation of Genome Rearrangement Problem

Xiaoqian Jing, Haihe Shi

Journal of Healthcare Engineering

DOI

2021

Research on Components Assembly Platform of Biological Sequences Alignment Algorithm

Haihe Shi, Haihe Shi, Gang Wu, Xuchu Zhang, Jun Wang, Haipeng Shi, Haipeng Shi, Shenghua Xu

Frontiers in Genetics

DOI

2021

New Construction of Family of MLCS Algorithms

Haihe Shi, Jun Wang

Journal of Healthcare Engineering

DOI

2021

Algorithm Design Through the Optimization of Reuse-Based Generation

Haipeng Shi, Haihe Shi, Shenghua Xu

Communications in computer and information science

DOI

2020

多序列比对算法族的形式化设计与生成

张旭初，石海鹤

《计算机工程与科学》

2020

形式化开发多序列比对算法

石海鹤

《江西高校出版社》

2020

Component-Based Design and Assembly of Heuristic Multiple Sequence Alignment Algorithms

Haihe Shi, Xuchu Zhang

Frontiers in Genetics

DOI

2019

高通量测序中序列拼接算法的研究进展

周卫星，石海鹤

《计算机科学》

2019

基于动态规划的双序列比对算法构件设计与实现

石海鹤，周卫星

《计算机研究与发展》

2019

Apla与程序设计语言泛型特性比较研究

左正康，刘志豪，黄箐，游珍，王昌晶，石海鹤，胡启敏，陶小明

《江西师范大学学报(自然科学版)》

2018

WSDL→Radl-WS生成方法及自动转换系统

张琦，王昌晶，罗海梅，左正康，石海鹤，郭帆

《江西师范大学学报(自然科学版)》

2018

泛型编程在面向对象语言中的对比研究

周卫星，左正康，王昌晶，石海鹤，游珍，谢武平，陶小明

《江西师范大学学报(自然科学版)》

2017

形式化框架下置换和查找类算法的组装生成

石海鹤

《科学出版社》

2016

基于构件的若干图算法开发和生成

鄢梦恬，石海鹤

《江西师范大学学报(自然科学版)》

2016

一种抽象泛型机制的新型Java实现

田方，石海鹤，左正康，王昌晶，薛锦云

《江西师范大学学报(自然科学版)》

2014

Formal Approach to Enhance the Reliability of Embedded Software System

Hai-He Shi, Hai-Peng Shi

DOI

2014

Deductive Synthesis of Algorithms in Human-Computer Interaction

Hai-He Shi, Hai-Peng Shi

DOI

2012

Research on Automated Sorting Algorithms Generation Based on PAR: Research on Automated Sorting Algorithms Generation Based on PAR

Hai-He Shi, J. Xue

DOI

2011

基于形式演算和不变式验证的可信算法程序构造(英文)

郑宇军，石海鹤，薛锦云，陈胜勇

China Communications

2011

A Generative Approach to Searching Algorithmic Programs Development

Haihe Shi, Jinyun Xue

DOI

2011

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

Yu‐Jun Zheng, Haihe Shi, Jinyun Xue

Lecture notes in computer science

DOI

2010

一组基于PAR的高可靠查找算法程序开发

石海鹤，薛锦云

《计算机研究与发展》

2010

An algebraic approach to mechanical tabu search algorithm generation

Yu‐Jun Zheng, Haihe Shi, Jinyun Xue

IEEE International Conference on Progress in Informatics and Computing

DOI

2010

Generating Provably Correct Algorithmic Programs from Formal Specifications

Haihe Shi, Jinyun Xue

Proceedings of the ... International Conference on Quality Software/Proceedings

DOI

2009

基于PAR的算法形式化开发

石海鹤，薛锦云

《计算机学报》

2009

A category theoretic approach to search algorithms: Towards a unified implementation for branch-and-bound and backtracking

Yu‐Jun Zheng, Jinyun Xue, Haihe Shi

International Conference on Computer Science & Education (ICCSE)

DOI

2008

一种基于Java可重用部件库的多核程序开发方法

揭安全，石海鹤，薛锦云

《微电子学与计算机》

2008

Formal method Designware and its specification refinement mechanism

Hai-He Shi

2008

A Mechanical Approach for Deriving Algorithmic Programs

Haihe Shi, Jinyun Xue, Dawei Du

IEEE/ACIS International Conference on Computer and Information Science (ICIS)

DOI

2007

算法程序变换研究与进展

石海鹤，石海鹏，郑宇军，薛锦云

《计算机科学》

2007

Formal Programming for the Shortest Path and Its Critical Edge Problems

Yu‐Jun Zheng, Jinyun Xue, Haihe Shi

IEEE International Conference on Automation and Logistics (ICAL)

DOI

2007

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs

Haihe Shi, Jinyun Xue

ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD)

DOI

2007

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

Yu‐Jun Zheng, Haihe Shi, Jinyun Xue

Lecture notes in computer science

DOI

2006

基于JATLite代理平台的程序设计ICAI的实现

肖正兴，杨庆红，薛锦云，石海鹤

《计算机工程》

2006

形式化开发若干组合数学问题的算法

石海鹤，石海鹏，薛锦云

《江西师范大学学报(自然科学版)》

2006

Formal Development of Several Algorithms for Combinatorial Mathematics Problems

Hai-He Shi, Hai-Peng Shi

2006

Implementation of Programming ICAI Based on JATLite Agent Platform

Haihe Shi

Jisuanji gongcheng

2004

支持泛型程序设计的Apla-Java自动程序转换系统

石海鹤

《江西师范大学》

2001

用PAR方法构建三种Java集合类

石海鹤，骆健，薛锦云

《计算机与现代化》

精选作品

期刊论文

区间合并问题类的统一建模与动态规划求解框架

生物序列比对动态规划算法的统一形式化构造与Isabelle验证

基于模板的rRNA二级结构可视化方法

Missing Data Imputation Method for Phylogenetic Trees Based on Singular Value Decomposition and Denoising Autoencoder

Refining the Vertebrate Mitochondrial 12S rRNA Secondary Structure by Comparative Analysis

Enhanced dynamicity: evolutionary insights into amphibian mitogenomes architecture

基于强化学习的双生物序列比对优化算法

改进的采样算法与无监督聚类相结合的软件缺陷预测模型

qGO: a novel method for quantifying the diversity of mitochondrial genome organization

图类算法可重用设计及其实现

Correctness by Construction for Pairwise Sequence Alignment Algorithm in Bio-Sequence

基于混合策略的de novo序列拼接算法构造

A Method for Bio-Sequence Analysis Algorithm Development Based on the PAR Platform

Efficient Generation of RNA Secondary Structure Prediction Algorithm Under PAR Framework

Efficient Multiple Sequences Alignment Algorithm Generation via Components Assembly Under PAR Framework

Gene Sequence Assembly Algorithm Model Based on the DBG Strategy and Its Application

A New Implementation of Genome Rearrangement Problem

Research on Components Assembly Platform of Biological Sequences Alignment Algorithm

New Construction of Family of MLCS Algorithms

Algorithm Design Through the Optimization of Reuse-Based Generation

多序列比对算法族的形式化设计与生成

形式化开发多序列比对算法

Component-Based Design and Assembly of Heuristic Multiple Sequence Alignment Algorithms

高通量测序中序列拼接算法的研究进展

基于动态规划的双序列比对算法构件设计与实现

Apla与程序设计语言泛型特性比较研究

WSDL→Radl-WS生成方法及自动转换系统

泛型编程在面向对象语言中的对比研究

形式化框架下置换和查找类算法的组装生成

基于构件的若干图算法开发和生成

一种抽象泛型机制的新型Java实现

Formal Approach to Enhance the Reliability of Embedded Software System

Deductive Synthesis of Algorithms in Human-Computer Interaction

Research on Automated Sorting Algorithms Generation Based on PAR: Research on Automated Sorting Algorithms Generation Based on PAR

基于形式演算和不变式验证的可信算法程序构造(英文)

A Generative Approach to Searching Algorithmic Programs Development

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

一组基于PAR的高可靠查找算法程序开发

An algebraic approach to mechanical tabu search algorithm generation

Generating Provably Correct Algorithmic Programs from Formal Specifications

基于PAR的算法形式化开发

A category theoretic approach to search algorithms: Towards a unified implementation for branch-and-bound and backtracking

一种基于Java可重用部件库的多核程序开发方法

Formal method Designware and its specification refinement mechanism

A Mechanical Approach for Deriving Algorithmic Programs

算法程序变换研究与进展

Formal Programming for the Shortest Path and Its Critical Edge Problems

Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs

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

基于JATLite代理平台的程序设计ICAI的实现

形式化开发若干组合数学问题的算法

Formal Development of Several Algorithms for Combinatorial Mathematics Problems

Implementation of Programming ICAI Based on JATLite Agent Platform

支持泛型程序设计的Apla-Java自动程序转换系统

用PAR方法构建三种Java集合类

会议论文

Spec#语言中的形式化特性

预印本

Secondary Structure Diversity of the Mitochondrial Small-Subunit rRNA in Porifera

研究方向