N. H. Nga
发表
W.A.C. Fernando,
N. H. Nga,
2002
.
Abdur Rakib,
Michael Fisher,
Alexander Bolotov,
2008
.
Nguyen Hoang Nga,
Siraj Ahmed Shaikh,
N. H. Nga,
2017,
Telecommun. Syst..
Abdur Rakib,
Nguyen Hoang Nga,
Brian Logan,
2010,
MoChArt.
Faron Moller,
Yoshinao Isobe,
Nguyen Hoang Nga,
2012,
IFM.
N. H. Nga,
S. Shaikh,
Farhan Ahmad,
2022,
Sensors.
N. H. Nga,
S. Shaikh,
Farhan Ahmad,
2022,
NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium.
Nguyen Hoang Nga,
Siraj Ahmed Shaikh,
N. H. Nga,
2021,
2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
Nguyen Hoang Nga,
Jeremy Bryans,
Siraj Ahmed Shaikh,
2019,
2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE).
Abdur Rakib,
Nguyen Hoang Nga,
Brian Logan,
2008,
KRAMAS.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2014,
International Journal on Software Tools for Technology Transfer.
Nguyen Nguyen,
N. H. Nga,
2011
.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2014,
Sci. Comput. Program..
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2013,
SEFM Workshops.
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2012,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Faron Moller,
Nguyen Hoang Nga,
Markus Roggenbach,
2012,
Haifa Verification Conference.
N. H. Nga,
J. Bryans,
S. Shaikh,
2023,
Trans. Emerg. Telecommun. Technol..
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2015,
IJCAI.
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2015,
J. Comput. Syst. Sci..
Nguyen Hoang Nga,
Brian Logan,
Natasha Alechina,
2014,
ECAI.
Nguyen Hoang Nga,
Siamak Tavakoli,
Siraj Ahmed Shaikh,
2019,
2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).
N. H. Nga,
S. Shaikh,
Shahid Mahmood,
2022,
Veh. Commun..