| Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011 | 75 | 2011 |
| 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 | 75 | 2009 |
| 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 | 62 | 2010 |
| 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 | 46 | 2014 |
| 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 | 41 | 2012 |
| 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 | 35 | 2004 |
| 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 | 34 | 2008 |
| The Fuzzy Description logic ALCFLH S Hölldobler, HN Nguyen, DK Tran International workshop on Description Logics, 2005 | 34 | 2005 |
| 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 | 30 | 2012 |
| Decidable Model-Checking for a Resource Logic with Production of Resources. N Alechina, B Logan, HN Nguyen, F Raimondi ECAI 14, 9-14, 2014 | 29 | 2014 |
| 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 | 27 | 2014 |
| 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 | 27 | 2013 |
| Towards automated android app collusion detection IM Asavoae, J Blasco, TM Chen, HK Kalutarage, I Muttik, HN Nguyen, ... arXiv preprint arXiv:1603.02308, 2016 | 22 | 2016 |
| 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 | 22 | 2015 |
| 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 | 18 | 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 | 18 | 2015 |
| Combining event-based and state-based modelling for railway verification F Moler, HN Nguyen, M Roggenbach, SA Schneider, H Treharne | 17 | 2012 |
| Comparing formal verification approaches of interlocking systems AE Haxthausen, HN Nguyen, M Roggenbach International Conference on Reliability, Safety, and Security of Railway …, 2016 | 15 | 2016 |
| 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 | 15 | 2009 |
Markus RoggenbachProfessor of Computer Science, Swansea UniversityVerified email at swan.ac.uk
