Hoang Nga Nguyen

Research Fellow, VRBMAS

Publications

  1. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Franco Raimondi. 2014. Decidable Model-Checking for a Resource Logic with Production of Resources. In proceedings of 21st European Conference on Artificial Intelligence. Pages: 9-14. Doi: 10.3233/978-1-61499-419-0-9.
  2. Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider and Helen Treharne. 2014. On modelling and verifying railway interlockings: Tracking train lengths. In Science of Computer Programming. Doi: 10.1016/j.scico.2014.04.005.
  3. Phillip James, Faron Moller, HoangNga Nguyen, Markus Roggenbach, Steve Schneider and Helen Treharne. 2014. Techniques for modelling and verifying railway interlockings. In International Journal on Software Tools for Technology Transfer. Pages: 1-27. Doi: 10.1007/s10009-014-0304-7.
  4. Phillip James, Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne, Matthew Trumble and David M. Williams. 2013. Verification of Scheme Plans Using CSP$||$B. In proceedings of SEFM Workshops. Pages: 189-204.
  5. Yoshinao Isobe, Faron Moller, Hoang Nga Nguyen and Markus Roggenbach. 2012. Safety and Line Capacity in Railways - An Approach in Timed CSP. In proceedings of IFM. Pages: 54-68. Doi: 10.1007/978-3-642-30729-4_5.
  6. Faron Moller, Hoang Nga Nguyen and Markus Roggenbach. 2012. Theoretical foundations for simulating Timed CSP.
  7. Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider and Helen Treharne. 2012. Defining and Model Checking Abstractions of Complex Railway Models Using CSP$||$B. In proceedings of Haifa Verification Conference. Pages: 193-208.
  8. Markus Roggenbach, Faron Moller, Steve Schneider, Helen Treharne and Hoang Nga Nguyen. 2012. Railway modelling in CSP$||$B: the double junction case study. In ECEASST.
  9. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2011. Logic for coalitions with bounded resources. In Journal of Logic and Computation. Pages: 907-937. Doi: 10.1093/logcom/exq032.
  10. Yoshinao Isobe, Hoang Nga Nguyen and Markus Roggenbach. 2011. Towards safe capacity in the railway domain -- An experiment in Timed-CSP. In proceedings of Dependable System Workshop (DSW).
  11. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2010. Resource-bounded alternating-time temporal logic. In proceedings of AAMAS. Pages: 481-488. Doi: 10.1.1.174.4320.
  12. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2010. Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction. In proceedings of MoChArt. Pages: 69-84.
  13. Hoang Nga Nguyen. 2010. An Extension of RB-ATL. In proceedings of MALLOW.
  14. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2009. A Logic for Coalitions with Bounded Resources. In proceedings of IJCAI. Pages: 659-664. Doi: 10.1.1.150.975.
  15. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2009. Expressing Properties of Coalitional Ability under Resource Bounds. In proceedings of LORI. Pages: 1-14.
  16. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2009. Verifying time, memory and communication bounds in systems of reasoning agents. In Synthese. Pages: 385-403. Doi: 10.1007/s11229-009-9557-1.
  17. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2009. Verifying Properties of Coalitional Ability under Resource Bounds. In proceedings of Workshop on Logics for Agents and Mobility (LAM).
  18. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2008. Verifying time, memory and communication bounds in systems of reasoning agents. In proceedings of AAMAS. Pages: 736-743. Doi: 10.1.1.136.2516.
  19. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2008. Reasoning about Other Agents' Beliefs under Bounded Resources. In proceedings of KRAMAS. Pages: 1-15.
  20. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2008. Verifying Time and Communication Costs of Rule-Based Reasoners. In proceedings of MoChArt. Pages: 1-14.
  21. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2008. Verifying Resource Requirements for Distributed Rule-Based Systems. In proceedings of RuleML. Pages: 31-38.
  22. Natasha Alechina, Brian Logan, Hoang Nga Nguyen and Abdur Rakib. 2008. Verification of Resource Requirements of Distributed Reasoning Agents. In proceedings of Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages QAPL 2008. Doi: 10.1.1.212.1035.
  23. Steffen H{\"o}lldobler, Hoang Nga Nguyen and Tran Dinh Khang. 2005. The fuzzy description logic ALCFLH. In proceedings of International workshop on Description Logics. CEUR. Doi: 10.1.1.90.2773.
  24. Steffen H{\"o}lldobler, Hans-Peter St{\"o}rr, Tran Dinh Khang and Nga Hoang Nguyen. 2004. The subsumption problem of the fuzzy description logic ALCFH. In proceedings of Proceedings of the 10th International Conference on Information Processing and Managment of Uncertainty in Knowledge-Based Systems,(IPMU-04). Pages: 327--335.