Formalization and Verification of the Powerlink Protocol Using CSP. - Haiping Pang; Ju Li; Yijia Ruan; Yanhong Huang; Jianqi Shi; Shengchao Qin (APSEC, 2016)

pTSE: A Multi-model Ensemble Method for Probabilistic Time Series Forecasting. - Yunyi Zhou; Zhixuan Chu; Yijia Ruan; Ge Jin; Yuchen Huang; Sheng Li 001 (IJCAI, 2023)