Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs. - Manh Thang Nguyen; Danny De Schreye (ICLP, 2005)

Polytool: Proving Termination Automatically Based on Polynomial Interpretations. - Manh Thang Nguyen; Danny De Schreye (LOPSTR, 2006)

Termination of Programs using Term Rewriting and SAT Solving. - Jürgen Giesl; Peter Schneider-Kamp; René Thiemann; Stephan Swiderski; Manh Thang Nguyen; Danny De Schreye; Alexander Serebrenik (Deduction and Decision Procedures, 2007)

Termination Analysis of Logic Programs Based on Dependency Graphs. - Manh Thang Nguyen; Jürgen Giesl; Peter Schneider-Kamp; Danny De Schreye (LOPSTR, 2007)

The Dependency Triple Framework for Termination of Logic Programs. - Peter Schneider-Kamp; Jürgen Giesl; Manh Thang Nguyen (LOPSTR, 2009)

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs. - Manh Thang Nguyen; Danny De Schreye; Jürgen Giesl; Peter Schneider-Kamp (Theory Pract. Log. Program., 2011)

A method for estimating text neck while walking using a 3-axis accelerometer. - Manh Thang Nguyen; Quoc Khanh Dang; Young Soo Suh; Youngjoon Chee (BSN, 2017)

Unlocking visual data to enhance the accuracy of AI-enabled mass valuation of urban houses: An Australian city case study. - Viet-Ngu Hoang; Kien Nguyen Thanh; Manh Thang Nguyen; Andrea Blake (Expert Syst. Appl., 2024)