Changjing Wang

Orcid: 0000-0002-3601-4979

According to our database1, Changjing Wang authored at least 21 papers between 2009 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Semantic-Enriched Code Knowledge Graph to Reveal Unknowns in Smart Contract Code Reuse.
ACM Trans. Softw. Eng. Methodol., November, 2023

Specification transformation method for functional program generation based on partition-recursion refinement rule.
Inf. Sci., July, 2023

1+1>2: Programming Know-What and Know-How Knowledge Fusion, Semantic Enrichment and Coherent Application.
IEEE Trans. Serv. Comput., 2023

Extracting Deciduous Forests Spring Phenology From Sentinel-1 Cross Ratio Index.
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.
J. Intell. Fuzzy Syst., 2023

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

Let's Chat to Find the APIs: Connecting Human, LLM and Knowledge Graph through AI Chain.
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.
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.
IEEE Trans. Geosci. Remote. Sens., 2022

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

2021
Search for Compatible Source Code.
Int. J. Softw. Eng. Knowl. Eng., 2021

2020
Forecasting Time Series Albedo Using NARnet Based on EEMD Decomposition.
IEEE Trans. Geosci. Remote. Sens., 2020

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

Non-recursive Algorithm Derivation and Formal Proof of Binary Tree Traversal Class Problems.
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.
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.
Remote. Sens., 2019

Multi Scale Lai Estimation Based On Multiresolution Tree Model.
Proceedings of the 2019 IEEE International Geoscience and Remote Sensing Symposium, 2019

Apla Generic Constraint Matching Detection and Verification.
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018
Hybrid Image Stabilization of Robotic Bionic Eyes.
Proceedings of the IEEE International Conference on Robotics and Biomimetics, 2018

2013
Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems.
J. Networks, 2013

2009
Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems.
Proceedings of the Frontiers in Algorithmics, Third International Workshop, 2009


  Loading...