Changjing Wang

According to our database, Changjing Wang authored at least 22 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

High Spatial Resolution Leaf Area Index Estimation for Woodland in Saihanba Forestry Center, China.

Changjing Wang, Hongmin Zhou, Guodong Zhang, Jianguo Duan, Moxiao Lin

Remote. Sens., March, 2024

2023

Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse.

Qing Huang, Dianshu Liao, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia

ACM Trans. Softw. Eng. Methodol., November, 2023

Specification transformation method for functional program generation based on partition-recursion refinement rule.

Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang

Inf. Sci., July, 2023

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

Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia

IEEE Trans. Serv. Comput., 2023

Extracting Deciduous Forests Spring Phenology From Sentinel-1 Cross Ratio Index.

Huinan Yu, Yajie Yang, Changjing Wang, Rui Chen, Qiaoyun Xie, Guoxiang Liu, Gaofei Yin

IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2023

Research on smart contract vulnerability detection method based on domain features of solidity contracts and attention mechanism.

Changjing Wang, Huiwen Jiang, Yuxin Wang, Qing Huang, Zhengkang Zuo

J. Intell. Fuzzy Syst., 2023

A Chain of AI-based Solutions for Resolving FQNs and Fixing Syntax Errors in Partial Code.

Qing Huang, Jiahui Zhu, Zhenchang Xing, Huan Jin, Changjing Wang, Xiwei Xu

CoRR, 2023

Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain.

Qing Huang, Zhenyu Wan, Zhenchang Xing, Changjing Wang, Jieshan Chen, Xiwei Xu, Qinghua Lu

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

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

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Generating Spatiotemporally Continuous Grassland Aboveground Biomass on the Tibetan Plateau Through PROSAIL Model Inversion on Google Earth Engine.

Jiangliu Xie, Changjing Wang, Dujuan Ma, Rui Chen, Qiaoyun Xie, Baodong Xu, Wei Zhao, Gaofei Yin

IEEE Trans. Geosci. Remote. Sens., 2022

Generating High-Resolution and Long-Term SPEI Dataset over Southwest China through Downscaling EEAD Product by Machine Learning.

Rui Fu, Rui Chen, Changjing Wang, Xiao Chen, Hongfan Gu, Cong Wang, Baodong Xu, Guoxiang Liu, Gaofei Yin

Remote. Sens., 2022

2021

Search for Compatible Source Code.

Fuqi Cai, Changjing Wang, Qing Huang, Zhengkang Zuo, Yunyan Liao

Int. J. Softw. Eng. Knowl. Eng., 2021

2020

Forecasting Time Series Albedo Using NARnet Based on EEMD Decomposition.

Guodong Zhang, Hongmin Zhou, Changjing Wang, Huazhu Xue, Jindi Wang, Huawei Wan

IEEE Trans. Geosci. Remote. Sens., 2020

Generating a Spatio-Temporal Complete 30 m Leaf Area Index from Field and Remote Sensing Data.

Hongmin Zhou, Changjing Wang, Guodong Zhang, Huazhu Xue, Jindi Wang, Huawei Wan

Remote. Sens., 2020

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

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

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

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019

Time Series High-Resolution Land Surface Albedo Estimation Based on the Ensemble Kalman Filter Algorithm.

Guodong Zhang, Hongmin Zhou, Changjing Wang, Huazhu Xue, Jindi Wang, Huawei Wan

Remote. Sens., 2019

Multi Scale Lai Estimation Based On Multiresolution Tree Model.

Changjing Wang, Hongmin Zhou, Guodong Zhang, Huazhu Xue, Jindi Wang, Ni Hu

Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

Apla Generic Constraint Matching Detection and Verification.

Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Hybrid Image Stabilization of Robotic Bionic Eyes.

Xiaopeng Chen, Changjing Wang, Taoran Zhang, Chenghao Hua, Shaowen Fu, Qiang Huang

Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2018

2013

Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.

Zhengkang Zuo, Jinyun Xue, Changjing Wang

J. Networks, 2013

2009

Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.

Changjing Wang, Jinyun Xue

Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009