| Logic for coalitions with bounded resources N Alechina, B Logan, HN Nguyen, A Rakib Journal of Logic and Computation 21 (6), 907-937, 2011 | 78 | 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 | 78 | 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 | 65 | 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, 685-711, 2014 | 50 | 2014 |
| Defining and model checking abstractions of complex railway models using CSP|| B F Moller, HN Nguyen, M Roggenbach, S Schneider, H Treharne Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 41 | 2013 |
| 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 |
| Decidable Model-Checking for a Resource Logic with Production of Resources. N Alechina, B Logan, HN Nguyen, F Raimondi ECAI 14, 9-14, 2014 | 31 | 2014 |
| Safety and line capacity in railways–an approach in Timed CSP Y Isobe, F Moller, HN Nguyen, M Roggenbach Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa …, 2012 | 30 | 2012 |
| 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 | 29* | 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 | 28 | 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 | 23 | 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 | 23 | 2015 |
| 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 | 20 | 2015 |
| Formalising systematic security evaluations using attack trees for automotive applications M Cheah, HN Nguyen, J Bryans, SA Shaikh Information Security Theory and Practice: 11th IFIP WG 11.2 International …, 2018 | 19 | 2018 |
| 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 |
| 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 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis …, 2016 | 16 | 2016 |
Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtVerified email at uu.nl
