( en | de | ru )

 

Disambiguation of "Nguyen, Hoang Nga"

Author of the publication

copydeleteadd this publication to your clipboard
On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic.

, , , and . IJCAI, page 1494-1501. AAAI Press, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nga Nguyen

Huyen-Nga Hoang

Nguyen Hoang

Phi-Nga Nguyen

Hoang Nam Nguyen

 

Other publications of authors with the same name

A Hardware-based SoC Monitoring In-life Solution for Automotive Industry., , , , , and . PerCom Workshops, page 637-642. IEEE, (2022)Formalising UPTANE in CSP for Security Testing., , , , , and . QRS Companion, page 816-824. IEEE, (2021)Verifying Time and Communication Costs of Rule-Based Reasoners., , , and . MoChArt, volume 5348 of Lecture Notes in Computer Science, page 1-14. Springer, (2008)On the Boundary of (Un)decidability: Decidable Model-Checking for a Fragment of Resource Agent Logic., , , and . IJCAI, page 1494-1501. AAAI Press, (2015)Attack Defense Trees with Sequential Conjunction., , and . HASE, page 247-252. IEEE, (2019)A Template-Based Method for the Generation of Attack Trees., , , , , and . WISTP, volume 12024 of Lecture Notes in Computer Science, page 155-165. Springer, (2019)A comparative analysis of multi-criteria decision methods for secure beacon selection in vehicular platoons., , , , , and . Trans. Emerg. Telecommun. Technol., (November 2023)A Probabilistic Logic for Resource-Bounded Multi-Agent Systems., and . IJCAI, page 521-527. ijcai.org, (2019)Symbolic Model Checking for One-Resource RB+-ATL., , , and . IJCAI, page 1069-1075. AAAI Press, (2015)Systematic threat assessment and security testing of automotive over-the-air (OTA) updates., , and . Veh. Commun., (2022)