Nguyen Hoang Nga

14 papers A* 1A 1Journal 4Unranked 7

Year	Rank	Type	Title / Venue / Authors
2015	J	`jnl`	Technical Report: Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources. CoRR Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Franco Raimondi
2014	J	`jnl`	Techniques for modelling and verifying railway interlockings. Int. J. Softw. Tools Technol. Transf. Phillip James, Faron Moller, Nguyen Hoang Nga, Markus Roggenbach, Steve A. Schneider, Helen Treharne
2011	J	`jnl`	Logic for coalitions with bounded resources. J. Log. Comput. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2011	—	`—`	Reasoning about resource-bounded multi-agent systems. Nguyen Hoang Nga
2010	—	`conf`	An Extension of RB-ATL. MALLOW Nguyen Hoang Nga
2010	—	`conf`	Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. MoChArt Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2010	A	`conf`	Resource-bounded alternating-time temporal logic. AAMAS Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	A*	`conf`	A Logic for Coalitions with Bounded Resources. IJCAI Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	—	`conf`	Expressing Properties of Coalitional Ability under Resource Bounds. LORI Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2009	J	`jnl`	Verifying time, memory and communication bounds in systems of reasoning agents. Synth. Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Reasoning about Other Agents' Beliefs under Bounded Resources. KRAMAS Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying Resource Requirements for Distributed Rule-Based Systems. RuleML Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
2008	—	`conf`	Verifying time, memory and communication bounds in systems of reasoning agents. AAMAS (2) Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib