( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.

, , и . 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.

Zhengkang Zhao

Kang Zuo

Jing Zuo

Xinjuan Zuo

Zhi Zuo

 

Другие публикации лиц с тем же именем

Toward an Automatic Approach to Greedy Algorithms., , и . FAW, том 5598 из Lecture Notes in Computer Science, стр. 302-313. Springer, (2009)An enhanced EDBF framework: adaptive boundary constraint framework (ABCF) for improving multi-parent crossover algorithms.. Soft Comput., 27 (20): 14689-14697 (октября 2023)Research on smart contract vulnerability detection method based on domain features of solidity contracts and attention mechanism., , , , и . J. Intell. Fuzzy Syst., 45 (1): 1513-1525 (2023)Specification transformation method for functional program generation based on partition-recursion refinement rule., , , , , , , и . Inf. Sci., (июля 2023)Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms., , и . Clust. Comput., 19 (4): 2145-2156 (2016)Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems., , , , , и . QRS Companion, стр. 670-671. IEEE, (2020)Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification., , , , и . QRS, стр. 254-264. IEEE, (2020)Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue., , , , , , и . IEEE Trans. Software Eng., 50 (2): 280-295 (февраля 2024)Empirical distribution-based framework for improving multi-parent crossover algorithms., , , , , и . Soft Comput., 25 (6): 4799-4822 (2021)Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse., , , , , и . ACM Trans. Softw. Eng. Methodol., 32 (6): 147:1-147:37 (ноября 2023)