Thanh Hai Nguyen

According to our database, Thanh Hai Nguyen authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework.

Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor

Theory Pract. Log. Program., September, 2023

2021

Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems.

Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son

Proceedings of the 7th IEEE World Forum on Internet of Things, 2021

2020

Design and Implementation of Phylotastic, a Service Architecture for Evolutionary Biology.

Abu Saleh Md Tayeen, Thanh Hai Nguyen, Van Duc Nguyen, Enrico Pontelli

Int. J. Softw. Eng. Knowl. Eng., 2020

Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP.

Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

On Repairing Web Services Workflows.

Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son

Proceedings of the Practical Aspects of Declarative Languages, 2020

2018

Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming.

Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son

Theory Pract. Log. Program., 2018

Automatic Web Services Composition for Phylotastic.

Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli

Proceedings of the Practical Aspects of Declarative Languages, 2018

2017

Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.

Monica Anderson, Roman Barták, John S. Brownstein, David L. Buckeridge, Hoda Eldardiry, Christopher W. Geib, Maria L. Gini, Aaron Isaksen, Sarah Keren, Robert Laddaga, Viliam Lisý, Rodney Martin, David R. Martinez, Martin Michalowski, Loizos Michael, Reuth Mirsky, Thanh Hai Nguyen, Michael J. Paul, Enrico Pontelli, Scott Sanner, Arash Shaban-Nejad, Arunesh Sinha, Shirin Sohrabi, Kumar Sricharan, Biplav Srivastava, Mark Stefik, William W. Streilein, Nathan R. Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu

AI Mag., 2017