A type system for finding upper resource bounds of multi-threaded programs with nested transactions. - Xuan-Tung Vu; Thi Mai Thuong Tran; Anh-Hoang Truong; Martin Steffen (SoICT, 2012)

raSAT: SMT for Polynomial Inequality. - To Van Khanh; Xuan-Tung Vu; Mizuhito Ogawa (SMT, 2014)

Semantic Parsing for Vietnamese Question Answering System. - Vu Xuan Tung; Le Minh Nguyen 001; Duc Tam Hoang (KSE, 2015)

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs. - Anh-Hoang Truong; Dang Van Hung; Duc-Hanh Dang; Xuan-Tung Vu (ICDCIT, 2016)

Subtropical Satisfiability. - Pascal Fontaine; Mizuhito Ogawa; Thomas Sturm 001; Xuan-Tung Vu (FroCoS, 2017)

raSAT: an SMT solver for polynomial constraints. - Vu Xuan Tung; To Van Khanh; Mizuhito Ogawa (Formal Methods Syst. Des., 2017)

Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. - Pascal Fontaine; Mizuhito Ogawa; Thomas Sturm 001; To Van Khanh; Xuan-Tung Vu (SC-Square@FLOC, 2018)