Concepedia

Phúc C. Nguyễn

PC

4

Publications

88

Citations

4

H-Index

2015

Active since

Affiliations

University of Maryland, College Park(Current)

Phúc C. Nguyễn is an author at University of Maryland, College Park specializing in engineering, formal verification, and formal methods.

ORCID

Top concepts

Publications per year

2015–2023

4

Publications

4

Relatively complete counterexamples for higher-order programs

Phúc C. Nguyễn, David Van Horn · 2015 · 35 citations

, , +18

Soft contract verification

Phúc C. Nguyễn, Sam Tobin-Hochstadt, David Van Horn · 2016 · 30 citations

, , +21

Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs

Phúc C. Nguyễn, Thomas Gilray, Sam Tobin-Hochstadt et al. · 2019 · 13 citations · Full text

, , +21

Synthesis of 2-aminobenzoxazoles from elemental sulfur mediated cyclization of 2-aminophenols and aryl isothiocyanates

Danh T. Tran, Tan N. Huynh, Phúc C. Nguyễn et al. · Tetrahedron Letters · 2023 · 10 citations

Rows per page

1–4 of 4