Zijin Xu

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 6

Top Topics

Top Venues

IEEE Trans. Intell. Transp. Syst.

IEEE Wirel. Commun.

J. Syst. Archit.

Publications

Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang
Template-Based Conjecturing for Automated Induction in Isabelle/HOL. FSEN (2023)
Ning Chen, Hongyu Shi, Ruijun Liu, Yujie Li, Ji Li, Zijin Xu, Dawei Wang, Guoyang Lu, Baohong Jing, Yue Hou
A 5G Cloud Platform and Machine Learning-Based Mobile Automatic Recognition of Transportation Infrastructure Objects. IEEE Wirel. Commun. 30 (2) (2023)
Zijin Xu, Xin Yu, Zhuo Liu, Song Zhang, Qinxia Sun, Ning Chen, Haotian Lv, Dawei Wang, Yue Hou
Safety Monitoring of Transportation Infrastructure Foundation: Intelligent Recognition of Subgrade Distresses Based on B-Scan GPR Images. IEEE Trans. Intell. Transp. Syst. 24 (12) (2023)
Yuanhai Zhang, Zijin Xu, Yibo Zhang, Nan Guan, Shuai Zhao, Gang Chen, Kai Huang
FTSC: Fault-tolerant scheduling and control co-design for distributed real-time system. J. Syst. Archit. 142 (2023)
Ning Chen, Zijin Xu, Zhuo Liu, Yihan Chen, Yinghao Miao, Qiuhan Li, Yue Hou, Linbing Wang
Data Augmentation and Intelligent Recognition in Pavement Texture Using a Deep Learning. IEEE Trans. Intell. Transp. Syst. 23 (12) (2022)
Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang
Property-Based Conjecturing for Automated Induction in Isabelle/HOL. CoRR (2022)