Jianhua Zhao

ORCID

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 67

Top Venues

Publications

Zhiji Yang, Wanyi Chen, Huan Zhang, Yitian Xu, Lei Shi, Jianhua Zhao
A safe screening rule with bi-level optimization of ν support vector machine. Pattern Recognit. 155 (2024)
Jianhua Zhao, Haiye Liang, Shulan Li, Zhiji Yang, Zhen Wang
Matrix-based vs. vector-based linear discriminant analysis: A comparison of regularized variants on multivariate time series data. Inf. Sci. 654 (2024)
Liwen Chen, Jianhua Zhao, Xiaochen Wu, Jisheng Zhao, Jia Deng
Simulation and parametric optimal design of active radial magnetic fluid bearing. Int. J. Model. Identif. Control. 44 (1) (2024)
Xiao Guo, Jianhua Zhao, Lei Bu
Poles-based Invariant Generation for Verifying the BIBO Stability of Digital Filters. HSCC (2024)
Zhiji Yang, Wanyi Chen, Huan Zhang, Yitian Xu, Lei Shi, Jianhua Zhao
A Safe Screening Rule with Bi-level Optimization of ν Support Vector Machine. CoRR (2024)
Xuan Ma, Jianhua Zhao, Changchun Shang, Fen Jiang, Philip L. H. Yu
Robust bilinear factor analysis based on the matrix-variate t distribution. CoRR (2024)
Hongsong Wang, Jianhua Zhao, Jie Gui
Region-aware Image-based Human Action Retrieval with Transformers. CoRR (2024)
Ning Liu, Jianhua Zhao
Streaming Data Classification Based on Hierarchical Concept Drift and Online Ensemble. IEEE Access 11 (2023)
Zhang Yan, Hongle Du, Zhang Lin, Jianhua Zhao
Personalization exercise recommendation framework based on knowledge concept graph. Comput. Sci. Inf. Syst. 20 (2) (2023)
Ning Liu, Jianhua Zhao
Deep recommendation system based on knowledge graph and review text. J. Intell. Fuzzy Syst. 45 (5) (2023)
Ning Liu, Jianhua Zhao
Recommendation System Based on Deep Sentiment Analysis and Matrix Factorization. IEEE Access 11 (2023)
Jianhua Zhao, Xuan Ma, Lei Shi, Zhen Wang
Robust Bilinear Probabilistic PCA Using a Matrix Variate t Distribution. IEEE Trans. Neural Networks Learn. Syst. 34 (12) (2023)
Xuan Ma, Jianhua Zhao, Yue Wang, Changchun Shang, Fen Jiang
Robust factored principal component analysis for matrix-valued outlier accommodation and detection. Comput. Stat. Data Anal. 179 (2023)
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Ke Wang, Jianhua Zhao, Xuandong Li
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. CoRR (2023)
Renxue Jiang, Zhiji Yang, Jianhua Zhao
A Complete Deep Support Vector Data Description for One Class Learning. IEEE Access 11 (2023)
Xizao Wang, Zhiqiang Zuo, Lei Bu, Jianhua Zhao
DStream: A Streaming-Based Highly Parallel IFDS Framework. ICSE (2023)
Jianhua Zhao, Tao Yan
Research on the Prediction Method of Rural Industry Integration Based on Improved RBF Neural Network Model. ICCDE (2023)
Jianhua Zhao, Jingquan Li, Huicong Fan, Wenxiao Li, Jingna Zhang, Xiaoyuan Dai
Optimal Scheduling Model of WDM/OTN Network Transmission Line Based on Machine Learning. J. Control. Sci. Eng. 2022 (2022)
Jianhua Zhao
Future Education and Talents Cultivation: A Knowledge Building Approach. ICBL (2022)
Jianhua Zhao, Changchun Shang, Shulan Li, Ling Xin, Philip L. H. Yu
Choosing the number of factors in factor analysis with incomplete data via a hierarchical Bayesian information criterion. CoRR (2022)
Jianhua Zhao, Haiye Liang, Shulan Li, Zhiji Yang, Zhen Wang
Regularized Bilinear Discriminant Analysis for Multivariate Time Series Data. CoRR (2022)
Liwen Chen, Dianrong Gao, Jianhua Zhao, Jisheng Zhao
Study on the law of the structure parameters influence on thermal deformation of magnetic poles of magnetic-liquid double suspension bearing. Int. J. Comput. Appl. Technol. 69 (3) (2022)
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Trans. Software Eng. 48 (2) (2022)
Lei Bu, Zhunyi Xie, Lecheng Lyu, Yichao Li, Xiao Guo, Jianhua Zhao, Xuandong Li
BRICK: Path Enumeration Based Bounded Reachability Checking of C Program (Competition Contribution). TACAS (2) (2022)
Yuan Zhao, Gaolei Yi, Fan Liu, Zhanwei Hui, Jianhua Zhao
A Framework for Scanning Privacy Information based on Static Analysis. QRS (2022)
Shifang Hai, Pengpeng Yu, Shuhua Zhou, Jianhua Zhao, Jinshi Yang
Design and Simulation of Adjustable DC Regulated Power Supply Based on LM317. ICITEE (2021)
Xuan Ma, Jianhua Zhao, Yue Wang
Robust factored principal component analysis for matrix-valued outlier accommodation and detection. CoRR (2021)
Jianhua Zhao, Feng Sun, Haiye Liang, Xuan Ma, Xingxu Li, Jun He
Pseudo Bidirectional Linear Discriminant Analysis for Multivariate Time Series Classification. IEEE Access 9 (2021)
Liwen Chen, Dianrong Gao, Jianhua Zhao, Jisheng Zhao
Study on temperature rise and thermal deformation of rotor caused by eddy current loss of magnetic-liquid double suspension bearing. Int. J. Model. Identif. Control. 37 (3/4) (2021)
Jianhua Zhao, Ning Liu
A Safe Semi-supervised Classification Algorithm Using Multiple Classifiers Ensemble. Neural Process. Lett. 53 (4) (2021)
Shifang Hai, Pengpeng Yu, Shuhua Zhou, Jianhua Zhao, Jinshi Yang
Construction and Debugging of High Gain Zero Current Input Ripple Converter. ICITEE (2021)
Lei Shi, Chen Shen, Qi Shi, Zhen Wang, Jianhua Zhao, Xuelong Li, Stefano Boccaletti
Recovering Network Structures Based on Evolutionary Game Dynamics via Secure Dimensional Reduction. IEEE Trans. Netw. Sci. Eng. 7 (3) (2020)
Wenjun Huo, Peng Chu, Kai Wang, Liangting Fu, Zhigang Niu, Jianhua Zhao
Weak Transient Electromagnetic Radiation Signal Detection Method Considering the New Watershed Image Segmentation Algorithm. Int. J. Pattern Recognit. Artif. Intell. 34 (3) (2020)
Tingting Liang, Lina Ke, Jianchao Fan, Jianhua Zhao
Green Tide Information Extraction Based on Multi-source Remote Sensing Data. ICACI (2020)
Jialan Chu, Yanlong Chen, Jianhua Zhao, Fei Wang
Evaluation on BJ-2 Image Fusion Algorithms for Satellite Images of Coastal Aquaculture Sea Areas. IGARSS (2019)
Yanlong Chen, Jianhua Wan, Jie Zhang, Jianhua Zhao, Feng Ye, Zizhu Wang, Shanwei Liu
Automatic Extraction Method of Sargassum Based on Spectral-Texture Features of Remote Sensing Images. IGARSS (2019)
Baoxi Yuan, Yang Li, Fan Jiang, Xiaojie Xu, Yingxia Guo, Jianhua Zhao, Deyue Zhang, Jianxin Guo, Xiaoli Shen
MU R-CNN: A Two-Dimensional Code Instance Segmentation Network Based on Deep Learning. Future Internet 11 (9) (2019)
Baoxi Yuan, Yang Li, Fan Jiang, Xiaojie Xu, Jianhua Zhao, Deyue Zhang, Jianxin Guo, Yuqian Wang, Shanwen Zhang
Fast QR code detection based on BING and AdaBoost-SVM. HPSR (2019)
Jianchao Fan, Xiang Wang, Xinxin Wang, Jianhua Zhao, Xiaoxin Liu
Incremental Wishart Broad Learning System for Fast PolSAR Image Classification. IEEE Geosci. Remote. Sens. Lett. 16 (12) (2019)
Jianchao Fan, Jianhua Zhao, Wentao An, Yuanyuan Hu
Marine Floating Raft Aquaculture Detection of GF-3 PolSAR Images Based on Collective Multikernel Fuzzy Clustering. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 12 (8) (2019)
Xiaojing Yan, Huawei Wang, Qiang Fu, Jianhua Zhao
Civil Aviation Safety Risk Assessment for Rare Events. ISKE (2019)
Jing Yang, Jie Zhu, Yizhong Sun, Jianhua Zhao
Delimitating Urban Commercial Central Districts by Combining Kernel Density Estimation and Road Intersections: A Case Study in Nanjing City, China. ISPRS Int. J. Geo Inf. 8 (2) (2019)
Chao Zhou, Shengbo Chen, Yuanzhi Zhang, Jianhua Zhao, Derui Song, Dawei Liu
Evaluating Metal Effects on the Reflectance Spectra of Plant Leaves during Different Seasons in Post-Mining Areas, China. Remote. Sens. 10 (8) (2018)
Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li
DangDone: Eliminating Dangling Pointers via Intermediate Pointers. Internetware (2018)
Zhenhao Tang, Juan Zhai, Minxue Pan, Yousra Aafer, Shiqing Ma, Xiangyu Zhang, Jianhua Zhao
Dual-force: understanding WebView malware via cross-language forced execution. ASE (2018)
Chao Zhou, Shengbo Chen, Jianhua Zhao, Derui Song, Xianchuang Fan
Detection of Alone Stress and Combined Stress by CU and NI in Wheat Using Visible to Near-Infrared Spectroscopy. Agro-Geoinformatics (2018)
Anning Suo, Hongwei Ma, Fang Li, Baoquan Wei, Yong Lin, Jianhua Zhao
Coastline carrying capacity monitoring and assessment based on GF-1 satellite remote sensing images. EURASIP J. Image Video Process. 2018 (2018)
Jianhua Zhao, Ning Liu, A. Malov
Safe semi-supervised classification algorithm combined with active learning sampling strategy. J. Intell. Fuzzy Syst. 35 (4) (2018)
Jianchao Fan, Jianhua Zhao, Min Han, Xinxin Wang, Bingnan Li
Marine Aquaculture Targets Automatic Recognition Based on GF-3 PolSAR Imagery. ISNN (2018)
Lei Bu, Tian Zhang, Xin Chen, Linzhang Wang, Jianhua Zhao, Xuandong Li
Model-based Construction and Verification of Cyber-Physical Systems. ACM SIGSOFT Softw. Eng. Notes 43 (3) (2018)
Jianchao Fan, Jianhua Zhao, Derui Song, Xinxin Wang, Xiang Wang, Xiu Su
Marine Floating Raft Aquaculture Dynamic Monitoring Based on Multi-source GF Imagery. Agro-Geoinformatics (2018)
Yun Zhang, Jianhua Zhao, Jianli Zhang, Derui Song
Land Use Pattern Evolution and Trend Simulation in Nansi Lake. Agro-Geoinformatics (2018)
Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao
A Framework for Array Invariants Synthesis in Induction-Loop Programs. APSEC (2017)
Xiang Wang, Xinxin Wang, Jianhua Zhao, Jianchao Fan, Xiu Su, Dejun Zou
Monitoring the thermal discharge of hongyanhe nuclear power plant with aerial remote sensing technology using a UAV platform. IGARSS (2017)
Zhenhao Tang, Juan Zhai, Bin Li, Jianhua Zhao
Are Your Classes Well-Encapsulated? Encapsulation Analysis for Java. QRS (2017)
Sheng Wang, Qiang Zhang, Yaohui Li, Lijuan Wang, Jianhua Zhao, Ping Yue, Xing Wang, Xiaocui Hao
Study on dew characteristics in Loess Plateau, China. IGARSS (2017)
Jianchao Fan, Jianhua Zhao, Xinxin Wang, Xiang Wang, Jialan Chu, Bingnan Li
Marine reclamation feature analysis based on GF-3 SAR remote sensing imagery. IGARSS (2017)
Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Automatic detection and validation of race conditions in interrupt-driven embedded software. ISSTA (2017)
Bin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao
Automatic Invariant Synthesis for Arrays in Simple Programs. QRS (2016)
Juan Zhai, Bin Li, Zhenhao Tang, Jianhua Zhao, Xuandong Li
Precondition Calculation for Loops Iterating over Data Structures. QRS (2016)
Lingyun Situ, Yu Wang, Fengjuan Gao, Linzhang Wang, Lei Bu, Jianhua Zhao, Xuandong Li
ACSPChecker: an ASP based CSP model checking tool. Internetware (2016)
Jingping Xu, Fang Li, Jianhua Zhao, Shiyong Wen
Geomorphic zones mapping and development status monitoring of coral reefs in Xisha, China. IGARSS (2016)
Juan Zhai, Jianjun Huang, Shiqing Ma, Xiangyu Zhang, Lin Tan, Jianhua Zhao, Feng Qin
Automatic model generation from documentation for Java API functions. ICSE (2016)
Xiang Wang, Xinxin Wang, Jianchao Fan, Shiyong Wen, Jianhua Zhao, Xiu Su
Comparison of different spatial resolution thermal infrared data in monitoring thermal plume from the Hongyanhe nuclear power plant. IGARSS (2016)
Shiyong Wen, Yongjian Liu, Zizhu Wang, Xinxin Wang, Xiang Wang, Jianhua Zhao
Coupling effects of nutrients and temperature for the hazard degree dynamic assessment of Karenia mikimotoi red tide disasters in the Wenzhou coastal waters. IGARSS (2016)
Jianhua Zhao, Xuandong Li
Formal Verification of 'Programming to Interfaces' Programs. Int. J. Softw. Informatics 10 (4) (2016)
Lei Shi, Jun Lu, Jianhua Zhao, Gemai Chen
Case deletion diagnostics for GMM estimation. Comput. Stat. Data Anal. 95 (2016)
Yuchen Dong, Hanfei Wang, Jianhua Zhao
基于数据流分析的单链表可达性自动化验证 (Automatic Verification of Singly Linked List Pointer's Reachability Property Using Data-flow Analysis Method). 计算机科学 42 (12) (2015)
Jianhua Zhao, Libin Jin, Lei Shi
Mixture model selection via hierarchical BIC. Comput. Stat. Data Anal. 88 (2015)
Xiaoli Zhou, Hanfei Wang, Jianhua Zhao
A Fault-Localization Approach Based on the Coincidental Correctness Probability. QRS (2015)
Jianhua Zhao, Lei Shi, Ji Zhu
Two-Stage Regularized Linear Discriminant Analysis for 2-D Data. IEEE Trans. Neural Networks Learn. Syst. 26 (8) (2015)
Tian Zhang, Xiaomei Zheng, Yan Zhang, Jianhua Zhao, Xuandong Li
A declarative approach for Java code instrumentation. Softw. Qual. J. 23 (1) (2015)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Node-Set Analysis for Linked Recursive Data Structures. QRS (2015)
Bin Li, Zhenhao Tang, Jianhua Zhao
Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data. Internetware (2015)
Zhenhao Tang, Hanfei Wang, Bin Li, Juan Zhai, Jianhua Zhao, Xuandong Li
Analyzing Inductively Defined Properties for Recursive Data Structures. Internetware (2015)
Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li
Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation. Internetware (2015)
Bin Li, Jun Liu, Jianhua Zhao
Code Generation for Abstract Data Types Based on Program Analysis. QRS Companion (2015)
Juan Zhai, Hanfei Wang, Jianhua Zhao
Assertion-Directed Precondition Synthesis for Loops over Data Structures. SETTA (2015)
Juan Zhai, Hanfei Wang, Jianhua Zhao
Post-condition-Directed Invariant Inference for Loops over Data Structures. SERE (Companion) (2014)
Dingbao Xie, Lei Bu, Jianhua Zhao, Xuandong Li
SAT-LP-IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata. Formal Methods Syst. Des. 45 (1) (2014)
Xiaoping Zhang, Delu Pan, Jianyu Chen, Jianhua Zhao, Qiankun Zhu, Haiqing Huang
Evaluation of Coastline Changes under Human Intervention Using Multi-Temporal High-Resolution Images: A Case Study of the Zhoushan Islands, China. Remote. Sens. 6 (10) (2014)
Jianhua Zhao, Lei Shi
Automated learning of factor analysis with complete and incomplete data. Comput. Stat. Data Anal. 72 (2014)
Hui Ma, Hang Yin, Hongfei Guo, Jianhua Zhao
A Novel Single-Carrier Digital Broadcasting System Based on LDPC Codes in Shortwave. CIT (2014)
Jianhua Zhao
Efficient Model Selection for Mixtures of Probabilistic PCA Via Hierarchical BIC. IEEE Trans. Cybern. 44 (10) (2014)
Xiaoli Zhou, Linzhang Wang, Xuandong Li, Jianhua Zhao
An Empirical Study on the Test Adequacy Criterion Based on Coincidental Correctness Probability. SEKE (2014)
Jianhua Zhao, Xuandong Li
Scope Logic: An Extension to Hoare Logic for Pointers and Recursive Data Structures. ICTAC (2013)
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
Verifying Aspect-Oriented Models against Crosscutting Properties. Int. J. Softw. Eng. Knowl. Eng. 23 (5) (2013)
Hadi Mansoor, Haishan Zeng, Isabella T. Tai, Jianhua Zhao, Mu Chiao
A Handheld Electromagnetically Actuated Fiber Optic Raster Scanner for Reflectance Confocal Imaging of Biological Tissues. IEEE Trans. Biomed. Eng. 60 (5) (2013)
Jiantao He, Linzhang Wang, Jianhua Zhao
Supporting Automatic Code Review via Design. SERE (Companion) (2013)
Yinjian Jiang, Jianhua Zhao
Research on Application of Collaborative Knowledge Building in Blended Language Classroom Teaching. ICHL (2013)
Jianhua Zhao, Xuandong Li
Formal Verification of 'Programming to Interfaces' Programs. CoRR (2013)
Jianhua Zhao, Yinjian Jiang
Developing an Indicator System of ICT in Education: From Conceptual Model to Items Extraction. ICHL (2013)
Xiaoyu Zhou, Jianhua Zhao
An Overtime-Detection Model-Checking Technique for Interrupt Processing Systems. ISCTCS (2012)
Fengling Zhang, Lei Bu, Linzhang Wang, Jianhua Zhao, Xuandong Li
Poster Abstract: Numerical Analysis of WSN Protocol Using Probabilistic Timed Automata. ICCPS (2012)
Jianhua Zhao, Philip L. H. Yu, James T. Kwok
Bilinear Probabilistic Principal Component Analysis. IEEE Trans. Neural Networks Learn. Syst. 23 (3) (2012)
Enyi Tang, Linzhang Wang, Jianhua Zhao, Xuandong Li
Time-leverage point detection for time sensitive software maintenance. ICSM (2012)
Xuandong Li, Minxue Pan, Lei Bu, Linzhang Wang, Jianhua Zhao
Timing analysis of scenario-based specifications using linear programming. Softw. Test. Verification Reliab. 22 (2) (2012)
Jianhua Zhao, Philip L. H. Yu, Lei Shi, Shulan Li
Separable linear discriminant analysis. Comput. Stat. Data Anal. 56 (12) (2012)
Xiaoyu Zhou, Qian Li, Jianhua Zhao
A New Approach of Partial Order Reduction Technique for Parallel Timed Automata Model Checking. SERE (Companion) (2012)
Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. SEKE (2012)

Jianhua Zhao.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jianhua Zhao