| Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems I Sasano, Z Hu, M Takeichi, M Ogawa ACM SIGPLAN Notices 35 (9), 137-149, 2000 | 51 | 2000 |
| SMT for polynomial constraints on real numbers T Van Khanh, M Ogawa Electronic Notes in Theoretical Computer Science 289, 27-40, 2012 | 44 | 2012 |
| A hybrid approach for control flow graph construction from binary code MH Nguyen, TB Nguyen, TT Quan, M Ogawa 2013 20th Asia-Pacific Software Engineering Conference (APSEC) 2, 159-164, 2013 | 40 | 2013 |
| Obfuscation code localization based on CFG generation of malware NM Hai, M Ogawa, QT Tho Foundations and Practice of Security: 8th International Symposium, FPS 2015 …, 2016 | 38 | 2016 |
| Comparison of three deep learning-based approaches for IoT malware detection KDT Nguyen, TM Tuan, SH Le, AP Viet, M Ogawa, N Le Minh 2018 10th international conference on Knowledge and Systems Engineering (KSE …, 2018 | 33 | 2018 |
| Subtropical satisfiability P Fontaine, M Ogawa, T Sturm, XT Vu International Symposium on Frontiers of Combining Systems, 189-206, 2017 | 30 | 2017 |
| Well-structured pushdown systems X Cai, M Ogawa CONCUR 2013–Concurrency Theory: 24th International Conference, CONCUR 2013 …, 2013 | 27 | 2013 |
| Nested timed automata G Li, X Cai, M Ogawa, S Yuen Formal Modeling and Analysis of Timed Systems: 11th International Conference …, 2013 | 26 | 2013 |
| Uniform normalisation beyond orthogonality Z Khasidashvili, M Ogawa, V van Oostrom Rewriting Techniques and Applications: 12th International Conference, RTA …, 2001 | 25 | 2001 |
| Perpetuality and uniform normalization in orthogonal rewrite systems Z Khasidashvili, M Ogawa, V van Oostrom Information and Computation 164 (1), 118-151, 2001 | 23 | 2001 |
| raSAT: An SMT solver for polynomial constraints VX Tung, T Van Khanh, M Ogawa Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 21 | 2016 |
| Packer identification based on metadata signature NM Hai, M Ogawa, QT Tho Proceedings of the 7th Software Security, Protection, and Reverse …, 2017 | 19 | 2017 |
| raSAT: an SMT solver for polynomial constraints VX Tung, T Van Khanh, M Ogawa Formal Methods in System Design 51, 462-499, 2017 | 18 | 2017 |
| Conditional weighted pushdown systems and applications X Li, M Ogawa Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010 | 17 | 2010 |
| Overflow and roundoff error analysis via model checking M Ogawa 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 | 17 | 2009 |
| Event-clock visibly pushdown automata N Van Tang, M Ogawa International Conference on Current Trends in Theory and Practice of …, 2009 | 17 | 2009 |
| A comparison of four association engines in divergent thinking support systems on wikipedia K Viriyayudhakorn, S Kunifuji, M Ogawa Knowledge, Information, and Creativity Support Systems: 5th International …, 2011 | 16 | 2011 |
| On the uniquely converging property of nonlinear term rewriting systems M Ogawa, ONO Satoshi 情報処理学会研究報告プログラミング (PRO) 1989 (42 (1989-PRO-029)), 61-70, 1989 | 15 | 1989 |
| Context-sensitive relevancy analysis for efficient symbolic execution X Li, D Shannon, I Ghosh, M Ogawa, SP Rajan, S Khurshid Programming Languages and Systems: 6th Asian Symposium, APLAS 2008 …, 2008 | 13 | 2008 |
| Formal semantics extraction from natural language specifications for ARM AV Vu, M Ogawa Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 11 | 2019 |
To Van KhanhPhD in Computer Science, VNU University of Engineering and Technology, Vietnam National UniversityVerified email at vnu.edu.vn
