| 2022 | CSR | On the Determinization of Event-Clock Input-Driven Pushdown Automata. | Mizuhito Ogawa, Alexander Okhotin |
| 2019 | FM | Formal Semantics Extraction from Natural Language Specifications for ARM. | Anh V. Vu, Mizuhito Ogawa |
| 2017 | ICFEM | A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis. | Xin Li, Mizuhito Ogawa |
| 2016 | CADE | raSAT: An SMT Solver for Polynomial Constraints. | Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa |
| 2016 | TASE | Termination and Boundedness for Well-Structured Pushdown Systems. | Suhua Lei, Xiaojuan Cai, Mizuhito Ogawa |
| 2015 | CADE | Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent. | Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa |
| 2015 | CSL | Confluence of Layered Rewrite Systems. | Jiaxiang Liu, Jean-Pierre Jouannaud, Mizuhito Ogawa |
| 2014 | FLOPS | Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. | Xiaojuan Cai, Mizuhito Ogawa |
| 2013 | APSEC | A Hybrid Approach for Control Flow Graph Construction from Binary Code. | Minh Hai Nguyen, Thien Binh Nguyen, Thanh Tho Quan, Mizuhito Ogawa |
| 2013 | APSEC | SAT and SMT: Their Algorithm Designs and Applications. | Mizuhito Ogawa, To Van Khanh |
| 2013 | CONCUR | Well-Structured Pushdown Systems. | Xiaojuan Cai, Mizuhito Ogawa |
| 2010 | PEPM | Conditional weighted pushdown systems and applications. | Xin Li, Mizuhito Ogawa |
| 2009 | SEFM | Overflow and Roundoff Error Analysis via Model Checking. | Do Thi Bich Ngoc, Mizuhito Ogawa |
| 2009 | SOFSEM | Event-Clock Visibly Pushdown Automata. | Nguyen Van Tang, Mizuhito Ogawa |
| 2008 | APLAS | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. | Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, Sarfraz Khurshid |
| 2008 | ATVA | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. | Guoqiang Li, Mizuhito Ogawa |
| 2007 | ATVA | On-the-Fly Model Checking of Fair Non-repudiation Protocols. | Guoqiang Li, Mizuhito Ogawa |
| 2005 | CADE | Proving Properties of Incremental Merkle Trees. | Mizuhito Ogawa, Eiichi Horita, Satoshi Ono |
| 2005 | ICTAC | Maximum Marking Problems with Accumulative Weight Functions. | Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu |
| 2004 | FLOPS | Complete Axiomatization of an Algebraic Construction of Graphs. | Mizuhito Ogawa |
| 2004 | PDCAT | A Lightweight Mutual Authentication Based on Proxy Certificate Trust List. | Xin Li, Mizuhito Ogawa |
| 2003 | ICFP | Iterative-free program analysis. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano |
| 2002 | APLAS | Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi |
| 2001 | APLAS | Abstract Interpretation over Infinite Abstract Domains (Tentative Report). | Mizuhito Ogawa |
| 2000 | APLAS | A Note on Algebraic Structure of Tree Decomposition of Graphs. | Mizuhito Ogawa |
| 2000 | ICFP | Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. | Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa |
| 1999 | FLOPS | Automatic Verification Based on Abstract Interpretation. | Mizuhito Ogawa |
| 1992 | ISAAC | Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear Term Rewriting Systems-. | Mizuhito Ogawa |