( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms.

, , и . Clust. Comput., 19 (4): 2145-2156 (2016)

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

 

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

An enhanced EDBF framework: adaptive boundary constraint framework (ABCF) for improving multi-parent crossover algorithms.. Soft Comput., 27 (20): 14689-14697 (октября 2023)Toward an Automatic Approach to Greedy Algorithms., , и . FAW, том 5598 из Lecture Notes in Computer Science, стр. 302-313. Springer, (2009)Specification transformation method for functional program generation based on partition-recursion refinement rule., , , , , , , и . Inf. Sci., (июля 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)Answering Uncertain, Under-Specified API Queries Assisted by Knowledge-Aware Human-AI Dialogue., , , , , , и . IEEE Trans. Software Eng., 50 (2): 280-295 (февраля 2024)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)Apla Generic Constraint Matching Detection and Verification., , , , и . ICECCS, стр. 210-219. IEEE, (2019)1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application., , , , , и . CoRR, (2022)