Movement and Recovery Analysis of a Mouse-Replacement Interface for Users with Severe Disabilities. - Caitlin Connor; Emily Yu; John J. Magee; Esra Cansizoglu; Samuel Epstein 001; Margrit Betke (HCI (6), 2009)

A Framework for Model Checking Against CTLK Using Quantified Boolean Formulas. - Emily Yu; Martina Seidl; Armin Biere (FTSCS, 2019)

Model Checking Temporal Epistemic Logic under Bounded Recall. - Francesco Belardinelli; Alessio Lomuscio; Emily Yu (AAAI, 2020)

Progress in Certifying Hardware Model Checking Results. - Emily Yu; Armin Biere; Keijo Heljanko (CAV (2), 2021)

Stratified Certification for k-Induction. - Emily Yu; Nils Froleyks; Armin Biere; Keijo Heljanko (FMCAD, 2022)

Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications. - Francesco Belardinelli; Alessio Lomuscio; Vadim Malvone; Emily Yu (J. Artif. Intell. Res., 2022)

BIG Backbones. - Nils Froleyks; Emily Yu; Armin Biere (FMCAD, 2023)

Towards Compositional Hardware Model Checking Certification. - Emily Yu; Nils Froleyks; Armin Biere; Keijo Heljanko (FMCAD, 2023)

Certifying Phase Abstraction. - Nils Froleyks; Emily Yu; Armin Biere; Keijo Heljanko (IJCAR (1), 2024)

Understanding Unique Behavioral Patterns through Multimodal Analysis of Eye-Hand Coordination in Autistic Children (Student Abstract). - Emily Yu (AAAI, 2025)

Neural Control and Certificate Repair via Runtime Monitoring. - Emily Yu; Dorde Zikelic; Thomas A. Henzinger (AAAI, 2025)

Introducing Certificates to the Hardware Model Checking Competition. - Nils Froleyks; Emily Yu; Mathias Preiner; Armin Biere; Keijo Heljanko (CAV (1), 2025)

SAMJAM: Zero-Shot Video Scene Graph Generation for Egocentric Kitchen Videos. - Joshua Li 002; Fernando Jose Pena Cantu; Emily Yu; Alexander Wong; Yuchen Cui; Yuhao Chen 001 (CVPR Workshops, 2025)

Predictive Monitoring of Black-Box Dynamical Systems. - Thomas A. Henzinger; Fabian Kresse; Kaushik Mallik; Emily Yu; Djordje Zikelic (L4DC, 2025)

Logic Gate Neural Networks are Good for Verification. - Fabian Kresse; Emily Yu; Christoph H. Lampert; Thomas A. Henzinger (NeuS, 2025)

Scalable Interconnect Learning in Boolean Networks. - Fabian Kresse; Emily Yu; Christoph H. Lampert (CoRR, 2025)

Formal Verification of Neural Certificates Done Dynamically. - Thomas A. Henzinger; Konstantin Kueffner; Emily Yu (CoRR, 2025)