Vu Ha

Publication Activity (10 Years)

Years Active: 2004-2018
Publications (10 Years): 2

Top Topics

Semantically Meaningful

Semantic Knowledge

Graph Theoretic

Top Venues

AAAI Workshop: Scholarly Big Data

Publications

Waleed Ammar, Dirk Groeneveld, Chandra Bhagavatula, Iz Beltagy, Miles Crawford, Doug Downey, Jason Dunkelberger, Ahmed Elgohary, Sergey Feldman, Vu Ha, Rodney Kinney, Sebastian Kohlmeier, Kyle Lo, Tyler Murray, Hsu-Han Ooi, Matthew E. Peters, Joanna Power, Sam Skjonsberg, Lucy Lu Wang, Chris Wilhelm, Zheng Yuan, Madeleine van Zuylen, Oren Etzioni
Construction of the Literature Graph in Semantic Scholar. NAACL-HLT (3) (2018)
Waleed Ammar, Dirk Groeneveld, Chandra Bhagavatula, Iz Beltagy, Miles Crawford, Doug Downey, Jason Dunkelberger, Ahmed Elgohary, Sergey Feldman, Vu Ha, Rodney Kinney, Sebastian Kohlmeier, Kyle Lo, Tyler Murray, Hsu-Han Ooi, Matthew E. Peters, Joanna Power, Sam Skjonsberg, Lucy Lu Wang, Chris Wilhelm, Zheng Yuan, Madeleine van Zuylen, Oren Etzioni
Construction of the Literature Graph in Semantic Scholar. CoRR (2018)
Marco Valenzuela, Vu Ha, Oren Etzioni
Identifying Meaningful Citations. AAAI Workshop: Scholarly Big Data (2015)
Sam Mendenhall, Vu Ha, Yan Xu, Paul Tillery, Joshua Cohen, John Sharp, Blair MacIntyre
NerdHerder: designing for physical actions in an augmented reality puzzle game. FDG (2012)
Yan Xu, Sam Mendenhall, Vu Ha, Paul Tillery, Joshua Cohen
Herding nerds on your table: NerdHerder, a mobile augmented reality game. CHI Extended Abstracts (2012)
Vu Ha, Tariq Samad
Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification. IJCAI (2005)
Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad
Statistical performance verification for an autonomous rotorcraft. ISIC (2004)
Pam Binns, Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad
Statistical Verification of Two Non-linear Real-time UAV Controllers. IEEE Real-Time and Embedded Technology and Applications Symposium (2004)
Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rueß, Bruno Dutertre
Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. ICSE (2004)
Tariq Samad, Darren D. Cofer, Vu Ha, Pam Binns
High-confidence control: Ensuring reliability in high-performance real-time systems. Int. J. Intell. Syst. 19 (4) (2004)