Zhengkang Zuo - 论文、H指数与引用

左

左正康 (Zhengkang Zuo)

Jiangxi Normal University

5H指数

36论文数

87被引数

收录论文 7

发表时间

Functional Modeling and Mechanized Verification of Bisimulations for NFTS 有限状态转移系统（NFTS）的双模拟的功能建模与机械化验证

IEEE Transactions on Reliability

IF5.7

2025-09-23

PREAI

Zhen You; Jiawei Wu; Changjing Wang; Zhengkang Zuo

Modeling and Verification of MRSCAN Based on MapReduce Framework 基于MapReduce框架的MRSCAN建模与验证

IEEE Transactions on Reliability

IF5.7

2025-01-01

PREAI

Zhengkang Zuo; Yuhan Ke; Ying Hu; Qing Huang; Zhicheng Zeng; Changjing Wang

Modeling and Verification Methods for Spatio-Temporal Consistency of CPS in Uncertain Environments 不确定环境下CPS时空一致性建模与验证方法研究

IEEE TRANSACTIONS ON RELIABILITY

IF5.7

2024-12-01

PREAI

Pan, Shuqi; Wang, Changjing; Xie, Wuping; Lu, Jiaxing; Huang, Qing; Zuo, Zhengkang

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

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2024-02-01

OAAI

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

Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-09-30

OAAI

Huang, Qing; Liao, Dianshu; Xing, Zhenchang; Zuo, Zhengkang; Wang, Changjing; Xia, Xin

1+1 >2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application

IEEE TRANSACTIONS ON SERVICES COMPUTING

IF5.8

2022-01-01

PREAI

Huang, Qing; Yuan, Zhiqiang; Xing, Zhenchang; Zuo, Zhengkang; Wang, Changjing; Xia, Xin

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

CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS

IF4.1

2016-10-20

PREAI

You, Zhen; Xue, Jinyun; Zuo, Zhengkang

研究方向