Thuy Trang Nguyen

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 3

Top Topics

Formal Verification

Top Venues

IEEE ACM Trans. Comput. Biol. Bioinform.

Publications

Thang Chu, Thuy Trang Nguyen, Bui Duong Hai, Quang Huy Nguyen, Tuan Nguyen
Graph Transformer for Drug Response Prediction. IEEE ACM Trans. Comput. Biol. Bioinform. 20 (2) (2023)
Robert W. McGrail, Thuy Trang Nguyen, Mary Sharac Granda
Knot Coloring as Verification. SYNASC (2020)
Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles. SYNASC (2018)