Statistical performance verification for an autonomous rotorcraft. - Michael Elgersma; Subhabrata Ganguli; Vu Ha; Tariq Samad (ISIC, 2004)

Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. - Vu Ha; Murali Rangarajan; Darren D. Cofer; Harald Rueß; Bruno Dutertre (ICSE, 2004)

Statistical Verification of Two Non-linear Real-time UAV Controllers. - Pam Binns; Michael Elgersma; Subhabrata Ganguli; Vu Ha; Tariq Samad (IEEE Real-Time and Embedded Technology and Applications Symposium, 2004)

High-confidence control: Ensuring reliability in high-performance real-time systems. - Tariq Samad; Darren D. Cofer; Vu Ha; Pam Binns (Int. J. Intell. Syst., 2004)

Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification. - Vu Ha; Tariq Samad (IJCAI, 2005)

Herding nerds on your table: NerdHerder, a mobile augmented reality game. - Yan Xu 011; Sam Mendenhall; Vu Ha; Paul A. Tillery IV; Joshua Cohen 001 (CHI Extended Abstracts, 2012)

NerdHerder: designing for physical actions in an augmented reality puzzle game. - Sam Mendenhall; Vu Ha; Yan Xu 011; Paul A. Tillery IV; Joshua Cohen 001; John Sharp; Blair MacIntyre (FDG, 2012)

Identifying Meaningful Citations. - Marco Valenzuela; Vu Ha; Oren Etzioni (AAAI Workshop: Scholarly Big Data, 2015)

Construction of the Literature Graph in Semantic Scholar. - Waleed Ammar; Dirk Groeneveld; Chandra Bhagavatula; Iz Beltagy; Miles Crawford; Doug Downey; Jason Dunkelberger; Ahmed Elgohary; Sergey Feldman; Vu Ha; Rodney Kinney; Sebastian Kohlmeier; et al. (NAACL-HLT (3), 2018)