Jinhua Wu

30 papers B 1Journal 19Unranked 10
YearRankTypeTitle / Venue / Authors
2026 J jnl
PIKANs: Physics-informed Kolmogorov-Arnold networks for landslide time-to-failure prediction.
Comput. Geosci.
Jiashan Wan, Liangjun Wen, Ziheng Jian, Jinhua Wu, Jingyang Li, Mengqi Lian, Kai Wang
2026 J jnl
RustCompCert: A Verified and Verifying Compiler for a Sequential Subset of Rust.
CoRR
Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng
2025 J jnl
End-to-end Compositional Verification of Program Safety through Verified and Verifying Compilation.
CoRR
Jinhua Wu, Yuting Wang, Liukun Yu, Linglong Meng
2025 J jnl
MSPredictor: A Multi-Scale Dynamic Graph Neural Network for Multivariate Time Series Prediction.
IEEE Trans. Emerg. Top. Comput. Intell.
Jiashan Wan, Na Xia, Gongwen Li, Jingyang Li, Jinhua Wu, Xulei Pan, Mengqi Lian
2025 J jnl
Progressive Enhancement of Foreground Features for Salient Object Detection in Optical Remote Sensing Images.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Lingbing Meng, Haiqun Li, Huihui Han, Meng Xu, Jinhua Wu, Shuonan Hou, Weiwei Duan
2025 J jnl
Which exerts a greater impact on ecosystem resilience: Cropland expansion or urban expansion? Insights from a spatiotemporal analysis.
Ecol. Informatics
Jinhua Wu, Hongwei Wang, Can Wang, Xin Huang, Zhenggang Wang, Chi Zhang, Bei Chen, Yilinuer Yiming, Chunshan Zhou
2024 — conf
A Novel 3D Keypoint Detection Method based on Self-supervised Learning.
CSAI
Hui Wang, Hongjuan Gao, Wei Jia, Jinhua Wu
2024 J jnl
A novel reflectance transformation and convolutional neural network framework for generating bathymetric data for long rivers: A case study on the Bei River in South China.
Int. J. Appl. Earth Obs. Geoinformation
Ting On Chan, Simin Zhang, Linyuan Xia, Ming Luo, Jinhua Wu, Joseph L. Awange
2024 J jnl
Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.
Proc. ACM Program. Lang.
Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao
2024 J jnl
Implementing and Assessing a Teaching Mode Based on Smart Education in English Literature Teaching.
Int. J. Web Based Learn. Teach. Technol.
Yeting Hu, Chuanzhi Fang, Xin He, Jinhua Wu
2024 — conf
Influencing Factors of Online Infant and Toddler Health Information Search Behavior Among Chinese New Generation Parents.
JCDL
Jinhua Wu, Xiaohong Ju, Yang Li
2024 J jnl
Investigation on text generative model based on deep learning in natural language processing.
J. Comput. Methods Sci. Eng.
Xianqiu Zheng, Zhidong Zhang, Liqin Wang, Jinhua Wu, Zuofeng Dong
2024 J jnl
RGB depth salient object detection via cross-modal attention and boundary feature guidance.
IET Comput. Vis.
Lingbing Meng, Mengya Yuan, Xuehan Shi, Le Zhang, Qingqing Liu, Dai Ping, Jinhua Wu, Fei Cheng
2024 J jnl
Significant Wave Height Retrieval in Tropical Cyclone Conditions Using CYGNSS Data.
Remote. Sens.
Xiangyang Han, Xianwei Wang, Zhi He, Jinhua Wu
2023 B conf
Towards a Framework for Developing Verified Assemblers for the ELF Format.
APLAS
Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song
2021 — conf
Automatic Generation and Validation of Instruction Encoders and Decoders.
CAV (2)
Xiangzhe Xu, Jinhua Wu, Yuting Wang, Zhenguo Yin, Pengfei Li
2021 J jnl
Water Conservation Estimation Based on Time Series NDVI in the Yellow River Basin.
Remote. Sens.
Yangchengsi Zhang, Jiaqiang Du, Long Guo, Zhilu Sheng, Jinhua Wu, Jing Zhang
2020 J jnl
An Atmospheric Correction Method over Bright and Stable Surfaces for Moderate to High Spatial-Resolution Optical Remotely Sensed Imagery.
Remote. Sens.
Bo Zhong, Shanlong Wu, Aixia Yang, Kai Ao, Jinhua Wu, Junjun Wu, Xueshuang Gong, Haibo Wang, Qinhuo Liu
2019 J jnl
Downscaling of Urban Land Surface Temperature Based on Multi-Factor Geographically Weighted Regression.
IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.
Jinhua Wu, Bo Zhong, Shufang Tian, Aixia Yang, Junjun Wu
2019 — conf
MVB: A Large-Scale Dataset for Baggage Re-Identification and Merged Siamese Networks.
PRCV (3)
Zhulin Zhang, Dong Li, Jinhua Wu, Yunda Sun, Li Zhang
2019 J jnl
MVB: A Large-Scale Dataset for Baggage Re-Identification and Merged Siamese Networks.
CoRR
Zhulin Zhang, Dong Li, Jinhua Wu, Yunda Sun, Li Zhang
2019 — conf
Monitoring winter wheat in ShanDong province using Sentinel data and Google Earth Engine platform.
MultiTemp
Aixia Yang, Bo Zhong, Jinhua Wu
2019 J jnl
基于KD-Tree聚类的社交用户画像建模 (Persona Based Social User Modeling Using KD-Tree).
计算机科学
Jiashan Wan, Lei Chen, Jinhua Wu, Chao Gao
2017 J jnl
Silicon content prediction and industrial analysis on blast furnace using support vector regression combined with clustering algorithms.
Neural Comput. Appl.
Changchun Hua, Jinhua Wu, Junpeng Li, Xinping Guan
2016 J jnl
Design of efficient simplified genomic DNA and bisulfite sequencing in large plant populations.
Quant. Biol.
Jinhua Wu, Zewei Luo, Ning Jiang
2014 — conf
Advances in standardisation of optical circuit board fabrication and measurement processes.
ECOC
Marika Immonen, Richard Pitwon, Jinhua Wu, Long Xiu Zhu, Hui Juan Yan, Kai Wang
2011 — conf
Adaptive Control of Supersonic Missiles with Unknown Input Coefficients.
CSEE (1)
Jinhua Wu, Junwei Lei, Wenjin Gu, Jianhong Shi
2009 — conf
A Global Terminal Adaptive Synchronization for the Modified Chua.
CAR
Jinhua Wu, Junwei Lei, Jinyong Yu
2009 — conf
Design of an Intelligent Global Terminal Backsteping Controller for a Class of Constrained Input Systems.
CAR
Jinhua Wu, Junwei Lei, Jinyong Yu, Zuoe Fan
2008 — conf
Adaptive Hybrid SMC-SVM Control for a Class of Nonaffine Nonlinear Systems.
ICIC (1)
Heng Li, Jinhua Wu, Youan Zhang