Yi Chou

A Study of Model-Order Reduction Techniques for Verification

Yi Chou, Xin Chen, Sriram Sankaranarayanan, 2017, NSV@CAV.

Understanding knowledge management phenomena in virtual communities from a goal-directed approach

Yi Chou, Shih-Wei Chou, Jiun-Yan Shiau, 2018, Internet Res..

Predictive Runtime Monitoring for Linear Stochastic Systems and Applications to Geofence Enforcement for UAVs

Yi Chou, Sriram Sankaranarayanan, Xin Chen, 2019, RV.

Bayesian Parameter Estimation for Nonlinear Dynamics Using Sensitivity Analysis

Yi Chou, Sriram Sankaranarayanan, 2019, IJCAI.

The upcoming balloon campaign of the Compton Spectrometer and Imager (COSI)

Yi Chou, Andreas Zoglauer, Steven E. Boggs, 2015 .

EXITE2 detector and telescope development and initial balloon flight results

Yi Chou, J. E. Grindlay, Peter F. Bloser, 1998, 1998 IEEE Nuclear Science Symposium Conference Record. 1998 IEEE Nuclear Science Symposium and Medical Imaging Conference (Cat. No.98CH36255).