Détection et prédiction de la satisfaction des usagers dans les dialogues Personne-Machine. - Narjès Boufaden; Truong Le Hoang; Pierre Dumouchel (TALN (Posters), 2007)

A formal proof of the Kepler conjecture. - Thomas C. Hales; Mark Adams; Gertrud Bauer; Dat Tat Dang; John Harrison 001; Truong Le Hoang; Cezary Kaliszyk; Victor Magron; Sean McLaughlin; Thang Tat Nguyen; Truong Quang Nguyen; Tobias Nipkow; et al. (CoRR, 2015)