Emily Yu

Movement and Recovery Analysis of a Mouse-Replacement Interface for Users with Severe Disabilities

Margrit Betke, Esra Ataer Cansizoglu, Samuel Epstein, 2009, HCI.

A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas

Martina Seidl, Emily Yu, Armin Biere, 2019, FTSCS.

INNV-31. ACCELERATING NEURO-ONCOLOGY RESEARCH AND IMPROVING PATIENT CARE THROUGH A ROBUST DATA FOUNDATION

Bryan Lari, Emily Yu, Kristin Alfaro-Munoz, 2019 .

Analysis of National Bridge Inventory (NBI) Data for California Bridges

Emily Yu, 2016 .

Model Checking Temporal Epistemic Logic under Bounded Recall

Francesco Belardinelli, Emily Yu, Alessio Lomuscio, 2020, AAAI.