Hoang Nga Nguyen

Geciteerd door

	Alles	Sinds 2017
Citaties	780	407
h-index	17	12
i10-index	24	15

2005200620072008200920102011201220132014201520162017201820192020202120225 12 6 23 14 22 26 33 37 64 60 69 65 66 84 82 78 32

Openbare toegang

Alles bekijken

11 artikelen

2 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

Markus RoggenbachProfessor of Computer Science, Swansea UniversityGeverifieerd e-mailadres voor swan.ac.uk
Natasha AlechinaDepartment of Information and Computing Sciences, University of UtrechtGeverifieerd e-mailadres voor uu.nl
Brian LoganNottingham UniversityGeverifieerd e-mailadres voor cs.nott.ac.uk
Abdur RakibUniversity of the West of England, BristolGeverifieerd e-mailadres voor uwe.ac.uk
Siraj Ahmed ShaikhCoventry UniversityGeverifieerd e-mailadres voor coventry.ac.uk
Helen TreharneProfessor, Department of Computer Science, University of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
Steve SchneiderDirector of Surrey Centre for Cyber Security; Professor of Computing, University of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
Franco RaimondiProfessor of Computer Science, Middlesex UniversityGeverifieerd e-mailadres voor mdx.ac.uk
Jeremy BryansResearch Fellow, Coventry University, UKGeverifieerd e-mailadres voor coventry.ac.uk
Nils BullingTU ClausthalGeverifieerd e-mailadres voor in.tu-clausthal.de
Tran Dinh KhangHanoi University of Science and TechnologyGeverifieerd e-mailadres voor soict.hust.edu.vn
Jorge Blasco AlísSenior Lecturer, Royal Holloway, University of LondonGeverifieerd e-mailadres voor rhul.ac.uk
Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of DenmarkGeverifieerd e-mailadres voor dtu.dk
Matthew TrumbleUniversity of SurreyGeverifieerd e-mailadres voor surrey.ac.uk
Leonardo MostardaAssociate ProfessorGeverifieerd e-mailadres voor unicam.it

Volgen

Hoang Nga Nguyen

Associate Professor, Coventry University

Geverifieerd e-mailadres voor coventry.ac.uk - Homepage

formal methods cybersecurity railway automotive autonomous


Titel Sorteren op citaties Sorteren op jaar Sorteren op 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	74	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	74	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	43	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	36	2004
The Fuzzy Description logic ALCFLH S Hölldobler, HN Nguyen, DK Tran International workshop on Description Logics, 2005	35	2005
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
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
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	29	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	27*	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	26	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	25	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	21	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	21	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 University of Surrey, 2012	17	2012
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
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	15	2008

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Deze auteur volgen

Geciteerd door

Medeauteurs