Hengjun Zhao

According to our database¹, Hengjun Zhao authored at least 33 papers between 2009 and 2023.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2023

2022

Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2022

Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Pattern Recognition, 2022

2021

Learning safe neural network controllers with barrier certificates.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2021

2020

Design and Development of Human Computer Interface Using Electrooculogram with Deep Learning.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2020

Legendre Based Adaptive Image Segmentation Combining The Gradient Information.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Image Processing, 2020

Synthesizing barrier certificates using neural networks.

[BibT_eX]

[DOI]

Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020

2019

No-reference image sharpness assessment via difference quotients.

[BibT_eX]

[DOI]

J. Electronic Imaging, 2019

Probably Approximate Safety Verification of Hybrid Dynamical Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2019

2018

基于机器视觉的液晶屏Mura缺陷检测方法 (Machine Vision Based Inspection Method of Mura Defect for LCD).

[BibT_eX]

[DOI]

计算机科学, 2018

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018

2017

China's energy consumption forecasting by GMDH based auto-regressive model.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2017

No-reference image sharpness metric based on directional derivatives.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Security, Pattern Analysis, and Cybernetics, 2017

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the Provably Correct Systems, 2017

2015

Abstraction of Elementary Hybrid Systems by Variable Transformation.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2014

Discovering non-terminating inputs for multi-path polynomial programs.

[BibT_eX]

[DOI]

J. Syst. Sci. Complex., 2014

Formal Verification of a Descent Guidance Control Program of a Lunar Lander.

[BibT_eX]

[DOI]

Proceedings of the FM 2014: Formal Methods, 2014

2013

Multi-focus image fusion based on the neighbor distance.

[BibT_eX]

[DOI]

Pattern Recognit., 2013

Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation

[BibT_eX]

[DOI]

Deepak Kapur

Naijun Zhan

Hengjun Zhao

CoRR, 2013

Formal Modelling, Analysis and Verification of Hybrid Systems.

[BibT_eX]

[DOI]

Naijun Zhan

Shuling Wang

Hengjun Zhao

Proceedings of the Unifying Theories of Programming and Formal Engineering Methods, 2013

A no-reference image sharpness estimation based on expectation of wavelet transform coefficients.

[BibT_eX]

[DOI]

Hengjun Zhao

Bin Fang

Yuan Yan Tang

Proceedings of the IEEE International Conference on Image Processing, 2013

Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants.

[BibT_eX]

[DOI]

Hengjun Zhao

Naijun Zhan

Deepak Kapur

Proceedings of the Theories of Programming and Formal Methods, 2013

Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning and Mathematics, 2013

2012

Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems.

[BibT_eX]

[DOI]

Jiang Liu

Naijun Zhan

Hengjun Zhao

Math. Comput. Sci., 2012

Logarithmically Improved Blow up Criterion for Smooths Solution to the 3D Micropolar Fluid Equations.

[BibT_eX]

[DOI]

Yin-Xia Wang

Hengjun Zhao

J. Appl. Math., 2012

Image Fusion Method Based on Multi-Directional Support Value Transform.

[BibT_eX]

[DOI]

Int. J. Wavelets Multiresolution Inf. Process., 2012

Visual saliency estimation using support value transform.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Image Processing, 2012

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

Generalized Filled Function for Global Continuous Optimization Problems.

[BibT_eX]

[DOI]

Yanxia Niu

Hengjun Zhao

Proceedings of the Fifth International Joint Conference on Computational Sciences and Optimization, 2012

2011

A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems

[BibT_eX]

[DOI]

Jiang Liu

Naijun Zhan

Hengjun Zhao

CoRR, 2011

Computing semi-algebraic invariants for polynomial dynamical systems.

[BibT_eX]

[DOI]

Jiang Liu

Naijun Zhan

Hengjun Zhao

Proceedings of the 11th International Conference on Embedded Software, 2011

2010

A Calculus for Hybrid CSP.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Objective Cluster Analysis in Value-Based Customer Segmentation Method.

[BibT_eX]

[DOI]

Hengjun Zhao

Changzheng He

Proceedings of the Second International Workshop on Knowledge Discovery and Data Mining, 2009

Hengjun Zhao

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...