Integrating DSL-CBI and NuSMV for Modeling and Verifiying Interlocking Systems. - Yan Cao; Qiuzi Lu; Tianhua Xu; Tao Tang 004; Haifeng Wang; Yongcheng Xu (SSIRI (Companion), 2011)

Research on Strategy for Delay Recovery of Urban Rapid Rail Transit Trains Based on Coyote Optimization Algorithm. - Chunchi Li; Guoxuan Tai; Yiwei Wang; Qiuzi Lu; Yuhao Huang; Wei Wang; Youneng Huang (ITSC, 2023)

The Dynamic Merge Control for Virtual Coupling Trains Based on Prescribed Performance Control. - Xi Wang 020; Yan Wei; Hongwei Wang 008; Qiuzi Lu; Hairong Dong 001 (IEEE Trans. Ind. Informatics, 2025)