Emily Yu

6 papers at tracked venues · 4 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×3 FM ×2 CVPR ×1

Frequent coauthors

Thomas A. Henzinger

×2

Nils Froleyks

×1

Armin Biere

×1

Keijo Heljanko

×1

Marek Chalupa

×1

N. Ege Saraç

×1

Dorde Zikelic

×1

Joshua Li

×1

Fernando Jose Pena Cantu

×1

Alexander Wong

×1

Yuchen Cui

×1

Yuhao Chen

×1

Papers

Certifying Constraints in Hardware Model Checking
FM 2026 ·
Nils Froleyks
, Emily Yu,
Armin Biere
,
Keijo Heljanko
Quantitative Monitoring of Signal First-Order Logic
FM 2026 ·
Marek Chalupa
,
Thomas A. Henzinger
,
N. Ege Saraç
, Emily Yu
Spatiotemporal Transformers with Multiple Instance Learning for Label-Efficient Behavioral Analysis in Autism (Student Abstract)
AAAI 2026 · Emily Yu
Neural Control and Certificate Repair via Runtime Monitoring
AAAI 2025 · Emily Yu,
Dorde Zikelic
,
Thomas A. Henzinger
SAMJAM: Zero-Shot Video Scene Graph Generation for Egocentric Kitchen Videos
CVPR 2025 ·
Joshua Li
,
Fernando Jose Pena Cantu
, Emily Yu,
Alexander Wong
,
Yuchen Cui
,
Yuhao Chen
Understanding Unique Behavioral Patterns through Multimodal Analysis of Eye-Hand Coordination in Autistic Children (Student Abstract)
AAAI 2025 · Emily Yu