An Intrusion Detection Model Based on Deep Convolutional Factorization Machine for Controller Area Network Bus in Internet of Vehicles. - Yong Lu; Yifan Guo; Shikang Chen; Jiayun Li (IEEE Internet Things J., 2024)

Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF. - Liangda Fang; Shikang Chen; Xiaoman Wang; Xiaoyou Lin; Chenyi Zhang 001; Qingliang Chen; Quanlong Guan; Kaile Su (AAMAS, 2025)