Zhiqiang Ren

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 2

Top Topics

Programming Language

Predicate Calculus

Top Venues

Publications

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)