| 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 | 52 | 2000 |
| SMT for polynomial constraints on real numbers T Van Khanh, M Ogawa Electronic Notes in Theoretical Computer Science 289, 27-40, 2012 | 38 | 2012 |
| Obfuscation code localization based on CFG generation of malware NM Hai, M Ogawa, QT Tho International symposium on foundations and practice of security, 229-247, 2015 | 29 | 2015 |
| Nested timed automata G Li, X Cai, M Ogawa, S Yuen International Conference on Formal Modeling and Analysis of Timed Systems …, 2013 | 25 | 2013 |
| 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 | 24 | 2013 |
| Well-structured pushdown systems X Cai, M Ogawa International Conference on Concurrency Theory, 121-136, 2013 | 22 | 2013 |
| Uniform normalisation beyond orthogonality Z Khasidashvili, M Ogawa, V Van Oostrom International Conference on Rewriting Techniques and Applications, 122-136, 2001 | 22 | 2001 |
| Perpetuality and uniform normalization in orthogonal rewrite systems Z Khasidashvili, M Ogawa, V Van Oostrom Information and Computation 164 (1), 118-151, 2001 | 22 | 2001 |
| Overflow and roundoff error analysis via model checking M Ogawa 2009 Seventh IEEE International Conference on Software Engineering and …, 2009 | 18 | 2009 |
| Conditional weighted pushdown systems and applications X Li, M Ogawa Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and …, 2010 | 16 | 2010 |
| Event-clock visibly pushdown automata N Van Tang, M Ogawa International Conference on Current Trends in Theory and Practice of …, 2009 | 16 | 2009 |
| 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 |
| Subtropical satisfiability P Fontaine, M Ogawa, T Sturm, XT Vu International Symposium on Frontiers of Combining Systems, 189-206, 2017 | 14 | 2017 |
| raSAT: An SMT solver for polynomial constraints VX Tung, T Van Khanh, M Ogawa International Joint Conference on Automated Reasoning, 228-237, 2016 | 14 | 2016 |
| Context-sensitive relevancy analysis for efficient symbolic execution X Li, D Shannon, I Ghosh, M Ogawa, SP Rajan, S Khurshid Asian Symposium on Programming Languages and Systems, 36-52, 2008 | 13 | 2008 |
| Maximum marking problems with accumulative weight functions I Sasano, M Ogawa, Z Hu International Colloquium on Theoretical Aspects of Computing, 562-578, 2005 | 13 | 2005 |
| raSAT: an SMT solver for polynomial constraints VX Tung, T Van Khanh, M Ogawa Formal Methods in System Design 51 (3), 462-499, 2017 | 11 | 2017 |
| Nested timed automata with frozen clocks G Li, M Ogawa, S Yuen International Conference on Formal Modeling and Analysis of Timed Systems …, 2015 | 10 | 2015 |
| Proving properties of incremental merkle trees M Ogawa, E Horita, S Ono International Conference on Automated Deduction, 424-440, 2005 | 9 | 2005 |
| Iterative-free program analysis M Ogawa, Z Hu, I Sasano ACM SIGPLAN Notices 38 (9), 111-123, 2003 | 9 | 2003 |
