Jianhong Zhao

According to our database, Jianhong Zhao authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

KBX: Verified Model Synchronization via Formal Bidirectional Transformation.

Jianhong Zhao, Yongwang Zhao, Peisen Yao, Fanlang Zeng, Bohua Zhan, Kui Ren

CoRR, 2024

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs.

Jianhong Zhao, Jinhui Kang, Yongwang Zhao

CoRR, 2024

2023

CVTEE: A Compatible Verified TEE Architecture With Enhanced Security.

Xinliang Miao, Rui Chang, Jianhong Zhao, Yongwang Zhao, Shuang Cao, Tao Wei, Liehui Jiang, Kui Ren

IEEE Trans. Dependable Secur. Comput., 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

Proceedings of the 2nd International Conference on Signal Processing, 2023

The Integral Points on the Elliptic Curve y^2=7qx(x^2+128).

Fei Wan, Jianhong Zhao, Jihe Wang

Proceedings of the International Conference on Mathematics and Machine Learning, 2023

2019

Detecting Vehicle Anomaly in the Edge via Sensor Consistency and Frequency Characteristic.

Fei Guo, Zichang Wang, Suguo Du, Huaxin Li, Haojin Zhu, Qingqi Pei, Zhenfu Cao, Jianhong Zhao

IEEE Trans. Veh. Technol., 2019

2018

Some Symmetric Identities Involving Fubini Polynomials and Euler Numbers.

Jianhong Zhao, Zhuoyu Chen

Symmetry, 2018

2017

Design and Simulation of a Self-adaptive Fuzzy-PID Controller for an Autonomous Underwater Vehicle.

Jianhong Zhao, Wei Yi, Yuanxi Peng, Xuefeng Peng

Proceedings of the Intelligent Robotics and Applications - 10th International Conference, 2017