Xuan-Tung Vu

According to our database, Xuan-Tung Vu authored at least 7 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT.

Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, To Van Khanh, Xuan-Tung Vu

Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic Computation co-located with Federated Logic Conference, 2018

2017

raSAT: an SMT solver for polynomial constraints.

Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa

Formal Methods Syst. Des., 2017

Subtropical Satisfiability.

Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan-Tung Vu

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

A Type System for Counting Logs of Multi-threaded Nested Transactional Programs.

Anh-Hoang Truong, Dang Van Hung, Duc-Hanh Dang, Xuan-Tung Vu

Proceedings of the Distributed Computing and Internet Technology, 2016

2015

Semantic Parsing for Vietnamese Question Answering System.

Vu Xuan Tung, Le Minh Nguyen, Duc Tam Hoang

Proceedings of the 2015 Seventh International Conference on Knowledge and Systems Engineering, 2015

2014

raSAT: SMT for Polynomial Inequality.

To Van Khanh, Xuan-Tung Vu, Mizuhito Ogawa

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

2012

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

Proceedings of the Symposium on Information and Communication Technology 2012, 2012