Zhiqiang Ren

According to our database, Zhiqiang Ren authored at least 9 papers between 2010 and 2025.

Collaborative distances:

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

2025

Optimal privacy-preserving economic dispatch of smart grids via lightweight state decomposition and designed noise.

Lianghao Ji, Zhiqiang Ren, Yan Xie, Shasha Yang, Xing Guo

Neurocomputing, 2025

Research on Quantitative Safety Risk Assessment Methods at Vehicle Controllability Level.

Lei He, Zichong Li, Xuezhu Yang, Yuanle Zhou, Zikun Qu, Zhiqiang Ren

IEEE Access, 2025

2024

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, Naiqi Wu

Veh. Commun., 2024

2023

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

2017

Combining type checking with model checking for system verification

Zhiqiang Ren

PhD thesis, 2017

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, Hongwei Xi

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

2012

A Programmer-Centric Approach to Program Verification in ATS

Zhiqiang Ren, Hongwei Xi

CoRR, 2012

2010

Intelligent Gearbox Diagnosis Methods Based on SVM, Wavelet Lifting and RBR.

Lixin Gao, Zhiqiang Ren, Wenliang Tang, Huaqing Wang, Peng Chen

Sensors, 2010