Bayesian Statistical Model Checking for Continuous Stochastic Logic. - Ratan Lal; Weikang Duan; Pavithra Prabhakar (MEMOCODE, 2020)

Bayesian Hybrid Model Search and Averaging for Sparse Gaussian Process Regression. - Weikang Duan; Gyuhyeong Goh (Stat. Anal. Data Min., 2025)