| raSAT: An SMT Solver for Polynomial Constraints VX Tung, TVK Mizuhito Ogawa IJCAR 2016, 0 | 22* | |
| Subtropical satisfiability P Fontaine, M Ogawa, T Sturm, XT Vu International Symposium on Frontiers of Combining Systems, 189-206, 2017 | 14 | 2017 |
| A type system for finding upper resource bounds of multi-threaded programs with nested transactions XT Vu, MT Tran, AH Truong, M Steffen Proceedings of the Third Symposium on Information and Communication …, 2012 | 9 | 2012 |
| rasat: SMT for polynomial inequality T Van Khanh, M Ogawa SAT 1, 0, 2014 | 8 | 2014 |
| rasat: SMT for polynomial inequality TV Khánh, X Vu, M Ogawa Proc. of SMT 14, 67, 2014 | 7 | 2014 |
| A type system for counting logs of multi-threaded nested transactional programs AH Truong, D Van Hung, DH Dang, XT Vu International Conference on Distributed Computing and Internet Technology …, 2016 | 6 | 2016 |
| Wrapping computer algebra is surprisingly successful for non-linear SMT P Fontaine, M Ogawa, T Sturm, XT Vu SC-square 2018-Third International Workshop on Satisfiability Checking and …, 2018 | 3 | 2018 |
| Semantic parsing for vietnamese question answering system VX Tung, N Le Minh, DT Hoang 2015 Seventh International Conference on Knowledge and Systems Engineering …, 2015 | 2 | 2015 |
| raSAT: SMT for Polynomial Inequality VK To, M Ogawa 北陸先端科学技術大学院大学情報科学研究科, 2013 | 2 | 2013 |
| An improved type system for counting logs of transactional multi-threaded programs XT Vu, T Hoang | 1 | 2015 |
| SMT Solving for Polynomial Constraints VX Tung | | 2018 |
| EA: Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT F Pascal, O Mizuhito, S Thomas, VK To, XT Vu | | 2018 |
| Equality handling and efficiency improvement of SMT for non-linear constraints over reals. VX Tung | | 2015 |
| raSAT 0.3 and raSAT 0.4 (exp) for SMT-COMP 2016 VX Tung, T Van Khanh, M Ogawa | | |
