Jianhong Zhao

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 8

Top Topics

Autonomous Underwater Vehicle

Formal Semantics

Top Venues

Publications

Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren
KBX: Verified Model Synchronization via Formal Bidirectional Transformation. CoRR (2024)
Jianhong Zhao, Jinhui Kang, Yongwang Zhao
K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs. CoRR (2024)
Fei Wan, Jianhong Zhao, Jihe Wang
The Integral Points on the Elliptic Curve y^2=7qx(x^2+128). ICMML (2023)
Xunbo Zhu, Shuangqing Lv, Zhilong He, Zhengguo Yang, Xuefang Li, Jianhong Zhao
Bearings-only passive location mathematical model for UAV cluster based on three points. SPCNC (2023)
Xinliang Miao, Rui Chang, Jianhong Zhao, Yongwang Zhao, Shuang Cao, Tao Wei, Liehui Jiang, Kui Ren
CVTEE: A Compatible Verified TEE Architecture With Enhanced Security. IEEE Trans. Dependable Secur. Comput. 20 (1) (2023)
Fei Guo, Zichang Wang, Suguo Du, Huaxin Li, Haojin Zhu, Qingqi Pei, Zhenfu Cao, Jianhong Zhao
Detecting Vehicle Anomaly in the Edge via Sensor Consistency and Frequency Characteristic. IEEE Trans. Veh. Technol. 68 (6) (2019)
Jianhong Zhao, Zhuoyu Chen
Some Symmetric Identities Involving Fubini Polynomials and Euler Numbers. Symmetry 10 (8) (2018)
Jianhong Zhao, Wei Yi, Yuanxi Peng, Xuefeng Peng
Design and Simulation of a Self-adaptive Fuzzy-PID Controller for an Autonomous Underwater Vehicle. ICIRA (1) (2017)