Design and Simulation of a Self-adaptive Fuzzy-PID Controller for an Autonomous Underwater Vehicle. - Jianhong Zhao; Wei Yi; Yuanxi Peng; Xuefeng Peng (ICIRA (1), 2017)

Some Symmetric Identities Involving Fubini Polynomials and Euler Numbers. - Jianhong Zhao; Zhuoyu Chen (Symmetry, 2018)

Detecting Vehicle Anomaly in the Edge via Sensor Consistency and Frequency Characteristic. - Fei Guo 003; Zichang Wang; Suguo Du; Huaxin Li; Haojin Zhu; Qingqi Pei; Zhenfu Cao; Jianhong Zhao (IEEE Trans. Veh. Technol., 2019)

The Integral Points on the Elliptic Curve y^2=7qx(x^2+128). - Fei Wan; Jianhong Zhao; Jihe Wang (ICMML, 2023)

Bearings-only passive location mathematical model for UAV cluster based on three points. - Xunbo Zhu; Shuangqing Lv; Zhilong He; Zhengguo Yang; Xuefang Li; Jianhong Zhao (SPCNC, 2023)

CVTEE: A Compatible Verified TEE Architecture With Enhanced Security. - Xinliang Miao; Rui Chang; Jianhong Zhao; Yongwang Zhao; Shuang Cao; Tao Wei 002; Liehui Jiang; Kui Ren 001 (IEEE Trans. Dependable Secur. Comput., 2023)

CHESS: Concurrent Charging with Efficient Phase Scheduling. - Dié Wu; Chenglong Zhang; Jingwen Li; Tang Liu 001; Kun She; Jianhong Zhao (ICPADS, 2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs. - Jianhong Zhao; Jinhui Kang; Yongwang Zhao (CoRR, 2024)

ProveriT: A Parameterized, Composable, and Verified Model of TEE Protection Profile. - Jilin Hu; Fanlang Zeng; Yongwang Zhao; Zhuoruo Zhang; Leping Zhang; Jianhong Zhao; Rui Chang; Kui Ren 001 (IEEE Trans. Dependable Secur. Comput., 2024)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation. - Jianhong Zhao; Yongwang Zhao; Peisen Yao; Fanlang Zeng; Bohua Zhan; Kui Ren 001 (ACM Trans. Softw. Eng. Methodol., 2025)