| 2017 | ITP | Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics. | Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin |
| 2017 | MVA | Hierarchical zero-shot classification with convolutional neural network features and semantic attribute learning. | Jared Markowitz, Aurora C. Schmidt, Philippe M. Burlina, I-Jeng Wang |
| 2016 | ICWSM | Investigating the Observability of Complex Contagion in Empirical Social Networks. | Clay Fink, Aurora C. Schmidt, Vladimir Barash, John Kelly, Christopher J. Cameron, Michael Macy |
| 2015 | EMSOFT | Formal verification of ACAS X, an industrial airborne collision avoidance system. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2015 | ICMLA | Zero Shot Deep Learning from Semantic Attributes. | Philippe M. Burlina, Aurora C. Schmidt, I-Jeng Wang |
| 2015 | TACAS | A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System. | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, Andr Platzer |
| 2014 | ICWSM | Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation. | Aurora C. Schmidt, Clay Fink, Nathan Bos |
| 2012 | ICASSP | Distributed field reconstruction with model-robust basis pursuit. | Aurora C. Schmidt, Jos M. F. Moura |
| 2009 | ICASSP | Field inversion by consensus and compressed sensing. | Aurora C. Schmidt, Jos M. F. Moura |