Changjing Wang

34 papers A* 1B 1C 2Misc 1Journal 25Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
An RTM-Driven Machine Learning Approach for Estimating High-Resolution FAPAR From LANDSAT 5/7/8/9 Surface Reflectance.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Guodong Zhang, Gaofei Yin, Yi Zhang, Jiangchuan Hu, Zongyan Li, Changjing Wang, Dujuan Ma, Jiangliu Xie
2025 J jnl
Functional Modeling and Mechanized Verification of Bisimulations for NFTS.
IEEE Trans. Reliab.
Zhen You, Jiawei Wu, Changjing Wang, Zhengkang Zuo
2025 J jnl
HARMU: A Multiband Sensor Harmonization for Building Virtual Constellations. Application to Landsat 8 and Sentinel-2.
IEEE Trans. Geosci. Remote. Sens.
Changjing Wang, Gaofei Yin, Rui Fu, Adrià Descals, Wenjuan Li, Marie Weiss, Frédéric Baret, Aleixandre Verger
2025 J jnl
Modeling and Verification of MRSCAN Based on MapReduce Framework.
IEEE Trans. Reliab.
Zhengkang Zuo, Yuhan Ke, Ying Hu, Qing Huang, Zhicheng Zeng, Changjing Wang
2025 J jnl
Reconstructing Red-Edge Vegetation Indices From Landsat 8 to Improve Leaf Area Index Estimation.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Changjing Wang, Guodong Zhang, Jiangliu Xie, Yajie Yang, Rui Chen, Meilian Wang, Baodong Xu, Gaofei Yin
2025 J jnl
Tibetan railway induced slight carbon loss: photosynthetic capacity decrease offsets growing season length increase in grasslands.
Int. J. Digit. Earth
Yajie Yang, Gaofei Yin, Jiangliu Xie, Rui Chen, Dujuan Ma, Changjing Wang, Guodong Zhang, Meilian Wang, Lu Zhou, Lin Huang, Qiaoyun Xie, Aleixandre Verger, Adrià Descals, Iolanda Filella, Josep Peñuelas
2025 J jnl
Time-series high spatio-temporal resolution vegetation leaf area index estimation based on NDVI trends.
Int. J. Appl. Earth Obs. Geoinformation
Chen Li, Hongmin Zhou, Jia Tang, Changjing Wang, Ziyu Wang, Jinlin Qi, Bihong Yang, Ruojing Fang
2024 — conf
Functional Modelling of the Matroid and Application to the Knapsack Problem.
SFPVV
Zikang Wan, Zhen You, Chen Zhang, Zhengkang Zuo, Changjing Wang, Qimin Hu
2024 J jnl
High Spatial Resolution Leaf Area Index Estimation for Woodland in Saihanba Forestry Center, China.
Remote. Sens.
Changjing Wang, Hongmin Zhou, Guodong Zhang, Jianguo Duan, Moxiao Lin
2024 J jnl
Modeling and Verification Methods for Spatio-Temporal Consistency of CPS in Uncertain Environments.
IEEE Trans. Reliab.
Shuqi Pan, Changjing Wang, Wuping Xie, Jiaxing Lu, Qing Huang, Zhengkang Zuo
2024 J jnl
Program Derivation and Mechanized Verification of Imperative Dynamic Programming Algorithms.
Int. J. Softw. Informatics
Zhengkang Zuo, Huan Sun, Changjing Wang, Zhen You, Qing Huang, Changchang Wang
2023 J jnl
1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.
IEEE Trans. Serv. Comput.
Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia
2023 J jnl
A Chain of AI-based Solutions for Resolving FQNs and Fixing Syntax Errors in Partial Code.
CoRR
Qing Huang, Jiahui Zhu, Zhenchang Xing, Huan Jin, Changjing Wang, Xiwei Xu
2023 J jnl
Extracting Deciduous Forests Spring Phenology From Sentinel-1 Cross Ratio Index.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Huinan Yu, Yajie Yang, Changjing Wang, Rui Chen, Qiaoyun Xie, Guoxiang Liu, Gaofei Yin
2023 A* conf
Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain.
ASE
Qing Huang, Zhenyu Wan, Zhenchang Xing, Changjing Wang, Jieshan Chen, Xiwei Xu, Qinghua Lu
2023 J jnl
Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain.
CoRR
Qing Huang, Zhenyu Wan, Zhenchang Xing, Changjing Wang, Jieshan Chen, Xiwei Xu, Qinghua Lu
2023 — conf
PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot.
ICSE Companion
Qing Huang, Jiahui Zhu, Zhilong Li, Zhenchang Xing, Changjing Wang, Xiwei Xu
2023 J jnl
Research on smart contract vulnerability detection method based on domain features of solidity contracts and attention mechanism.
J. Intell. Fuzzy Syst.
Changjing Wang, Huiwen Jiang, Yuxin Wang, Qing Huang, Zhengkang Zuo
2023 J jnl
Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse.
ACM Trans. Softw. Eng. Methodol.
Qing Huang, Dianshu Liao, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia
2023 J jnl
Specification transformation method for functional program generation based on partition-recursion refinement rule.
Inf. Sci.
Zhengkang Zuo, Zhicheng Zeng, Wei Su, Qing Huang, Yuhan Ke, Zengxin Liu, Changjing Wang, Wei Liang
2022 J jnl
1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.
CoRR
Qing Huang, Zhiqiang Yuan, Zhenchang Xing, Zhengkang Zuo, Changjing Wang, Xin Xia
2022 J jnl
Generating High-Resolution and Long-Term SPEI Dataset over Southwest China through Downscaling EEAD Product by Machine Learning.
Remote. Sens.
Rui Fu, Rui Chen, Changjing Wang, Xiao Chen, Hongfan Gu, Cong Wang, Baodong Xu, Guoxiang Liu, Gaofei Yin
2022 J jnl
Generating Spatiotemporally Continuous Grassland Aboveground Biomass on the Tibetan Plateau Through PROSAIL Model Inversion on Google Earth Engine.
IEEE Trans. Geosci. Remote. Sens.
Jiangliu Xie, Changjing Wang, Dujuan Ma, Rui Chen, Qiaoyun Xie, Baodong Xu, Wei Zhao, Gaofei Yin
2021 J jnl
Search for Compatible Source Code.
Int. J. Softw. Eng. Knowl. Eng.
Fuqi Cai, Changjing Wang, Qing Huang, Zhengkang Zuo, Yunyan Liao
2020 C conf
Development Method of Three Kinds of Typical Tree Structure Algorithms and Isabelle-based Machine Assisted Verification.
QRS
Changjing Wang, Fan Xu, Haimei Luo, Qing Huang, Zhengkang Zuo
2020 J jnl
Forecasting Time Series Albedo Using NARnet Based on EEMD Decomposition.
IEEE Trans. Geosci. Remote. Sens.
Guodong Zhang, Hongmin Zhou, Changjing Wang, Huazhu Xue, Jindi Wang, Huawei Wan
2020 J jnl
Generating a Spatio-Temporal Complete 30 m Leaf Area Index from Field and Remote Sensing Data.
Remote. Sens.
Hongmin Zhou, Changjing Wang, Guodong Zhang, Huazhu Xue, Jindi Wang, Huawei Wan
2020 — conf
Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems.
QRS Companion
Zhengkang Zuo, Yue Fang, Qing Huang, Yunyan Liao, Yuan Wang, Changjing Wang
2019 B conf
Apla Generic Constraint Matching Detection and Verification.
ICECCS
Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu
2019 C conf
Multi Scale Lai Estimation Based On Multiresolution Tree Model.
IGARSS
Changjing Wang, Hongmin Zhou, Guodong Zhang, Huazhu Xue, Jindi Wang, Ni Hu
2019 J jnl
Time Series High-Resolution Land Surface Albedo Estimation Based on the Ensemble Kalman Filter Algorithm.
Remote. Sens.
Guodong Zhang, Hongmin Zhou, Changjing Wang, Huazhu Xue, Jindi Wang, Huawei Wan
2018 — conf
Hybrid Image Stabilization of Robotic Bionic Eyes.
ROBIO
Xiaopeng Chen, Changjing Wang, Taoran Zhang, Chenghao Hua, Shaowen Fu, Qiang Huang
2013 J jnl
Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.
J. Networks
Zhengkang Zuo, Jinyun Xue, Changjing Wang
2009 Misc conf
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.
FAW
Changjing Wang, Jinyun Xue