Travelled to:1 × United Kingdom
Collaborated with:M.Rangarajan D.D.Cofer H.Rueß B.Dutertre S.Mendenhall Yan Xu 0011 Paul Tillery Joshua Cohen John Sharp B.MacIntyre
Talks about:decomposit (1) softwar (1) realiti (1) augment (1) report (1) physic (1) induct (1) herder (1) featur (1) experi (1)
Person: Vu Ha
DBLP: Ha:Vu
Contributed to:
2004
2012Wrote 2 papers:
- ICSE-2004-HaRCRD #case study #composition #experience #induction #proving #realtime
- Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report (VH, MR, DDC, HR, BD), pp. 304–313.
- FDG-2012-MendenhallHXTCSM #artificial reality #design #game studies #named #physics
- NerdHerder: designing for physical actions in an augmented reality puzzle game (SM, VH, YX0, PT, JC, JS, BM), pp. 250–253.