Vu Ha

According to our database, Vu Ha authored at least 9 papers between 2004 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

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, 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

Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, 2018

2015

Identifying Meaningful Citations.

Marco Valenzuela, Vu Ha, Oren Etzioni

Proceedings of the Scholarly Big Data: AI Perspectives, 2015

2012

NerdHerder: designing for physical actions in an augmented reality puzzle game.

Sam Mendenhall, Vu Ha, Yan Xu, Paul A. Tillery IV, Joshua Cohen, John Sharp, Blair MacIntyre

Proceedings of the International Conference on the Foundations of Digital Games, 2012

Herding nerds on your table: NerdHerder, a mobile augmented reality game.

Yan Xu, Sam Mendenhall, Vu Ha, Paul A. Tillery IV, Joshua Cohen

Proceedings of the CHI Conference on Human Factors in Computing Systems, 2012

2005

Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification.

Vu Ha, Tariq Samad

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

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

Statistical Verification of Two Non-linear Real-time UAV Controllers.

Pam Binns, Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 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

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

Statistical performance verification for an autonomous rotorcraft.

Michael Elgersma, Subhabrata Ganguli, Vu Ha, Tariq Samad

Proceedings of the Intelligent Control, 2004