Follow
Hoang Nga Nguyen
Hoang Nga Nguyen
Associate Professor, Coventry University
Verified email at coventry.ac.uk - Homepage
Title
Cited by
Cited by
Year
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
752011
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
752009
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
622010
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
462014
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
412012
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
352004
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
342008
The Fuzzy Description logic ALCFLH
S Hölldobler, HN Nguyen, DK Tran
International workshop on Description Logics, 2005
342005
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
302012
Decidable Model-Checking for a Resource Logic with Production of Resources.
N Alechina, B Logan, HN Nguyen, F Raimondi
ECAI 14, 9-14, 2014
292014
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
28*2017
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
272014
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
272013
Towards automated android app collusion detection
IM Asavoae, J Blasco, TM Chen, HK Kalutarage, I Muttik, HN Nguyen, ...
arXiv preprint arXiv:1603.02308, 2016
222016
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
222015
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
182017
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
182015
Combining event-based and state-based modelling for railway verification
F Moler, HN Nguyen, M Roggenbach, SA Schneider, H Treharne
172012
Comparing formal verification approaches of interlocking systems
AE Haxthausen, HN Nguyen, M Roggenbach
International Conference on Reliability, Safety, and Security of Railway …, 2016
152016
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
152009
The system can't perform the operation now. Try again later.
Articles 1–20