A Linear In-situ Algorithm for the Power of Cyclic Permutation. - Jinyun Xue; Bo Yang; Zhengkang Zuo (FAW, 2008)

Toward an Automatic Approach to Greedy Algorithms. - Yujun Zheng 001; Jinyun Xue; Zhengkang Zuo (FAW, 2009)

Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems. - Zhengkang Zuo; Jinyun Xue; Changjing Wang (J. Networks, 2013)

Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. - Zhen You; Jinyun Xue; Zhengkang Zuo (Clust. Comput., 2016)

Apla Generic Constraint Matching Detection and Verification. - Zhengkang Zuo; Zhihao Liu; Changjing Wang; Zhen You; Qimin Hu (ICECCS, 2019)

Formal Development and Verification of Reusable Component in PAR Platform. - Qimin Hu; Jinyun Xue; Zhen You; Zhuo Cheng; Zhengkang Zuo (SOFL+MSVL, 2019)

Improved Genetic Algorithm for Bundle Adjustment in Photogrammetry. - Zhengkang Zuo; Yiyuan Sun; Ruihua Zhang; Lei Yan (IGARSS, 2020)

Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification. - Changjing Wang; Fan Xu; Haimei Luo; Qing Huang; Zhengkang Zuo (QRS, 2020)

Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems. - Zhengkang Zuo; Yue Fang; Qing Huang; Yunyan Liao; Yuan Wang; Changjing Wang (QRS Companion, 2020)

GPM-Based Multitemporal Weighted Precipitation Analysis Using GPM_IMERGDF Product and ASTER DEM in EDBF Algorithm. - Sana Ullah; Zhengkang Zuo; Feizhou Zhang; Jianghua Zheng; Shifeng Huang; Yi Lin 002; Imran Iqbal; Yiyuan Sun; Ming Yang; Lei Yan (Remote. Sens., 2020)

Using EDBF Algorithm in the Prediction and Downscaling of High-Resolution Annual Precipitation Through Multitemporal GPM Variables. - Sana Ullah; Zhengkang Zuo; Lei Yan (IGARSS, 2021)

Search for Compatible Source Code. - Fuqi Cai; Changjing Wang; Qing Huang; Zhengkang Zuo; Yunyan Liao (Int. J. Softw. Eng. Knowl. Eng., 2021)

Empirical distribution-based framework for improving multi-parent crossover algorithms. - Zhengkang Zuo; Lei Yan; Sana Ullah; Yiyuan Sun; Ruihua Zhang; Hongying Zhao (Soft Comput., 2021)

Research on smart contract vulnerability detection method based on domain features of solidity contracts and attention mechanism. - Changjing Wang; Huiwen Jiang; Yuxin Wang; Qing Huang; Zhengkang Zuo (J. Intell. Fuzzy Syst., 2023)

1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application. - Qing Huang; Zhiqiang Yuan; Zhenchang Xing; Zhengkang Zuo; Changjing Wang; Xin Xia 001 (IEEE Trans. Serv. Comput., 2023)

Specification transformation method for functional program generation based on partition-recursion refinement rule. - Zhengkang Zuo; Zhicheng Zeng; Wei Su; Qing Huang; Yuhan Ke; Zengxin Liu; Changjing Wang; Wei Liang 005 (Inf. Sci., 2023)

An enhanced EDBF framework: adaptive boundary constraint framework (ABCF) for improving multi-parent crossover algorithms. - Zhengkang Zuo (Soft Comput., 2023)

Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse. - Qing Huang; Dianshu Liao; Zhenchang Xing; Zhengkang Zuo; Changjing Wang; Xin Xia 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Functional Modelling of the Matroid and Application to the Knapsack Problem. - Zikang Wan; Zhen You; Chen Zhang; Zhengkang Zuo; Changjing Wang; Qimin Hu (SFPVV, 2024)

Program Derivation and Mechanized Verification of Imperative Dynamic Programming Algorithms. - Zhengkang Zuo; Huan Sun; Changjing Wang; Zhen You; Qing Huang; Changchang Wang (Int. J. Softw. Informatics, 2024)

Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue. - Qing Huang; Zishuai Li; Zhenchang Xing; Zhengkang Zuo; Xin Peng 001; Xiwei Xu 001; Qinghua Lu 001 (IEEE Trans. Software Eng., 2024)

Modeling and Verification Methods for Spatio-Temporal Consistency of CPS in Uncertain Environments. - Shuqi Pan; Changjing Wang; Wuping Xie; Jiaxing Lu; Qing Huang; Zhengkang Zuo (IEEE Trans. Reliab., 2024)