I agree that this site is using cookies. You can find further informations here.
X
Zuo, Zhengkang
29  results:
Search for persons X
?
1

Answering Uncertain, Under-Specified API Queries Assisted b..:

Huang, Qing ; Li, Zishuai ; Xing, Zhenchang...
IEEE Transactions on Software Engineering.  50 (2024)  2 - p. 280-295 , 2024
Link: https://doi.org/10.1109/..
 
?
2

Modeling and Verification Methods for Spatio-Temporal Consi..:

Pan, Shuqi ; Wang, Changjing ; Xie, Wuping...
IEEE Transactions on Reliability.  , 2024
Link: https://doi.org/10.1109/..
 
?
3

ERoots: A three-dimensional dynamic growth model of rice ro..:

Yang, Le ; Wu, Panpan ; Zuo, Zhengkang...
Biosystems Engineering.  244 (2024)  - p. 122-133 , 2024
Link: https://doi.org/10.1016/..
 
?
4

Polar-vision1: A Novel Collinearity Equation of Perspective..:

Zuo, Zhengkang ; Zhang, Bin
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences.  XLVIII-1-2024 (2024)  - p. 917-925 , 2024
Link: https://doi.org/10.5194/..
 
?
5

An enhanced EDBF framework: adaptive boundary constraint fr..:

Zuo, Zhengkang
Soft Computing.  27 (2023)  20 - p. 14689-14697 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Specification transformation method for functional program ..:

Zuo, Zhengkang ; Zeng, Zhicheng ; Su, Wei...
Information Sciences.  633 (2023)  - p. 613-632 , 2023
Link: https://doi.org/10.1016/..
 
?
7

Nonlinear Program Construction and Verification Method Base..:

WANG, Changjing ; CAO, Zhongxiong ; YU, Chuling...
Wuhan University Journal of Natural Sciences.  28 (2023)  3 - p. 246-256 , 2023
Link: https://doi.org/10.1051/..
 
?
8

Semantic-Enriched Code Knowledge Graph to Reveal Unknowns i..:

Huang, Qing ; Liao, Dianshu ; Xing, Zhenchang...
ACM Transactions on Software Engineering and Methodology.  32 (2023)  6 - p. 1-37 , 2023
Link: https://doi.org/10.1145/..
 
?
9

Program Construction Method for Sequential Statistics Class..:

ZUO, Zhengkang ; WANG, Yuekun ; LIANG, Zanyang...
Wuhan University Journal of Natural Sciences.  28 (2023)  6 - p. 483-492 , 2023
Link: https://doi.org/10.1051/..
 
?
10

1+1$>$2: Programming Know-What and Know-How Knowledge Fusio..:

Huang, Qing ; Yuan, Zhiqiang ; Xing, Zhenchang...
IEEE Transactions on Services Computing.  , 2022
Link: https://doi.org/10.1109/..
 
?
11

Course Intelligent Brain Model Based on Crowd Intelligence:

LIAO, Yunyan ; HUANG, Qing ; WANG, Changjing..
Wuhan University Journal of Natural Sciences.  27 (2022)  4 - p. 331-340 , 2022
Link: https://doi.org/10.1051/..
 
?
12

Automatic Algorithm Programming Model Based on the Improved..:

ZUO, Zhengkang ; HU, Ying ; HUANG, Qing..
Wuhan University Journal of Natural Sciences.  27 (2022)  5 - p. 405-414 , 2022
Link: https://doi.org/10.1051/..
 
?
13

A Unified Strategy for Formal Derivation and Proof of Binar..:

ZUO, Zhengkang ; HUANG, Zhipeng ; FANG, Yue...
Wuhan University Journal of Natural Sciences.  27 (2022)  5 - p. 415-423 , 2022
Link: https://doi.org/10.1051/..
 
?
14

Empirical distribution-based framework for improving multi-..:

Zuo, Zhengkang ; Yan, Lei ; Ullah, Sana...
Soft Computing.  25 (2021)  6 - p. 4799-4822 , 2021
Link: https://doi.org/10.1007/..
 
?
15

A Method to Deduce and Synthesize the Dafny Programs:

WANG, Changjing ; DING, Xilong ; HE, Jiangfei...
Wuhan University Journal of Natural Sciences.  26 (2021)  6 - p. 481-488 , 2021
Link: https://doi.org/10.1051/..
 
1-15