Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Thanh Hai Nguyen 0002

> Home > Persons

Person information

affiliation: New Mexico State University, Department of Computer Science, Las Cruces, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/NguyenBSBGG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/NguyenBSBGG23
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor:
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. Theory Pract. Log. Program. 23(5): 1029-1069 (2023)
2020
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/TayeenNNP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/TayeenNNP20
Abu Saleh Md Tayeen, Thanh Hai Nguyen, Van Duc Nguyen, Enrico Pontelli:
Design and Implementation of Phylotastic, a Service Architecture for Evolutionary Biology. Int. J. Softw. Eng. Knowl. Eng. 30(10): 1525-1550 (2020)
2018
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/tplp/NguyenPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tplp/NguyenPS18
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. Theory Pract. Log. Program. 18(3-4): 656-672 (2018)
2017
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/AndersonBBBEGGI17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/AndersonBBBEGGI17
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:
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 38(3): 72-82 (2017)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2021
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/wf-iot/BundasNNSBS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wf-iot/BundasNNSBS21
Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son:
Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. WF-IoT 2021: 551-556
2020
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NguyenPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NguyenPS20
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
On Repairing Web Services Workflows. PADL 2020: 37-53
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/prima/NguyenSBBGG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/prima/NguyenSBBGG20
Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor:
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. PRIMA 2020: 51-67
2018
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/NguyenSP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/NguyenSP18
Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli:
Automatic Web Services Composition for Phylotastic. PADL 2018: 186-202

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2022
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-05710
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-05710
Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor:
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. CoRR abs/2201.05710 (2022)
2018
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1805-00185
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1805-00185
Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. CoRR abs/1805.00185 (2018)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.