Zijin Xu

According to our database, Zijin Xu authored at least 6 papers between 2022 and 2023.

Collaborative distances:

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

2023

Safety Monitoring of Transportation Infrastructure Foundation: Intelligent Recognition of Subgrade Distresses Based on B-Scan GPR Images.

Zijin Xu, Xin Yu, Zhuo Liu, Song Zhang, Qinxia Sun, Ning Chen, Haotian Lv, Dawei Wang, Yue Hou

IEEE Trans. Intell. Transp. Syst., December, 2023

FTSC: Fault-tolerant scheduling and control co-design for distributed real-time system.

Yuanhai Zhang, Zijin Xu, Yibo Zhang, Nan Guan, Shuai Zhao, Gang Chen, Kai Huang

J. Syst. Archit., September, 2023

A 5G Cloud Platform and Machine Learning-Based Mobile Automatic Recognition of Transportation Infrastructure Objects.

Ning Chen, Hongyu Shi, Ruijun Liu, Yujie Li, Ji Li, Zijin Xu, Dawei Wang, Guoyang Lu, Baohong Jing, Yue Hou

IEEE Wirel. Commun., April, 2023

Template-Based Conjecturing for Automated Induction in Isabelle/HOL.

Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

2022

Data Augmentation and Intelligent Recognition in Pavement Texture Using a Deep Learning.

Ning Chen, Zijin Xu, Zhuo Liu, Yihan Chen, Yinghao Miao, Qiuhan Li, Yue Hou, Linbing Wang

IEEE Trans. Intell. Transp. Syst., 2022

Property-Based Conjecturing for Automated Induction in Isabelle/HOL.

Yutaka Nagashima, Zijin Xu, Ningli Wang, Daniel Sebastian Goc, James Bang

CoRR, 2022