Zhiqiang Ren

According to our database, Zhiqiang Ren authored at least 5 papers between 2010 and 2017.

Collaborative distances:

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

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