Author of the publication

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.

 

Other publications of authors with the same name

Apla Generic Constraint Matching Detection and Verification., , , , and . ICECCS, page 210-219. IEEE, (2019)1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application., , , , , and . CoRR, (2022)Hybrid Image Stabilization of Robotic Bionic Eyes., , , , , and . ROBIO, page 808-813. IEEE, (2018)Specification transformation method for functional program generation based on partition-recursion refinement rule., , , , , , , and . Inf. Sci., (July 2023)Multi Scale Lai Estimation Based On Multiresolution Tree Model., , , , , and . IGARSS, page 6554-6557. IEEE, (2019)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)Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain., , , , , , and . ASE, page 471-483. IEEE, (2023)PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot., , , , , and . ICSE Companion, page 1-5. IEEE, (2023)Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems., and . FAW, volume 5598 of Lecture Notes in Computer Science, page 27-39. Springer, (2009)