Login / Signup
Yijia Ruan
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 3
Top Topics
Network Protocols
Constraint Propagation
Multiple Models
Formal Proof
Top Venues
APSEC
CoRR
IJCAI
</>
Publications
</>
Yunyi Zhou
,
Zhixuan Chu
,
Yijia Ruan
,
Ge Jin
,
Yuchen Huang
,
Sheng Li
pTSE: A Multi-model Ensemble Method for Probabilistic Time Series Forecasting.
CoRR
(2023)
Yunyi Zhou
,
Zhixuan Chu
,
Yijia Ruan
,
Ge Jin
,
Yuchen Huang
,
Sheng Li
pTSE: A Multi-model Ensemble Method for Probabilistic Time Series Forecasting.
IJCAI
(2023)
Haiping Pang
,
Ju Li
,
Yijia Ruan
,
Yanhong Huang
,
Jianqi Shi
,
Shengchao Qin
Formalization and Verification of the Powerlink Protocol Using CSP.
APSEC
(2016)