A Formal Approach for Modeling and Verification of Distributed Systems. - Gang Ren 006; Pan Deng; Chao Yang 002; Jianwei Zhang; Qingsong Hua (CloudComp, 2015)

An integrated framework of formal methods for interaction behaviors among industrial equipments. - Pan Deng; Gang Ren 006; Wei Yuan; Feng Chen 009; Qingsong Hua (Microprocess. Microsystems, 2015)

FP-MRBP: Fine-grained Parallel MapReduce Back Propagation Algorithm. - Gang Ren 006; Qingsong Hua; Pan Deng; Chao Yang 002 (ICANN (2), 2017)

A 3-Layer Method for Analysis of Cooperative Behaviors of Physical Devices in Cyber-Physical Systems. - Gang Ren 006; Pan Deng; Chao Yang 002 (WASA, 2017)

A Multi-Perspective Method for Analysis of Cooperative Behaviors Among Industrial Devices of Smart Factory. - Gang Ren 006; Qingsong Hua; Pan Deng; Chao Yang 002; Jianwei Zhang (IEEE Access, 2017)

Multi-grained Cross-modal Similarity Query with Interpretability. - Mingdong Zhu; Derong Shen; Lixin Xu; Gang Ren 006 (APWeb/WAIM (2), 2020)

Public Auditing Scheme With Identity Privacy Preserving Based on Certificateless Ring Signature for Wireless Body Area Networks. - Kaixin Zhao; Dong Sun; Gang Ren 006; Yang Zhang 087 (IEEE Access, 2020)

A DDoS attack detection and defense mechanism based on the self-organizing mapping in SDN. - Kaixin Zhao; Bo Lu; Hongyu Shi; Gang Ren 006; Yang Zhang 087 (Internet Technol. Lett., 2020)

A node positioning method for IoT based on LSSVR and optimized particle swarm algorithm. - Yang Zhang 087; Kaixin Zhao; Gang Ren 006; Mingdong Zhu (Internet Technol. Lett., 2022)