Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.

Q. Huang, Z. Yuan, Z. Xing, Z. Zuo, C. Wang, and X. Xia. CoRR, (2022)

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.

Wang Wang

Linfang Wang

Investigation of the functions of 53BP1 in DNA demethylationL. Wang. Uni Marburg, (2009)

Paul Wang

Lien Wang

Scheifoo Wang

Other publications of authors with the same name

Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems.Z. Zuo, Y. Fang, Q. Huang, Y. Liao, Y. Wang, and C. Wang. QRS Companion, page 670-671. IEEE, (2020)Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification.C. Wang, F. Xu, H. Luo, Q. Huang, and Z. Zuo. QRS, page 254-264. IEEE, (2020)Multi Scale Lai Estimation Based On Multiresolution Tree Model.C. Wang, H. Zhou, G. Zhang, H. Xue, J. Wang, and N. Hu. IGARSS, page 6554-6557. IEEE, (2019)PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot.Q. Huang, J. Zhu, Z. Li, Z. Xing, C. Wang, and X. Xu. ICSE Companion, page 1-5. IEEE, (2023)Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain.Q. Huang, Z. Wan, Z. Xing, C. Wang, J. Chen, X. Xu, and Q. Lu. ASE, page 471-483. IEEE, (2023)1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.Q. Huang, Z. Yuan, Z. Xing, Z. Zuo, C. Wang, and X. Xia. CoRR, (2022)Apla Generic Constraint Matching Detection and Verification.Z. Zuo, Z. Liu, C. Wang, Z. You, and Q. Hu. ICECCS, page 210-219. IEEE, (2019)Specification transformation method for functional program generation based on partition-recursion refinement rule.Z. Zuo, Z. Zeng, W. Su, Q. Huang, Y. Ke, Z. Liu, C. Wang, and W. Liang. Inf. Sci., (July 2023)Hybrid Image Stabilization of Robotic Bionic Eyes.X. Chen, C. Wang, T. Zhang, C. Hua, S. Fu, and Q. Huang. ROBIO, page 808-813. IEEE, (2018)Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.C. Wang, and J. Xue. FAW, volume 5598 of Lecture Notes in Computer Science, page 27-39. Springer, (2009)

BibSonomy

Disambiguation of "Wang, Changjing"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.

Please choose a person to relate this publication to

Wang Wang

Linfang Wang

Paul Wang

Lien Wang

Scheifoo Wang

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Wang, Changjing"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML 1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.

Please choose a person to relate this publication to

Wang Wang

Linfang Wang

Paul Wang

Lien Wang

Scheifoo Wang

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.