Jinhua Wu

According to our database, Jinhua Wu authored at least 16 papers between 2008 and 2024.

Collaborative distances:

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

2024

Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules.

Ling Zhang, Yuting Wang, Jinhua Wu, Jérémie Koenig, Zhong Shao

Proc. ACM Program. Lang., January, 2024

2023

Towards a Framework for Developing Verified Assemblers for the ELF Format.

Jinhua Wu, Yuting Wang, Meng Sun, Xiangzhe Xu, Yichen Song

Proceedings of the Programming Languages and Systems - 21st Asian Symposium, 2023

2021

Water Conservation Estimation Based on Time Series NDVI in the Yellow River Basin.

Yangchengsi Zhang, Jiaqiang Du, Long Guo, Zhilu Sheng, Jinhua Wu, Jing Zhang

Remote. Sens., 2021

Automatic Generation and Validation of Instruction Encoders and Decoders.

Xiangzhe Xu, Jinhua Wu, Yuting Wang, Zhenguo Yin, Pengfei Li

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

An Atmospheric Correction Method over Bright and Stable Surfaces for Moderate to High Spatial-Resolution Optical Remotely Sensed Imagery.

Bo Zhong, Shanlong Wu, Aixia Yang, Kai Ao, Jinhua Wu, Junjun Wu, Xueshuang Gong, Haibo Wang, Qinhuo Liu

Remote. Sens., 2020

2019

Downscaling of Urban Land Surface Temperature Based on Multi-Factor Geographically Weighted Regression.

Jinhua Wu, Bo Zhong, Shufang Tian, Aixia Yang, Junjun Wu

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

基于KD-Tree聚类的社交用户画像建模 (Persona Based Social User Modeling Using KD-Tree).

Jiashan Wan, Lei Chen, Jinhua Wu, Chao Gao

计算机科学, 2019

MVB: A Large-Scale Dataset for Baggage Re-Identification and Merged Siamese Networks.

Zhulin Zhang, Dong Li, Jinhua Wu, Yunda Sun, Li Zhang

Proceedings of the Pattern Recognition and Computer Vision - Second Chinese Conference, 2019

Monitoring winter wheat in ShanDong province using Sentinel data and Google Earth Engine platform.

Aixia Yang, Bo Zhong, Jinhua Wu

Proceedings of the 10th International Workshop on the Analysis of Multitemporal Remote Sensing Images, 2019

2017

Silicon content prediction and industrial analysis on blast furnace using support vector regression combined with clustering algorithms.

Changchun Hua, Jinhua Wu, Junpeng Li, Xinping Guan

Neural Comput. Appl., 2017

2016

Design of efficient simplified genomic DNA and bisulfite sequencing in large plant populations.

Jinhua Wu, Zewei Luo, Ning Jiang

Quant. Biol., 2016

2014

Advances in standardisation of optical circuit board fabrication and measurement processes.

Marika Immonen, Richard Pitwon, Jinhua Wu, Long Xiu Zhu, Hui Juan Yan, Kai Wang

Proceedings of the European Conference on Optical Communication, 2014

2011

Adaptive Control of Supersonic Missiles with Unknown Input Coefficients.

Jinhua Wu, Junwei Lei, Wenjin Gu, Jianhong Shi

Proceedings of the Advances in Computer Science, Environment, Ecoinformatics, and Education, 2011

2009

Design of an Intelligent Global Terminal Backsteping Controller for a Class of Constrained Input Systems.

Jinhua Wu, Junwei Lei, Jinyong Yu, Zuoe Fan

Proceedings of the 2009 International Asia Conference on Informatics in Control, 2009

A Global Terminal Adaptive Synchronization for the Modified Chua.

Jinhua Wu, Junwei Lei, Jinyong Yu

Proceedings of the 2009 International Asia Conference on Informatics in Control, 2009

2008

Adaptive Hybrid SMC-SVM Control for a Class of Nonaffine Nonlinear Systems.

Heng Li, Jinhua Wu, Youan Zhang

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues, 2008