Property-Based Conjecturing for Automated Induction in Isabelle/HOL. - Yutaka Nagashima; Zijin Xu; Ningli Wang; Daniel Sebastian Goc; James Bang (CoRR, 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)

Template-Based Conjecturing for Automated Induction in Isabelle/HOL. - Yutaka Nagashima; Zijin Xu; Ningli Wang; Daniel Sebastian Goc; James Bang (FSEN, 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 007; Guoyang Lu; Baohong Jing; Yue Hou (IEEE Wirel. Commun., 2023)

FTSC: Fault-tolerant scheduling and control co-design for distributed real-time system. - Yuanhai Zhang; Zijin Xu; Yibo Zhang; Nan Guan; Shuai Zhao 004; Gang Chen 023; Kai Huang 001 (J. Syst. Archit., 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 007; Yue Hou (IEEE Trans. Intell. Transp. Syst., 2023)