Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization. - Yonghua Zhu; Xiaoyi Xue; Kai Zhang 039; Shunyi Mao; Honghao Gao (ICEBE, 2016)

Applying Probabilistic Model Checking to Financial Production Risk Evaluation and Control: A Case Study of Alibaba's Yu'e Bao. - Honghao Gao; Shunyi Mao; Wanqiu Huang; Xiaoxian Yang (IEEE Trans. Comput. Soc. Syst., 2018)

Novel Financial Capital Flow Forecast Framework Using Time Series Theory and Deep Learning: A Case Study Analysis of Yu'e Bao Transaction Data. - Xiaoxian Yang; Shunyi Mao; Honghao Gao; Yucong Duan; Qiming Zou (IEEE Access, 2019)