Vu Ha

	2012
5		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: 1351-1356
	2005
4		Vu Ha, Tariq Samad: Generalization Bounds for Weighted Binary Classification with Applications to Statistical Verification. IJCAI 2005: 722-727
	2004
3		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: 304-313
2		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: 341-351
1		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): 315-326 (2004)

Coauthor Index

1	Pam Binns	[1] [2]
2	Darren D. Cofer	[1] [3]
3	Joshua Cohen	[5]
4	Bruno Dutertre	[3]
5	Michael Elgersma	[2]
6	Subhabrata Ganguli	[2]
7	Sam Mendenhall	[5]
8	Murali Rangarajan	[3]
9	Harald Ruess (Harald Rueß)	[3]
10	Tariq Samad	[1] [2] [4]
11	Paul Tillery	[5]
12	Yan Xu	[5]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page