SMT-Based Timing Analysis and Verification of Real-Time Task. - Hai-Feng Xing; Jiantao Zhou 002; Xiaoyu Song; Rui-dong Qi (COMPSAC (1), 2018)

A Method for Calculating Link Weight Dynamically by Entropy of Information in SDN. - Lin Liu; Jiantao Zhou 002; Xiaoyong Guo; Rui-dong Qi (CSCWD, 2018)

An Effective Clustering Method for Finding Density Peaks. - Rui-dong Qi; Jian-Tao Zhou 002; Xiaoyu Song (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

A Synergistic Cloud Service Approach for Cold Start Problems. - Rui-dong Qi; Jiantao Zhou 002; Xiaoyu Song (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

A Dynamic Multi-Objective Evolutionary Algorithm for Nontrivial Upper Bounds of Real-Time Tasks in Embedded System Design. - Hai-Feng Xing; Jiantao Zhou 002; Xiaoyu Song; Rui-dong Qi (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, 2018)

An elastic recommender process for cloud service recommendation scalability. - Rui-dong Qi; Jiantao Zhou 002; Zhuowei Wang 001; Xiaoyu Song (Concurr. Comput. Pract. Exp., 2022)

An Adaptive Density Peak Clustering Algorithm Based on N-ary Bézier Reverse Curve Optimization. - Le Yang; Rui-dong Qi; Jian-tao Zhou 002 (ICIC (9), 2025)