Manh Thang Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2005–2017
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | BSN | A method for estimating text neck while walking using a 3-axis accelerometer. | Manh Thang Nguyen, Quoc Khanh Dang, Young Soo Suh, Youngjoon Chee |
| 2009 | LOPSTR | The Dependency Triple Framework for Termination of Logic Programs. | Peter Schneider-Kamp, Jrgen Giesl, Manh Thang Nguyen |
| 2007 | LOPSTR | Termination Analysis of Logic Programs Based on Dependency Graphs. | Manh Thang Nguyen, Jrgen Giesl, Peter Schneider-Kamp, Danny De Schreye |
| 2006 | LOPSTR | Polytool: Proving Termination Automatically Based on Polynomial Interpretations. | Manh Thang Nguyen, Danny De Schreye |
| 2005 | ICLP | Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. | Manh Thang Nguyen, Danny De Schreye |