| SMT for polynomial constraints on real numbers T Van Khanh, M Ogawa Electronic Notes in Theoretical Computer Science 289, 27-40, 2012 | 42 | 2012 |
| raSAT: an SMT solver for polynomial constraints VX Tung, T Van Khanh, M Ogawa Formal Methods in System Design 51 (3), 462-499, 2017 | 35 | 2017 |
| rasat: SMT for polynomial inequality TV Khanh, X Vu, M Ogawa Proceedings of the 12th International Workshop on Satisfiability Modulo …, 2014 | 14* | 2014 |
| Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT P Fontaine, M Ogawa, T Sturm, TV Khanh, VX Tung SC-Square 2018 2189, 110-117, 2018 | 10 | 2018 |
| Formal Analysis of Database Trigger Systems Using Event-B AH Le, T Van Khanh, TN Thuan International Journal of Software Innovation (IJSI) 9 (4), 1-16, 2021 | 4 | 2021 |
| Checking the consistency between ucm and psm using a graph-based method NT Truong, TMT Tran, VK To, VH Nguyen 2009 First Asian Conference on Intelligent Information and Database Systems …, 2009 | 3 | 2009 |
| Sat and SMT: their algorithm designs and applications M Ogawa, T Van Khanh 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 2, 83-84, 2013 | 2 | 2013 |
| VTSE–Verification Tool based on Symbolic Execution VK To, TVA Nguyen, TT Nguyen VNU-UET, 2018 | 1 | 2018 |
| Checking compliance of program with secureUML model TN Luong, VK To, NT Truong Advanced Topics in Intelligent Information and Database Systems 9, 489-498, 2017 | 1 | 2017 |
| raSAT: SMT for Polynomial Inequality VK To, M Ogawa 北陸先端科学技術大学院大学情報科学研究科, 2013 | 1 | 2013 |
| Dynamically reconfiguration architecture for embedded systems using Kaffe VQ Dung, NV Ha, T Van Khanh VNU Journal of Science: Mathematics-Physics 23 (1), 2007 | 1 | 2007 |
| Analysing Conflict of Interest Integrated in Role-Based Access Control Model Using TB Trinh¹, VK To, NT Truong, HA Le Intelligence of Things: The Third International Conference on Intelligence …, 2025 | | 2025 |
| Sequential Counter encoding for Staircase At-Most-One constraints KVT Hieu Xuan Truong, Tuyen Van Kieu Proceedings of the 17th International Conference on Agents and Artificial …, 2025 | | 2025 |
| Analysing Conflict of Interest Integrated in Role-Based Access Control Model Using Event-B TB Trinh, VK To, NT Truong, HA Le International Conference on Intelligence of Things, 57-72, 2024 | | 2024 |
| Checking Temporal Constraints of Events in EBS at Runtime NTT Thanh-Binh Trinh, Hanh-Phuc Nguyen, Dinh-Hai Nguyen, Van-Khanh To Cybernetics and Information Technologies 24 (1), 82-97, 2024 | | 2024 |
| On the Compliance of Access Control Policies in Web Applications TN Luong, DH Vo, VK To, NT Truong Context-Aware Systems and Applications, and Nature of Computation and …, 2019 | | 2019 |
| VTSE – Verification Tool based on Symbolic Execution T Van Khanh, N Thi Van Anh, N Thi Thuy VNU-UET Technical Report http://eprints.uet.vnu.edu.vn/eprints/3053/, 2018 | | 2018 |
| raSAT: An SMT solver for polynomial constraints VX Tung, T Van Khanh, M Ogawa International Joint Conference on Automated Reasoning, 228-237, 2016 | | 2016 |
| raSAT 0.3 and raSAT 0.4 (exp) for SMT-COMP 2016 VX Tung, T Van Khanh, M Ogawa | | 2016 |
| Integrating and checking access permissions in object oriented models TH Dao, VK To, NT Truong, QT Chu, VH Nguyen 2015 2nd National Foundation for Science and Technology Development …, 2015 | | 2015 |
Xuan Tung VuPh.D. Student at JAISTjaist.ac.jp의 이메일 확인됨