Follow
Thuy Trang Nguyen
Thuy Trang Nguyen
University of Massachusetts Amherst
Verified email at umass.edu
Title
Cited by
Cited by
Year
Knot Coloring as Verification
RW McGrail, TT Nguyen, MS Granda
2020 22nd International Symposium on Symbolic and Numeric Algorithms for …, 2020
22020
A terminating and confluent term rewriting system for the pure equational theory of quandles
RW McGrail, TT Nguyen, TTT Tran, A Tripathi
2018 20th International Symposium on Symbolic and Numeric Algorithms for …, 2018
22018
Partitioned-Learned Count-Min Sketch
TT Nguyen, CN Musco
2023
Connectedness in Cayley Graphs and P/NP Dichotomy for Quay Algebras
TT Nguyen
2020
The system can't perform the operation now. Try again later.
Articles 1–4