Login / Signup
Shunyi Mao
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 3
Top Topics
Automated Verification
Model Checking
Computation Tree Logic
Risk Evaluation
Top Venues
IEEE Trans. Comput. Soc. Syst.
ICEBE
IEEE Access
</>
Publications
</>
Xiaoxian Yang
,
Shunyi Mao
,
Honghao Gao
,
Yucong Duan
,
Qiming Zou
Novel Financial Capital Flow Forecast Framework Using Time Series Theory and Deep Learning: A Case Study Analysis of Yu'e Bao Transaction Data.
IEEE Access
7 (2019)
Honghao Gao
,
Shunyi Mao
,
Wanqiu Huang
,
Xiaoxian Yang
Applying Probabilistic Model Checking to Financial Production Risk Evaluation and Control: A Case Study of Alibaba's Yu'e Bao.
IEEE Trans. Comput. Soc. Syst.
5 (3) (2018)
Yonghua Zhu
,
Xiaoyi Xue
,
Kai Zhang
,
Shunyi Mao
,
Honghao Gao
Applying Probabilistic Model Checking to Express Delivery Location Selection and Optimization.
ICEBE
(2016)