Changjing Wang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2009–2023
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICSE | PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot. | Qing Huang, Jiahui Zhu, Zhilong Li, Zhenchang Xing, Changjing Wang, Xiwei Xu |
| 2020 | QRS | Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification. | Changjing Wang, Fan Xu, Haimei Luo, Qing Huang, Zhengkang Zuo |
| 2020 | QRS | Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems. | Zhengkang Zuo, Yue Fang, Qing Huang, Yunyan Liao, Yuan Wang, Changjing Wang |
| 2019 | ICECCS | Apla Generic Constraint Matching Detection and Verification. | Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu |
| 2019 | IGARSS | Multi Scale Lai Estimation Based On Multiresolution Tree Model. | Changjing Wang, Hongmin Zhou, Guodong Zhang, Huazhu Xue, Jindi Wang, Ni Hu |
| 2009 | FAW | Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. | Changjing Wang, Jinyun Xue |