Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. - Changjing Wang; Jinyun Xue (FAW, 2009)

Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems. - Zhengkang Zuo; Jinyun Xue; Changjing Wang (J. Networks, 2013)

Hybrid Image Stabilization of Robotic Bionic Eyes. - Xiaopeng Chen; Changjing Wang; Taoran Zhang; Chenghao Hua; Shaowen Fu; Qiang Huang (ROBIO, 2018)

Apla Generic Constraint Matching Detection and Verification. - Zhengkang Zuo; Zhihao Liu; Changjing Wang; Zhen You; Qimin Hu (ICECCS, 2019)

Multi Scale Lai Estimation Based On Multiresolution Tree Model. - Changjing Wang; Hongmin Zhou; Guodong Zhang; Huazhu Xue; Jindi Wang; Ni Hu (IGARSS, 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)

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 (QRS, 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 (QRS Companion, 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)

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)

Search for Compatible Source Code. - Fuqi Cai; Changjing Wang; Qing Huang; Zhengkang Zuo; Yunyan Liao (Int. J. Softw. Eng. Knowl. Eng., 2021)

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 037; Baodong Xu; Guoxiang Liu 001; Gaofei Yin (Remote. Sens., 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 012; Gaofei Yin (IEEE Trans. Geosci. Remote. Sens., 2022)

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 001 (ICSE Companion, 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 001; Qinghua Lu 001 (ASE, 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 001 (CoRR, 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)

Extracting Deciduous Forests Spring Phenology From Sentinel-1 Cross Ratio Index. - Huinan Yu; Yajie Yang; Changjing Wang; Rui Chen; Qiaoyun Xie; Guoxiang Liu 001; Gaofei Yin (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 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 001 (IEEE Trans. Serv. Comput., 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 005 (Inf. Sci., 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 001 (ACM Trans. Softw. Eng. Methodol., 2023)

Functional Modelling of the Matroid and Application to the Knapsack Problem. - Zikang Wan; Zhen You; Chen Zhang; Zhengkang Zuo; Changjing Wang; Qimin Hu (SFPVV, 2024)

Program Derivation and Mechanized Verification of Imperative Dynamic Programming Algorithms. - Zhengkang Zuo; Huan Sun; Changjing Wang; Zhen You; Qing Huang; Changchang Wang (Int. J. Softw. Informatics, 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., 2024)

Modeling and Verification Methods for Spatio-Temporal Consistency of CPS in Uncertain Environments. - Shuqi Pan; Changjing Wang; Wuping Xie; Jiaxing Lu; Qing Huang; Zhengkang Zuo (IEEE Trans. Reliab., 2024)

An RTM-Driven Machine Learning Approach for Estimating High-Resolution FAPAR From LANDSAT 5/7/8/9 Surface Reflectance. - Guodong Zhang; Gaofei Yin; Yi Zhang; Jiangchuan Hu; Zongyan Li; Changjing Wang; Dujuan Ma; Jiangliu Xie (IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens., 2025)

HARMU: A Multiband Sensor Harmonization for Building Virtual Constellations. Application to Landsat 8 and Sentinel-2. - Changjing Wang; Gaofei Yin; Rui Fu; Adrià Descals; Wenjuan Li 003; Marie Weiss; Frédéric Baret; Aleixandre Verger (IEEE Trans. Geosci. Remote. Sens., 2025)