Objective Cluster Analysis in Value-Based Customer Segmentation Method. - Hengjun Zhao; Changzheng He (WKDD, 2009)

A Calculus for Hybrid CSP. - Jiang Liu 009; Jidong Lv; Zhao Quan; Naijun Zhan; Hengjun Zhao; Chaochen Zhou; Liang Zou (APLAS, 2010)

Computing semi-algebraic invariants for polynomial dynamical systems. - Jiang Liu 009; Naijun Zhan; Hengjun Zhao (EMSOFT, 2011)

A Complete Method to Polynomial Differential Invariant Generation for Hybrid Systems - Jiang Liu 009; Naijun Zhan; Hengjun Zhao (CoRR, 2011)

Generalized Filled Function for Global Continuous Optimization Problems. - Yanxia Niu; Hengjun Zhao (CSO, 2012)

A "Hybrid" Approach for Synthesizing Optimal Controllers of Hybrid Systems: A Case Study of the Oil Pump Industrial Example. - Hengjun Zhao; Naijun Zhan; Deepak Kapur; Kim G. Larsen (FM, 2012)

Visual saliency estimation using support value transform. - Weibin Yang; Bin Fang 001; Yuan Yan Tang; Zhaowei Shang; Hengjun Zhao (ICIP, 2012)

Image Fusion Method Based on Multi-Directional Support Value Transform. - Zhaowei Shang; Lingfeng Zhang 001; Hengjun Zhao; Lan Zhang (Int. J. Wavelets Multiresolution Inf. Process., 2012)

Logarithmically Improved Blow up Criterion for Smooths Solution to the 3D Micropolar Fluid Equations. - Yin-Xia Wang; Hengjun Zhao (J. Appl. Math., 2012)

Automatically Discovering Relaxed Lyapunov Functions for Polynomial Dynamical Systems. - Jiang Liu 009; Naijun Zhan; Hengjun Zhao (Math. Comput. Sci., 2012)

Geometric Quantifier Elimination Heuristics for Automatically Generating Octagonal and Max-plus Invariants. - Deepak Kapur; Zhihai Zhang; Matthias Horbach; Hengjun Zhao; Qi Lu; ThanhVu Nguyen (Automated Reasoning and Mathematics, 2013)

Synthesizing Switching Controllers for Hybrid Systems by Generating Invariants. - Hengjun Zhao; Naijun Zhan; Deepak Kapur (Theories of Programming and Formal Methods, 2013)

A no-reference image sharpness estimation based on expectation of wavelet transform coefficients. - Hengjun Zhao; Bin Fang 001; Yuan Yan Tang (ICIP, 2013)

Formal Modelling, Analysis and Verification of Hybrid Systems. - Naijun Zhan; Shuling Wang 003; Hengjun Zhao (ICTAC Training School on Software Engineering, 2013)

Synthesizing Switching Controllers for Hybrid Systems by Continuous Invariant Generation - Deepak Kapur; Naijun Zhan; Hengjun Zhao (CoRR, 2013)

Multi-focus image fusion based on the neighbor distance. - Hengjun Zhao; Zhaowei Shang; Yuan Yan Tang; Bin Fang 001 (Pattern Recognit., 2013)

Formal Verification of a Descent Guidance Control Program of a Lunar Lander. - Hengjun Zhao; Mengfei Yang; Naijun Zhan; Bin Gu 006; Liang Zou; Yao Chen (FM, 2014)

Discovering non-terminating inputs for multi-path polynomial programs. - Jiang Liu 009; Ming Xu 010; Naijun Zhan; Hengjun Zhao (J. Syst. Sci. Complex., 2014)

Abstraction of Elementary Hybrid Systems by Variable Transformation. - Jiang Liu 009; Naijun Zhan; Hengjun Zhao; Liang Zou (FM, 2015)

MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems. - Mingshuai Chen; Xiao Han 003; Tao Tang 004; Shuling Wang 003; Mengfei Yang; Naijun Zhan; Hengjun Zhao; Liang Zou (Provably Correct Systems, 2017)

No-reference image sharpness metric based on directional derivatives. - Jiye Qian; Hengjun Zhao; Jin Fu; Guojun He; Xingzhe Hou; Bin Fang 001; Jide Qian (SPAC, 2017)

China's energy consumption forecasting by GMDH based auto-regressive model. - Ling Xie; Jin Xiao; Yi Hu; Hengjun Zhao; Yi Xiao 011 (J. Syst. Sci. Complex., 2017)

ARCH-COMP18 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Andrew Sogokon; Yong Kiam Tan; André Platzer; Hengjun Zhao; Xiangyu Jin; Shuling Wang 003; Naijun Zhan (ARCH@ADHS, 2018)

基于机器视觉的液晶屏Mura缺陷检测方法 (Machine Vision Based Inspection Method of Mura Defect for LCD). - Jide Qian; Bin Chen; Jiye Qian; Hengjun Zhao; Gang Chen (计算机科学, 2018)

Probably Approximate Safety Verification of Hybrid Dynamical Systems. - Bai Xue 001; Martin Fränzle; Hengjun Zhao; Naijun Zhan; Arvind Easwaran (ICFEM, 2019)

No-reference image sharpness assessment via difference quotients. - Jiye Qian; Hengjun Zhao; Jin Fu; Wei Song; Jide Qian; Qianbo Xiao (J. Electronic Imaging, 2019)

Synthesizing barrier certificates using neural networks. - Hengjun Zhao; Xia Zeng; Taolue Chen 001; Zhiming Liu 001 (HSCC, 2020)

Legendre Based Adaptive Image Segmentation Combining The Gradient Information. - Jiajie Zhu 001; Bin Fang 001; Mingliang Zhou 001; Hengjun Zhao; Futing Luo (ICIP, 2020)

Design and Development of Human Computer Interface Using Electrooculogram with Deep Learning. - Ge-Er Teng; Yue He; Hengjun Zhao; Dunhu Liu; Jin Xiao; S. Ramkumar (Artif. Intell. Medicine, 2020)

Learning safe neural network controllers with barrier certificates. - Hengjun Zhao; Xia Zeng; Taolue Chen 001; Zhiming Liu 001; Jim Woodcock 001 (Formal Aspects Comput., 2021)

Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. - Yike Cheng; Ji-Le Jiang; Ning Zhang; Hengjun Zhao; Zhiming Liu 001 (ICPR, 2022)

Safe Reinforcement Learning Algorithm and Its Application in Intelligent Control for CPS. - Hengjun Zhao; Quanzhong Li 005; Xia Zeng; Zhiming Liu 001 (Int. J. Softw. Informatics, 2022)

HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition. - Jingqi Wang; Jiajie Peng; Zhiming Liu 001; Hengjun Zhao (IJCNN, 2023)

Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding. - Mingyue Zhang 002; Nianyu Li; Yi Chen; Jialong Li 001; Xiaoyi Zhang; Hengjun Zhao; Jiamou Liu; Wu Chen 005 (AAAI, 2025)