Zhengkang Zuo

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 18

Top Topics

Semantic Enrichment

Knowledge Acquisition

Top Venues

ACM Trans. Softw. Eng. Methodol.

Publications

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