Hoang Nga Nguyen
Hoang Nga Nguyen
Geverifieerd e-mailadres voor coventry.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
Logic for coalitions with bounded resources
N Alechina, B Logan, HN Nguyen, A Rakib
Journal of Logic and Computation 21 (6), 907-937, 2011
682011
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
682009
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
552010
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
362012
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
342014
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
322008
The Fuzzy Description logic ALCFLH
S Hölldobler, HN Nguyen, DK Tran
International workshop on Description Logics, 2005
322005
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
322004
Decidable Model-Checking for a Resource Logic with Production of Resources.
N Alechina, B Logan, HN Nguyen, F Raimondi
ECAI 14, 9-14, 2014
262014
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
252014
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
242013
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
22*2017
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
222012
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
192015
Towards automated android app collusion detection
IM Asavoae, J Blasco, TM Chen, HK Kalutarage, I Muttik, HN Nguyen, ...
arXiv preprint arXiv:1603.02308, 2016
182016
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
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
162015
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
152017
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
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
132009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20