Zhiqiang Ren

According to our database, Zhiqiang Ren authored at least 7 papers between 2010 and 2024.

Collaborative distances:

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

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