Intelligent Gearbox Diagnosis Methods Based on SVM, Wavelet Lifting and RBR. - Lixin Gao 002; Zhiqiang Ren; Wenliang Tang; Huaqing Wang; Peng Chen 002 (Sensors, 2010)

A Programmer-Centric Approach to Program Verification in ATS - Zhiqiang Ren; Hongwei Xi (CoRR, 2012)

Combining type-checking with model-checking for system verification. - Zhiqiang Ren; Hongwei Xi (MEMOCODE, 2016)

Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus. - Hongwei Xi; Zhiqiang Ren; Hanwen Wu; William Blair (CoRR, 2016)

Combining type checking with model checking for system verification - Zhiqiang Ren (2017)

Optimizing building material supplier selection through integrated interval-valued intuitionistic fuzzy multi-attribute decision making. - Haiyan Hu; Zhiqiang Ren (Int. J. Knowl. Based Intell. Eng. Syst., 2023)

A blockchain-based data storage architecture for Internet of Vehicles: Delay-aware consensus and data query algorithms. - Zhiqiang Ren; Shumei Liu; Yisheng An; Yonghui Li 001; Naiqi Wu (Veh. Commun., 2024)

Research on Quantitative Safety Risk Assessment Methods at Vehicle Controllability Level. - Lei He 017; Zichong Li; Xuezhu Yang; Yuanle Zhou; Zikun Qu; Zhiqiang Ren (IEEE Access, 2025)

Optimal privacy-preserving economic dispatch of smart grids via lightweight state decomposition and designed noise. - Lianghao Ji; Zhiqiang Ren; Yan Xie; Shasha Yang 002; Xing Guo (Neurocomputing, 2025)