default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHengjun Zhao
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2022
[j11]Hengjun Zhao, Quanzhong Li, Xia Zeng, Zhiming Liu:
Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. Int. J. Softw. Informatics 12(4): 453-483 (2022)- 2021
- [j10]Hengjun Zhao, Xia Zeng
, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning safe neural network controllers with barrier certificates. Formal Aspects Comput. 33(3): 437-455 (2021) - 2020
- [j9]Ge-Er Teng, Yue He, Hengjun Zhao, Dunhu Liu, Jin Xiao, S. Ramkumar:
Design and Development of Human Computer Interface Using Electrooculogram with Deep Learning. Artif. Intell. Medicine 102: 101765 (2020) - 2019
- [j8]Jiye Qian, Hengjun Zhao, Jin Fu, Wei Song, Jide Qian, Qianbo Xiao:
No-reference image sharpness assessment via difference quotients. J. Electronic Imaging 28(1): 013032 (2019) - 2018
- [j7]Jide Qian, Bin Chen, Jiye Qian, Hengjun Zhao, Gang Chen:
基于机器视觉的液晶屏Mura缺陷检测方法 (Machine Vision Based Inspection Method of Mura Defect for LCD). 计算机科学 45(6): 296-300 (2018) - 2017
- [j6]Ling Xie, Jin Xiao, Yi Hu, Hengjun Zhao, Yi Xiao:
China's energy consumption forecasting by GMDH based auto-regressive model. J. Syst. Sci. Complex. 30(6): 1332-1349 (2017) - 2014
- [j5]Jiang Liu, Ming Xu, Naijun Zhan, Hengjun Zhao:
Discovering non-terminating inputs for multi-path polynomial programs. J. Syst. Sci. Complex. 27(6): 1286-1304 (2014) - 2013
- [j4]Hengjun Zhao, Zhaowei Shang, Yuan Yan Tang, Bin Fang:
Multi-focus image fusion based on the neighbor distance. Pattern Recognit. 46(3): 1002-1011 (2013) - 2012
- [j3]Zhaowei Shang, LingFeng Zhang, Hengjun Zhao, Lan Zhang:
Image Fusion Method Based on Multi-Directional Support Value Transform. Int. J. Wavelets Multiresolution Inf. Process. 10(5) (2012) - [j2]Yin-Xia Wang, Hengjun Zhao:
Logarithmically Improved Blow up Criterion for Smooths Solution to the 3D Micropolar Fluid Equations. J. Appl. Math. 2012: 541203:1-541203:13 (2012) - [j1]Jiang Liu, Naijun Zhan, Hengjun Zhao:
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. Math. Comput. Sci. 6(4): 395-408 (2012)
Conference and Workshop Papers
- 2023
- [c20]Jingqi Wang, Jiajie Peng, Zhiming Liu, Hengjun Zhao:
HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition. IJCNN 2023: 1-8 - 2022
- [c19]Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu:
Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. ICPR 2022: 4263-4269 - 2020
- [c18]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu:
Synthesizing barrier certificates using neural networks. HSCC 2020: 25:1-25:11 - [c17]Jiajie Zhu, Bin Fang, Mingliang Zhou, Hengjun Zhao, Futing Luo:
Legendre Based Adaptive Image Segmentation Combining The Gradient Information. ICIP 2020: 863-867 - [c16]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. SETTA 2020: 177-185 - 2019
- [c15]Bai Xue, Martin Fränzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran:
Probably Approximate Safety Verification of Hybrid Dynamical Systems. ICFEM 2019: 236-252 - 2018
- [c14]Stefan Mitsch, Andrew Sogokon, Yong Kiam Tan, André Platzer, Hengjun Zhao, Xiangyu Jin, Shuling Wang, Naijun Zhan:
ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. ARCH@ADHS 2018: 110-127 - 2017
- [c13]Jiye Qian, Hengjun Zhao, Jin Fu, Guojun He, Xingzhe Hou, Bin Fang, Jide Qian:
No-reference image sharpness metric based on directional derivatives. SPAC 2017: 340-344 - 2015
- [c12]Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou:
Abstraction of Elementary Hybrid Systems by Variable Transformation. FM 2015: 360-377 - 2014
- [c11]Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen:
Formal Verification of a Descent Guidance Control Program of a Lunar Lander. FM 2014: 733-748 - 2013
- [c10]Deepak Kapur, Zhihai Zhang, Matthias Horbach, Hengjun Zhao, Qi Lu, ThanhVu Nguyen:
Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. Automated Reasoning and Mathematics 2013: 189-228 - [c9]Hengjun Zhao, Naijun Zhan, Deepak Kapur:
Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants. Theories of Programming and Formal Methods 2013: 354-373 - [c8]Hengjun Zhao, Bin Fang, Yuan Yan Tang:
A no-reference image sharpness estimation based on expectation of wavelet transform coefficients. ICIP 2013: 374-378 - [c7]Naijun Zhan, Shuling Wang, Hengjun Zhao:
Formal Modelling, Analysis and Verification of Hybrid Systems. ICTAC Training School on Software Engineering 2013: 207-281 - 2012
- [c6]Yanxia Niu, Hengjun Zhao:
Generalized Filled Function for Global Continuous Optimization Problems. CSO 2012: 362-366 - [c5]Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen:
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. FM 2012: 471-485 - [c4]Weibin Yang, Bin Fang, Yuan Yan Tang, Zhaowei Shang, Hengjun Zhao:
Visual saliency estimation using support value transform. ICIP 2012: 1069-1072 - 2011
- [c3]Jiang Liu, Naijun Zhan, Hengjun Zhao:
Computing semi-algebraic invariants for polynomial dynamical systems. EMSOFT 2011: 97-106 - 2010
- [c2]Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou:
A Calculus for Hybrid CSP. APLAS 2010: 1-15 - 2009
- [c1]Hengjun Zhao, Changzheng He:
Objective Cluster Analysis in Value-Based Customer Segmentation Method. WKDD 2009: 484-487
Parts in Books or Collections
- 2017
- [p1]Mingshuai Chen, Xiao Han, Tao Tang, Shuling Wang, Mengfei Yang, Naijun Zhan, Hengjun Zhao, Liang Zou:
MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. Provably Correct Systems 2017: 39-58
Editorship
- 2017
- [e1]Naijun Zhan, Shuling Wang, Hengjun Zhao:
Formal Verification of Simulink/Stateflow Diagrams, A Deductive Approach. Springer 2017, ISBN 978-3-319-47014-6
Informal and Other Publications
- 2020
- [i6]Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock:
Learning Safe Neural Network Controllers with Barrier Certificates. CoRR abs/2009.09826 (2020) - 2014
- [i5]Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou:
Abstraction of Elementary Hybrid Systems by Variable Transformation. CoRR abs/1403.7022 (2014) - 2013
- [i4]Deepak Kapur, Naijun Zhan, Hengjun Zhao:
Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation. CoRR abs/1304.0825 (2013) - 2012
- [i3]Hengjun Zhao, Naijun Zhan, Deepak Kapur, Kim G. Larsen:
A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. CoRR abs/1203.6025 (2012) - 2011
- [i2]Jiang Liu, Naijun Zhan, Hengjun Zhao:
A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems. CoRR abs/1102.0705 (2011) - [i1]Jiang Liu, Naijun Zhan, Hengjun Zhao:
Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. CoRR abs/1103.3372 (2011)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-01 21:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
