| 2025 | AAAI | Learning Verified Safe Neural Network Controllers for Multi-Agent Path Finding. | Mingyue Zhang, Nianyu Li, Yi Chen, Jialong Li, Xiaoyi Zhang, Hengjun Zhao, Jiamou Liu, Wu Chen |
| 2023 | IJCNN | HQProtoPNet: An Evidence-Based Model for Interpretable Image Recognition. | Jingqi Wang, Jiajie Peng, Zhiming Liu, Hengjun Zhao |
| 2022 | ICPR | Automatic Lumbar Vertebra Landmark Localization and Segmentation for Pedicle Screw Placement. | Yike Cheng, Ji-Le Jiang, Ning Zhang, Hengjun Zhao, Zhiming Liu |
| 2020 | ICIP | Legendre Based Adaptive Image Segmentation Combining The Gradient Information. | Jiajie Zhu, Bin Fang, Mingliang Zhou, Hengjun Zhao, Futing Luo |
| 2020 | SETTA | Learning Safe Neural Network Controllers with Barrier Certificates. | Hengjun Zhao, Xia Zeng, Taolue Chen, Zhiming Liu, Jim Woodcock |
| 2019 | ICFEM | Probably Approximate Safety Verification of Hybrid Dynamical Systems. | Bai Xue, Martin Frnzle, Hengjun Zhao, Naijun Zhan, Arvind Easwaran |
| 2015 | FM | Abstraction of Elementary Hybrid Systems by Variable Transformation. | Jiang Liu, Naijun Zhan, Hengjun Zhao, Liang Zou |
| 2014 | FM | Formal Verification of a Descent Guidance Control Program of a Lunar Lander. | Hengjun Zhao, Mengfei Yang, Naijun Zhan, Bin Gu, Liang Zou, Yao Chen |
| 2013 | ICIP | A no-reference image sharpness estimation based on expectation of wavelet transform coefficients. | Hengjun Zhao, Bin Fang, Yuan Yan Tang |
| 2013 | ICTAC | Formal Modelling, Analysis and Verification of Hybrid Systems. | Naijun Zhan, Shuling Wang, Hengjun Zhao |
| 2012 | FM | 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 |
| 2012 | ICIP | Visual saliency estimation using support value transform. | Weibin Yang, Bin Fang, Yuan Yan Tang, Zhaowei Shang, Hengjun Zhao |
| 2011 | EMSOFT | Computing semi-algebraic invariants for polynomial dynamical systems. | Jiang Liu, Naijun Zhan, Hengjun Zhao |
| 2010 | APLAS | A Calculus for Hybrid CSP. | Jiang Liu, Jidong Lv, Zhao Quan, Naijun Zhan, Hengjun Zhao, Chaochen Zhou, Liang Zou |