Statistics
Publications
3
Citations
79
H-Index
3
Active since
2004
Affiliations
University of Nottingham(Current)
Nguyen Hoang Nga is an author at University of Nottingham specializing in logic, computer science, and computing.
Publications per year
2004–2010
3
3
Resource-bounded alternating-time temporal logic
Natasha Alechina, Brian Logan, Nguyen Hoang Nga et al. · 2010 · 43 citations · Full text
Verifying time, memory and communication bounds in systems of reasoning agents
Natasha Alechina, Brian Logan, Nguyen Hoang Nga et al. · 2008 · 19 citations · Full text
The Subsumption Problem of the Fuzzy Description Logic ALCFH
Steffen Hölldobler, Hans-Peter Störr, Trần Đình Kháng et al. · 2004 · 17 citations
1–3 of 3