A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. - Robert W. McGrail; Thuy Trang Nguyen; Thanh Thuy Trang Tran; Atri Tripathi (SYNASC, 2018)

Knot Coloring as Verification. - Robert W. McGrail; Thuy Trang Nguyen; Mary Sharac Granda (SYNASC, 2020)

Graph Transformer for Drug Response Prediction. - Thang Chu; Thuy Trang Nguyen; Bui Duong Hai; Quang Huy Nguyen; Tuan Nguyen (IEEE ACM Trans. Comput. Biol. Bioinform., 2023)