Transformation of Strictness-Related Analyses Nased on Abstract Interpretation. - Mizuhito Ogawa; Satoshi Ono (FGCS, 1988)

Anomaly Detection of Functional Programs Based on Global Dataflow Analysis. - Mizuhito Ogawa; Satoshi Ono (Syst. Comput. Jpn., 1990)

Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear Term Rewriting Systems-. - Mizuhito Ogawa (ISAAC, 1992)

Unique Normal Form Property of Higher-Order Rewriting Systems. - Ken Mano; Mizuhito Ogawa (ALP, 1996)

Perpetuality and Uniform Normalization. - Zurab Khasidashvili; Mizuhito Ogawa (ALP/HOA, 1997)

Automatic Verification Based on Abstract Interpretation. - Mizuhito Ogawa (Fuji International Symposium on Functional and Logic Programming, 1999)

A Note on Algebraic Structure of Tree Decomposition of Graphs. - Mizuhito Ogawa (APLAS, 2000)

Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. - Isao Sasano; Zhenjiang Hu; Masato Takeichi; Mizuhito Ogawa (ICFP, 2000)

Abstract Interpretation over Infinite Abstract Domains (Tentative Report). - Mizuhito Ogawa (APLAS, 2001)

Uniform Normalisation beyond Orthogonality. - Zurab Khasidashvili; Mizuhito Ogawa; Vincent van Oostrom (RTA, 2001)

Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders. - Mizuhito Ogawa (TACS, 2001)

Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. - Zurab Khasidashvili; Mizuhito Ogawa; Vincent van Oostrom (Inf. Comput., 2001)

Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem. - Ken Mano; Mizuhito Ogawa (Theor. Comput. Sci., 2001)

Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano; Masato Takeichi (APLAS, 2002)

Iterative-free program analysis. - Mizuhito Ogawa; Zhenjiang Hu; Isao Sasano (ICFP, 2003)

Call-by-need reduction for membership conditional term rewriting Systems. - Mizuhito Ogawa (WRS, 2003)

A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. - Mizuhito Ogawa (Inf. Comput., 2003)

Complete Axiomatization of an Algebraic Construction of Graphs. - Mizuhito Ogawa (FLOPS, 2004)

A Lightweight Mutual Authentication Based on Proxy Certificate Trust List. - Xin Li 010; Mizuhito Ogawa (PDCAT, 2004)

Well-quasi-orders and regular omega-languages. - Mizuhito Ogawa (Theor. Comput. Sci., 2004)

Proving Properties of Incremental Merkle Trees. - Mizuhito Ogawa; Eiichi Horita; Satoshi Ono (CADE, 2005)

Maximum Marking Problems with Accumulative Weight Functions. - Isao Sasano; Mizuhito Ogawa; Zhenjiang Hu (ICTAC, 2005)

Modeling Urgency in Component-Based Real-Time Systems. - Nguyen Van Tang; Dang Van Hung; Mizuhito Ogawa (ASIAN, 2006)

Proxy Certificate Trust List for Grid Computing. - Xin Li 010; Mizuhito Ogawa (Inf. Media Technol., 2006)

On-the-Fly Model Checking of Fair Non-repudiation Protocols. - Guoqiang Li 001; Mizuhito Ogawa (ATVA, 2007)

On-the-fly Model Checking of Security Protocols and Its Implementation by Maude. - Guoqiang Li 001; Mizuhito Ogawa (Inf. Media Technol., 2007)

Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. - Xin Li 010; Daryl Shannon; Indradeep Ghosh; Mizuhito Ogawa; Sreeranga P. Rajan; Sarfraz Khurshid (APLAS, 2008)

Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. - Guoqiang Li 001; Mizuhito Ogawa (ATVA, 2008)

Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata. - Nguyen Van Tang; Mizuhito Ogawa (Inf. Media Technol., 2008)

Stacking-Based Context-Sensitive Points-to Analysis for Java. - Xin Li 010; Mizuhito Ogawa (Haifa Verification Conference, 2009)

Overflow and Roundoff Error Analysis via Model Checking. - Do Thi Bich Ngoc; Mizuhito Ogawa (SEFM, 2009)

Event-Clock Visibly Pushdown Automata. - Nguyen Van Tang; Mizuhito Ogawa (SOFSEM, 2009)

An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. - Xin Li 010; Mizuhito Ogawa (BYTECODE@ETAPS, 2009)

