Zhengkang Zuo - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 19 from 19

2024

Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI DialogueQing Huang, Zishuai Li, Zhenchang Xing, Zhengkang Zuo, Xin Peng 0001, Xiwei Xu 0001, Qinghua Lu 0001. TSE, 50(2):280-295, February 2024. [doi]

2023

Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code ReuseQing Huang, Dianshu Liao, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia 0001. TOSEM, 32(6), November 2023. [doi]

1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent ApplicationQing Huang, Zhiqiang Yuan, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia 0001. tsc, 16(3):1540-1554, May - June 2023. [doi]

Research on smart contract vulnerability detection method based on domain features of solidity contracts and attention mechanismChangjing Wang, Huiwen Jiang, Yuxin Wang, Qing Huang, Zhengkang Zuo. jifs, 45(1):1513-1525, 2023. [doi]

An enhanced EDBF framework: adaptive boundary constraint framework (ABCF) for improving multi-parent crossover algorithmsZhengkang Zuo. soco, 27(20):14689-14697, October 2023. [doi]

Specification transformation method for functional program generation based on partition-recursion refinement ruleZhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang. isci, 633:613-632, July 2023. [doi]

2021

2020

2019

Formal Development and Verification of Reusable Component in PAR PlatformQimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo. sofl 2020: 155-166 [doi]

Apla Generic Constraint Matching Detection and VerificationZhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu. ICECCS 2019: 210-219 [doi]

2016

Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithmsZhen You, Jinyun Xue, Zhengkang Zuo. cluster, 19(4):2145-2156, 2016. [doi]

2013

Constraint Verification of Generic Algorithmic Program for Solving General Network Path ProblemsZhengkang Zuo, Jinyun Xue, Changjing Wang. jnw, 8(5):1050-1057, 2013. [doi]

2009

Toward an Automatic Approach to Greedy AlgorithmsYujun Zheng, Jinyun Xue, Zhengkang Zuo. faw 2009: 302-313 [doi]

2008

A Linear In-situ Algorithm for the Power of Cyclic PermutationJinyun Xue, Bo Yang, Zhengkang Zuo. faw 2008: 113-123 [doi]

Sign in or sign up to see more results.

runs on WebDSL