Zhengkang Zuo

26 papers B 1C 3Misc 2Journal 17Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Functional Modeling and Mechanized Verification of Bisimulations for NFTS.
IEEE Trans. Reliab.
Zhen You, Jiawei Wu, Changjing Wang, Zhengkang Zuo
2025 J jnl
Modeling and Verification of MRSCAN Based on MapReduce Framework.
IEEE Trans. Reliab.
Zhengkang Zuo, Yuhan Ke, Ying Hu, Qing Huang, Zhicheng Zeng, Changjing Wang
2024 J jnl
Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue.
IEEE Trans. Software Eng.
Qing Huang, Zishuai Li, Zhenchang Xing, Zhengkang Zuo, Xin Peng, Xiwei Xu, Qinghua Lu
2024 — conf
Functional Modelling of the Matroid and Application to the Knapsack Problem.
SFPVV
Zikang Wan, Zhen You, Chen Zhang, Zhengkang Zuo, Changjing Wang, Qimin Hu
2024 J jnl
Modeling and Verification Methods for Spatio-Temporal Consistency of CPS in Uncertain Environments.
IEEE Trans. Reliab.
Shuqi Pan, Changjing Wang, Wuping Xie, Jiaxing Lu, Qing Huang, Zhengkang Zuo
2024 J jnl
Program Derivation and Mechanized Verification of Imperative Dynamic Programming Algorithms.
Int. J. Softw. Informatics
Zhengkang Zuo, Huan Sun, Changjing Wang, Zhen You, Qing Huang, Changchang Wang
2023 J jnl
1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.
IEEE Trans. Serv. Comput.
Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia
2023 J jnl
An enhanced EDBF framework: adaptive boundary constraint framework (ABCF) for improving multi-parent crossover algorithms.
Soft Comput.
Zhengkang Zuo
2023 J jnl
Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue.
CoRR
Qing Huang, Zishuai Li, Zhenchang Xing, Zhengkang Zuo, Xin Peng, Xiwei Xu, Qinghua Lu
2023 J jnl
Research on smart contract vulnerability detection method based on domain features of solidity contracts and attention mechanism.
J. Intell. Fuzzy Syst.
Changjing Wang, Huiwen Jiang, Yuxin Wang, Qing Huang, Zhengkang Zuo
2023 J jnl
Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse.
ACM Trans. Softw. Eng. Methodol.
Qing Huang, Dianshu Liao, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia
2023 J jnl
Specification transformation method for functional program generation based on partition-recursion refinement rule.
Inf. Sci.
Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang
2022 J jnl
1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.
CoRR
Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia
2021 J jnl
Empirical distribution-based framework for improving multi-parent crossover algorithms.
Soft Comput.
Zhengkang Zuo, Lei Yan, Sana Ullah, Yiyuan Sun, Ruihua Zhang, Hongying Zhao
2021 J jnl
Search for Compatible Source Code.
Int. J. Softw. Eng. Knowl. Eng.
Fuqi Cai, Changjing Wang, Qing Huang, Zhengkang Zuo, Yunyan Liao
2021 C conf
Using EDBF Algorithm in the Prediction and Downscaling of High-Resolution Annual Precipitation Through Multitemporal GPM Variables.
IGARSS
Sana Ullah, Zhengkang Zuo, Lei Yan
2020 C conf
Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification.
QRS
Changjing Wang, Fan Xu, Haimei Luo, Qing Huang, Zhengkang Zuo
2020 J jnl
GPM-Based Multitemporal Weighted Precipitation Analysis Using GPM_IMERGDF Product and ASTER DEM in EDBF Algorithm.
Remote. Sens.
Sana Ullah, Zhengkang Zuo, Feizhou Zhang, Jianghua Zheng, Shifeng Huang, Yi Lin, Imran Iqbal, Yiyuan Sun, Ming Yang, Lei Yan
2020 C conf
Improved Genetic Algorithm for Bundle Adjustment in Photogrammetry.
IGARSS
Zhengkang Zuo, Yiyuan Sun, Ruihua Zhang, Lei Yan
2020 — conf
Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems.
QRS Companion
Zhengkang Zuo, Yue Fang, Qing Huang, Yunyan Liao, Yuan Wang, Changjing Wang
2019 B conf
Apla Generic Constraint Matching Detection and Verification.
ICECCS
Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu
2019 — conf
Formal Development and Verification of Reusable Component in PAR Platform.
SOFL+MSVL
Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
2016 J jnl
Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms.
Clust. Comput.
Zhen You, Jinyun Xue, Zhengkang Zuo
2013 J jnl
Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.
J. Networks
Zhengkang Zuo, Jinyun Xue, Changjing Wang
2009 Misc conf
Toward an Automatic Approach to Greedy Algorithms.
FAW
Yujun Zheng, Jinyun Xue, Zhengkang Zuo
2008 Misc conf
A Linear In-situ Algorithm for the Power of Cyclic Permutation.
FAW
Jinyun Xue, Bo Yang, Zhengkang Zuo