Zhengkang Zuo

According to our database, Zhengkang Zuo authored at least 20 papers between 2008 and 2024.

Collaborative distances:

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

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., December, 2024

Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue.

Qing Huang, Zishuai Li, Zhenchang Xing, Zhengkang Zuo, Xin Peng, Xiwei Xu, Qinghua Lu

IEEE Trans. Software Eng., February, 2024

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

ACM Trans. Softw. Eng. Methodol., November, 2023

An enhanced EDBF framework: adaptive boundary constraint framework (ABCF) for improving multi-parent crossover algorithms.

Zhengkang Zuo

Soft Comput., October, 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

Inf. Sci., July, 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

IEEE Trans. Serv. Comput., 2023

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

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

Search for Compatible Source Code.

Fuqi Cai, Changjing Wang, Qing Huang, Zhengkang Zuo, Yunyan Liao

Int. J. Softw. Eng. Knowl. Eng., 2021

Using EDBF Algorithm in the Prediction and Downscaling of High-Resolution Annual Precipitation Through Multitemporal GPM Variables.

Sana Ullah, Zhengkang Zuo, Lei Yan

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2021

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, Imran Iqbal, Yiyuan Sun, Ming Yang, Lei Yan

Remote. Sens., 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

Proceedings of the 20th IEEE International Conference on Software Quality, 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

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Improved Genetic Algorithm for Bundle Adjustment in Photogrammetry.

Zhengkang Zuo, Yiyuan Sun, Ruihua Zhang, Lei Yan

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2020

2019

Formal Development and Verification of Reusable Component in PAR Platform.

Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Apla Generic Constraint Matching Detection and Verification.

Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2016

Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms.

Zhen You, Jinyun Xue, Zhengkang Zuo

Clust. Comput., 2016

2013

Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.

Zhengkang Zuo, Jinyun Xue, Changjing Wang

J. Networks, 2013

2009

Toward an Automatic Approach to Greedy Algorithms.

Yujun Zheng, Jinyun Xue, Zhengkang Zuo

Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009

2008

A Linear In-situ Algorithm for the Power of Cyclic Permutation.

Jinyun Xue, Bo Yang, Zhengkang Zuo

Proceedings of the Frontiers in Algorithmics, Second Annual International Workshop, 2008