| 2026 | AAAI | Spatiotemporal Transformers with Multiple Instance Learning for Label-Efficient Behavioral Analysis in Autism (Student Abstract). | Emily Yu |
| 2026 | CAV | Liveness Proofs for Hardware Model Checking. | Nils Froleyks, Emily Yu, Bart Bogaerts, Armin Biere, Keijo Heljanko |
| 2026 | FM | Quantitative Monitoring of Signal First-Order Logic. | Marek Chalupa, Thomas A. Henzinger, N. Ege Sara, Emily Yu |
| 2026 | FM | Certifying Constraints in Hardware Model Checking. | Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko |
| 2026 | IJCAR | Hardware Model Checking Certification with Certifaiger and Cerbtora. | Nils Froleyks, Emily Yu |
| 2025 | AAAI | Understanding Unique Behavioral Patterns through Multimodal Analysis of Eye-Hand Coordination in Autistic Children (Student Abstract). | Emily Yu |
| 2025 | AAAI | Neural Control and Certificate Repair via Runtime Monitoring. | Emily Yu, Dorde Zikelic, Thomas A. Henzinger |
| 2025 | CAV | Introducing Certificates to the Hardware Model Checking Competition. | Nils Froleyks, Emily Yu, Mathias Preiner, Armin Biere, Keijo Heljanko |
| 2025 | CVPR | SAMJAM: Zero-Shot Video Scene Graph Generation for Egocentric Kitchen Videos. | Joshua Li, Fernando Jose Pena Cantu, Emily Yu, Alexander Wong, Yuchen Cui, Yuhao Chen |
| 2025 | RV | Formal Verification of Neural Certificates Done Dynamically. | Thomas A. Henzinger, Konstantin Kueffner, Emily Yu |
| 2024 | IJCAR | Certifying Phase Abstraction. | Nils Froleyks, Emily Yu, Armin Biere, Keijo Heljanko |
| 2023 | FMCAD | BIG Backbones. | Nils Froleyks, Emily Yu, Armin Biere |
| 2023 | FMCAD | Towards Compositional Hardware Model Checking Certification. | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
| 2022 | FMCAD | Stratified Certification for k-Induction. | Emily Yu, Nils Froleyks, Armin Biere, Keijo Heljanko |
| 2021 | CAV | Progress in Certifying Hardware Model Checking Results. | Emily Yu, Armin Biere, Keijo Heljanko |
| 2020 | AAAI | Model Checking Temporal Epistemic Logic under Bounded Recall. | Francesco Belardinelli, Alessio Lomuscio, Emily Yu |
| 2009 | HCI | 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, Margrit Betke |