Hoang Nga Nguyen
TitleCited byYear
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
542011
A Logic for Coalitions with Bounded Resources
N Alechina, B Logan, HN Nguyen, A Rakib
Proceedings of the International Joint Conference on Artificial Intelligence, 2009
542009
Resource-bounded alternating-time temporal logic
N Alechina, B Logan, HN Nguyen, A Rakib
Proceedings of the 9th International Conference on Autonomous Agents and …, 2010
462010
The Fuzzy Description logic ALCFLH
S Hölldobler, HN Nguyen, DK Tran
International workshop on Description Logics, 2005
342005
The Subsumption Problem of the Fuzzy Description Logic ALCFH
S Hoelldobler, HP Stoerr, DK Tran, HN Nguyen
The Tenth International Conference IPMU 2004: Information Processing and …, 2004
332004
Defining and model checking abstractions of complex railway models using CSP|| B
F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
Haifa Verification Conference, 193-208, 2012
302012
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, HN Nguyen, A Rakib
Proceedings of International Conference on Autonomous Agents and Multiagent …, 2008
302008
Techniques for modelling and verifying railway interlockings
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
International Journal on Software Tools for Technology Transfer 16 (6), 685-711, 2014
262014
Verification of Scheme Plans using CSP|| B
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, ...
Software Engineering and Formal Methods, 189-204, 2013
222013
Decidable Model-Checking for a Resource Logic with Production of Resources.
N Alechina, B Logan, HN Nguyen, F Raimondi
ECAI 14, 9-14, 2014
212014
Safety and line capacity in railways–an approach in Timed CSP
Y Isobe, F Moller, HN Nguyen, M Roggenbach
International Conference on Integrated Formal Methods, 54-68, 2012
202012
On modelling and verifying railway interlockings: Tracking train lengths
P James, F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne
Science of computer programming 96, 315-336, 2014
192014
Combining event-based and state-based modelling for railway verification
F Moler, HN Nguyen, M Roggenbach, SA Schneider, H Treharne
University of Surrey, 2012
172012
Verifying time and communication costs of rule-based reasoners
N Alechina, B Logan, NH Nga, A Rakib
Model Checking and Artificial Intelligence, 1-14, 2008
142008
Model-checking for Resource-Bounded ATL with production and consumption of resources
N Alechina, B Logan, HN Nguyen, F Raimondi
Journal of Computer and System Sciences 88, 126-144, 2017
13*2017
On the boundary of (un)decidability: decidable model-checking for a fragment of Resource Agent Logic
N Alechina, N Bulling, B Logan, HN Nguyen
International Joint Conference on Artificial Intelligence, 2015
122015
Railway modelling in CSP‖ B: the double junction case study
F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne, G Lttgen, ...
In Proceedings of AVOCS, 2012
122012
Verifying time, memory and communication bounds in systems of reasoning agents
N Alechina, B Logan, HN Nguyen, A Rakib
Synthese 169 (2), 385-403, 2009
122009
Symbolic Model-checking for Resource-Bounded ATL
N Alechina, B Logan, HN Nguyen, F Raimondi, L Mostarda
International Conference on Autonomous Agents and Multiagent Systems, 2015
112015
The virtues of idleness: A decidable fragment of resource agent logic
N Alechina, N Bulling, B Logan, HN Nguyen
Artificial Intelligence 245, 56-85, 2017
102017
The system can't perform the operation now. Try again later.
Articles 1–20