Shikang Chen

According to our database, Shikang Chen authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

2025

Automatic Verification of Linear Integer Planning Programs via Forgetting in LIAUPF.

Liangda Fang, Shikang Chen, Xiaoman Wang, Xiaoyou Lin, Chenyi Zhang, Qingliang Chen, Quanlong Guan, Kaile Su

Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, 2025

2024

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., November, 2024