Zhiqiang Ren

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 4

Top Topics

Supplier Selection

Interval Valued Intuitionistic Fuzzy

Multi Dimensional

Top Venues

Int. J. Knowl. Based Intell. Eng. Syst.

Publications

Zhiqiang Ren, Shumei Liu, Yisheng An, Yonghui Li, Naiqi Wu
A blockchain-based data storage architecture for Internet of Vehicles: Delay-aware consensus and data query algorithms. Veh. Commun. 47 (2024)
Haiyan Hu, Zhiqiang Ren
Optimizing building material supplier selection through integrated interval-valued intuitionistic fuzzy multi-attribute decision making. Int. J. Knowl. Based Intell. Eng. Syst. 27 (4) (2023)
Hongwei Xi, Zhiqiang Ren, Hanwen Wu, William Blair
Session Types in a Linearly Typed Multi-Threaded Lambda-Calculus. CoRR (2016)
Zhiqiang Ren, Hongwei Xi
Combining type-checking with model-checking for system verification. MEMOCODE (2016)
Zhiqiang Ren, Hongwei Xi
A Programmer-Centric Approach to Program Verification in ATS CoRR (2012)
Lixin Gao, Zhiqiang Ren, Wenliang Tang, Huaqing Wang, Peng Chen
Intelligent Gearbox Diagnosis Methods Based on SVM, Wavelet Lifting and RBR. Sensors 10 (5) (2010)