• 85 Citations
  • 5 h-Index
20142019
If you made any changes in Pure these will be visible here soon.

Research Output 2014 2019

  • 85 Citations
  • 5 h-Index
  • 9 Conference proceeding
  • 6 Article
  • 4 Paper
  • 2 Chapter
Filter
Article
2018
16 Downloads (Pure)

Alternating-time temporal logic with resource bounds

Nguyen, H. N., Alechina, N., Logan, B. & Rakib, A., 7 Jun 2018, In : Journal of Logic and Computation. 28, 4, p. 631-663 33 p.

Research output: Contribution to journalArticle

Open Access
File
Temporal logic
Temporal Logic
Logic
Resources
Reasoning
2017
7 Citations (Scopus)
16 Downloads (Pure)

Model-Checking for Resource-Bounded ATL with Production and Consumption of Resources

Alechina, N., Logan, B., Nguyen, H. N. & Raimondi, F., Sep 2017, In : Journal of Computer and System Sciences. 88, p. 126-144 19 p.

Research output: Contribution to journalArticle

Open Access
File
Temporal logic
Model checking
Model Checking
Resources
Logic
5 Citations (Scopus)
32 Downloads (Pure)

The virtues of idleness: A decidable fragment of resource agent logic

Alechina, N., Bulling, N., Logan, B. & Nguyen, H. N., 4 Jan 2017, In : Artificial Intelligence. 245, April 2017, p. 56-85

Research output: Contribution to journalArticle

Open Access
File
Model checking
Computability and decidability
resources
Temporal logic
Multi agent systems
4 Citations (Scopus)
41 Downloads (Pure)

Towards a threat assessment framework for apps collusion

Kalutarage, H. K., Nguyen, H. N. & Shaikh, S. A., Nov 2017, In : Telecommunication Systems. 66, 3, p. 417-430 14 p.

Research output: Contribution to journalArticle

Open Access
File
Application programs
Android (operating system)
2014
13 Citations (Scopus)
12 Downloads (Pure)

On modelling and verifying railway interlockings: Tracking train lengths

James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Schneider, S. & Treharne, H., 15 Dec 2014, In : Science of Computer Programming. 96, 3, p. 315-336

Research output: Contribution to journalArticle

Open Access
File
Derailments
Feedback
Engineers
21 Citations (Scopus)
19 Downloads (Pure)

Techniques for modelling and verifying railway interlockings

James, P., Moller, F., Nguyen, H. N., Roggenbach, M., Schneider, S. & Treharne, H., Nov 2014, In : International Journal on Software Tools for Technology Transfer. 16, 6, p. 685-711

Research output: Contribution to journalArticle

Open Access
File
Coating techniques
Model checking
Engineers
Modeling languages