( en | de | ru )

 

Disambiguation of "Zuo, Zhengkang"

Author of the publication

copydeleteadd this publication to your clipboard
Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.

, , and . J. Networks, 8 (5): 1050-1057 (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Zhengkang Zhao

Kang Zuo

Jing Zuo

Xinjuan Zuo

Zhi Zuo

 

Other publications of authors with the same name

An enhanced EDBF framework: adaptive boundary constraint framework (ABCF) for improving multi-parent crossover algorithms.. Soft Comput., 27 (20): 14689-14697 (October 2023)Toward an Automatic Approach to Greedy Algorithms., , and . FAW, volume 5598 of Lecture Notes in Computer Science, page 302-313. Springer, (2009)Specification transformation method for functional program generation based on partition-recursion refinement rule., , , , , , , and . Inf. Sci., (July 2023)Research on smart contract vulnerability detection method based on domain features of solidity contracts and attention mechanism., , , , and . J. Intell. Fuzzy Syst., 45 (1): 1513-1525 (2023)Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms., , and . Clust. Comput., 19 (4): 2145-2156 (2016)Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue., , , , , , and . IEEE Trans. Software Eng., 50 (2): 280-295 (February 2024)Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems., , , , , and . QRS Companion, page 670-671. IEEE, (2020)Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification., , , , and . QRS, page 254-264. IEEE, (2020)Apla Generic Constraint Matching Detection and Verification., , , , and . ICECCS, page 210-219. IEEE, (2019)Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems., , and . J. Networks, 8 (5): 1050-1057 (2013)