Formal Verification and Improvement of the PKMv3 Protocol Using CSP. - Jinpeng Jiang; Hongyan Mao; Rumeng Shao; Yuanmin Xu (COMPSAC (2), 2018)

Time-Aware and Location-Based Personalized Collaborative Recommendation for IoT Services. - Rumeng Shao; Hongyan Mao; Jinpeng Jiang (COMPSAC (1), 2019)

Local discontinuous Galerkin methods with implicit-explicit BDF time marching for Newell-Whitehead-Segel equations. - Haijin Wang; Xiaobin Shi; Rumeng Shao; Hongqiang Zhu; Yanping Chen (Int. J. Comput. Math., 2025)