Manh Thang Nguyen

According to our database, Manh Thang Nguyen authored at least 7 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

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

Manh Thang Nguyen, Quoc Khanh Dang, Young Soo Suh, Youngjoon Chee

Proceedings of the 14th IEEE International Conference on Wearable and Implantable Body Sensor Networks, 2017

2011

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

2009

The Dependency Triple Framework for Termination of Logic Programs.

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

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2007

Termination Analysis of Logic Programs Based on Dependency Graphs.

Manh Thang Nguyen, Jürgen Giesl, Peter Schneider-Kamp, Danny De Schreye

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

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

Proceedings of the Deduction and Decision Procedures, 30.09. - 05.10.2007, 2007

2006

Polytool: Proving Termination Automatically Based on Polynomial Interpretations.

Manh Thang Nguyen, Danny De Schreye

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

2005

Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.

Manh Thang Nguyen, Danny De Schreye

Proceedings of the Logic Programming, 21st International Conference, 2005