Checking roundoff errors using counterexample-guided narrowing. - Do Thi Bich Ngoc; Mizuhito Ogawa (ASE, 2010)

A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia. - Kobkrit Viriyayudhakorn; Susumu Kunifuji; Mizuhito Ogawa (KICSS, 2010)

Conditional weighted pushdown systems and applications. - Xin Li 010; Mizuhito Ogawa (PEPM, 2010)

Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent. - Masahiko Sakai; Mizuhito Ogawa (Inf. Process. Lett., 2010)

Associative Search on Shogi Game Records. - Kobkrit Viriyayudhakorn; Mizuhito Ogawa (Inf. Media Technol., 2011)

SMT for Polynomial Constraints on Real Numbers. - To Van Khanh; Mizuhito Ogawa (TAPAS@SAS, 2012)

A Hybrid Approach for Control Flow Graph Construction from Binary Code. - Minh Hai Nguyen; Thien Binh Nguyen; Thanh Tho Quan; Mizuhito Ogawa (APSEC (2), 2013)

SAT and SMT: Their Algorithm Designs and Applications. - Mizuhito Ogawa; To Van Khanh (APSEC (2), 2013)

Well-Structured Pushdown Systems. - Xiaojuan Cai; Mizuhito Ogawa (CONCUR, 2013)

Nested Timed Automata. - Guoqiang Li 001; Xiaojuan Cai; Mizuhito Ogawa; Shoji Yuen (FORMATS, 2013)

Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. - Xiaojuan Cai; Mizuhito Ogawa (FLOPS, 2014)

raSAT: SMT for Polynomial Inequality. - To Van Khanh; Xuan-Tung Vu; Mizuhito Ogawa (SMT, 2014)

Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent. - Masahiko Sakai; Michio Oyamaguchi; Mizuhito Ogawa (CADE, 2015)

Confluence of Layered Rewrite Systems. - Jiaxiang Liu 001; Jean-Pierre Jouannaud; Mizuhito Ogawa (CSL, 2015)

Nested Timed Automata with Frozen Clocks. - Guoqiang Li 001; Mizuhito Ogawa; Shoji Yuen (FORMATS, 2015)

Obfuscation Code Localization Based on CFG Generation of Malware. - Minh Hai Nguyen; Mizuhito Ogawa; Quan Thanh Tho (FPS, 2015)

Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4). - Jean-Yves Marion; Akira Mori; Mizuhito Ogawa (NII Shonan Meet. Rep., 2015)

Termination and Boundedness for Well-Structured Pushdown Systems. - Suhua Lei; Xiaojuan Cai; Mizuhito Ogawa (TASE, 2016)

Subtropical Satisfiability. - Pascal Fontaine; Mizuhito Ogawa; Thomas Sturm 001; Xuan-Tung Vu (FroCoS, 2017)

A Sliding-Window Algorithm for On-The-Fly Interprocedural Program Analysis. - Xin Li 010; Mizuhito Ogawa (ICFEM, 2017)

raSAT: an SMT solver for polynomial constraints. - Vu Xuan Tung; To Van Khanh; Mizuhito Ogawa (Formal Methods Syst. Des., 2017)

Comparison of Three Deep Learning-based Approaches for IoT Malware Detection. - Khanh Duy Tung Nguyen; Tran Minh Tuan; Son Hai Le; Viet-Anh Phan; Mizuhito Ogawa; Le Minh Nguyen 001 (KSE, 2018)

Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. - Pascal Fontaine; Mizuhito Ogawa; Thomas Sturm 001; To Van Khanh; Xuan-Tung Vu (SC-Square@FLOC, 2018)

On Classes of Regular Languages Related to Monotone WQOs. - Mizuhito Ogawa; Victor L. Selivanov (DCFS, 2019)

Formal Semantics Extraction from Natural Language Specifications for ARM. - Anh V. Vu; Mizuhito Ogawa (FM, 2019)

Formal Semantics Extraction from MIPS Instruction Manual. - Quang Thinh Trac; Mizuhito Ogawa (FTSCS, 2019)

On the Determinization of Event-Clock Input-Driven Pushdown Automata. - Mizuhito Ogawa; Alexander Okhotin (CSR, 2022)

Automatic Stub Generation for Dynamic Symbolic Execution of ARM binary. - Anh T. V. Nguyen; Mizuhito Ogawa (SoICT, 2022)

Original Entry Point Detection Based on Graph Similarity. - Thanh-Hung Pham; Mizuhito Ogawa (FPS (1), 2023)