Manh Thang Nguyen

Computer Science · Physical Sciences

5h-index123citations14works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Logic, programming, and type systems(7), Formal Methods in Verification(7), Logic, Reasoning, and Knowledge(6), Housing Market and Economics(2), Urban Planning and Valuation(2)

Publications14 total

AI Techniques for Species Semantic Segmentations in Australian Pastures
2025Open Access
Unlocking visual data to enhance the accuracy of AI-enabled mass valuation of urban houses: An Australian city case study
Expert Systems with Applications·2024Open Access
Unlocking Visual Data to Enhance the Accuracy of Ai-Enabled Mass Valuation of Urban Houses: An Australian City Case Study
SSRN Electronic Journal·2024Open Access
Tình hình đẻ non và các phương pháp xử trí tại Khoa Đẻ Bệnh viện Phụ Sản Trung Ương
Tạp chí Phụ sản·2018
A Measurement System for Rounded Shoulder Posture using a Wearable Stretch Sensor
Journal of Biomedical Engineering Research·2018· 3 cited
<tt>Polytool</tt>: Polynomial interpretations as a basis for termination analysis of logic programs
Theory and Practice of Logic Programming·2010· 15 citedOpen Access
The Dependency Triple Framework for Termination of Logic Programs
Lecture notes in computer science·2010· 19 cited
Polytool: polynomial interpretations as a basis for termination analysis of Logic programs
arXiv (Cornell University)·2009· 3 citedOpen Access
Termination Analysis: Crossing Paradigm Borders (Terminatie analyse: het doorbreken van de paradigmagrenzen)
2009
Termination Analysis of Logic Programs Based on Dependency Graphs
Lecture notes in computer science·2008· 42 citedOpen Access
Polytool: Proving Termination Automatically Based on Polynomial Interpretations
Lecture notes in computer science·2007· 16 citedOpen Access
Termination of Programs using Term Rewriting and SAT Solving
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2007· 1 citedOpen Access
Program specialisation as a preprocessing step for termination analysis
Lirias (KU Leuven)·2006· 2 citedOpen Access
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Lecture notes in computer science·2005· 22 citedOpen Access

Frequent Co-authors

Danny De Schreye(7), Jürgen Giesl(5), Peter Schneider–Kamp(5), Viet‐Ngu Hoang(2), Kien Nguyen(2), Andrea Blake(2), Quoc Khanh Dang(1), Young-Hoon Kim(1), 지영준(1), Maurice Bruynooghe(1), Michaël Leuschel(1), René Thiemann(1), Stephan Swiderski(1), Alexander Serebrenik(1), Thi Huyen Trang Dao(1)