Hengjun Zhao

Computing semi-algebraic invariants for polynomial dynamical systems

Jiang Liu, Naijun Zhan, Hengjun Zhao · 2011 · 117 citations

Computing, Computer Science, Algorithms +13

Multi-focus image fusion based on the neighbor distance

Hengjun Zhao, Zhaowei Shang, Yuan Yan Tang et al. · Pattern Recognition · 2012 · 100 citations

Computing, Computer Science, Computer Vision +4

Synthesizing barrier certificates using neural networks

Hengjun Zhao, Xia Zeng, Taolue Chen et al. · 2020 · 62 citations

Computing, Computer Science, Mathematics +15

DESIGN AND DEVELOPMENT OF HUMAN COMPUTER INTERFACE USING ELECTROOCULOGRAM WITH DEEP LEARNING

Geer Teng, Yue He, Hengjun Zhao et al. · Artificial Intelligence in Medicine · 2019 · 36 citations

Computing, Computer Engineering, Computer Science +10

Learning safe neural network controllers with barrier certificates

Hengjun Zhao, Xia Zeng, Taolue Chen et al. · Formal Aspects of Computing · 2021 · 32 citations · Full text

Computing, Computer Science, Computer Systems +11