Manh Thang Nguyen

Polytool: Proving Termination Automatically Based on Polynomial Interpretations

Danny De Schreye, Manh Thang Nguyen, 2006, LOPSTR.

Polytool: Polynomial interpretations as a basis for termination analysis of logic programs

Jürgen Giesl, Danny De Schreye, Peter Schneider-Kamp, 2011, Theory Pract. Log. Program..

A method for estimating text neck while walking using a 3-axis accelerometer

Youngjoon Chee, Young Soo Suh, Manh Thang Nguyen, 2017, 2017 IEEE 14th International Conference on Wearable and Implantable Body Sensor Networks (BSN).

Termination Analysis of Logic Programs Based on Dependency Graphs

Jürgen Giesl, Danny De Schreye, Peter Schneider-Kamp, 2007, LOPSTR.

Termination of Programs using Term Rewriting and SAT Solving

Jürgen Giesl, Alexander Serebrenik, Danny De Schreye, 2007, Deduction and Decision Procedures.

Program specialisation as a preprocessing step for termination analysis

Maurice Bruynooghe, Danny De Schreye, Michael Leuschel, 2006 .

The Dependency Triple Framework for Termination of Logic Programs

Jürgen Giesl, Peter Schneider-Kamp, Manh Thang Nguyen, 2009, LOPSTR.

A Measurement System for Rounded Shoulder Posture using a Wearable Stretch Sensor

Younghoon Kim, Manh Thang Nguyen, Quoc Khanh Dang, 2018 .

Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)

Manh Thang Nguyen, 2009 .