Motion Arc Analysis in Virtual Reality Environment. - Chenxin Qu; Ruiling Chen; Xiaoping Che (SMC, 2022)

llvm2CryptoLine: Verifying Arithmetic in Cryptographic C Programs. - Ruiling Chen; Jiaxiang Liu 001; Xiaomu Shi; Ming-Hsien Tsai 001; Bow-Yaw Wang; Bo-Yin Yang (ESEC/SIGSOFT FSE, 2023)

Upgraded Low-Frequency 3D Lightning Mapping System in North China and Observations on Lightning Initiation Processes. - Mingyuan Liu; Xiushu Qie; Zhuling Sun; Rubin Jiang; Hongbo Zhang; Ruiling Chen; Shanfeng Yuan; Yu Wang; Xiangke Liu (Remote. Sens., 2024)