28 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 20-Oct-1988 | 広域データフロー解析に基づく関数型プログラムの変則性検出 | 小川, 瑞史; 小野, 諭; Ogawa, Mizuhito; Ono, Satoshi |
| 20-Feb-1991 | Transformation of Strictness-Related Analyses Based on Abstract Interpretation | Ogawa, Mizuhito; Ono, Satoshi |
| 1992 | Chew's theorem revisited - uniquely normalizing property of nonlinear term rewriting systems | Ogawa, Mizuhito |
| 1996 | Unique normal form property of Higher-Order Rewriting | Mano, Ken; Ogawa, Mizuhito |
| 1997 | Perpetuality and uniform normalization | Khasidashvili, Zurab; Ogawa, Mizuhito |
| 20-Mar-1997 | 高階書換え系の単一正規形性 | 真野, 健; 小川, 瑞史; Mano, Ken; Ogawa, Mizuhito |
| 1999 | Automatic Verification Based on Abstract Interpretation | Ogawa, Mizuhito |
| 2001 | Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders | Ogawa, Mizuhito |
| 2001 | Uniform Normalisation beyond Orthogonality | Khasidashvili, Zurab; Ogawa, Mizuhito; Oostrom, Vincent van |
| 10-Jan-2001 | Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems | Khasidashvili, Zurab; Ogawa, Mizuhito; Oostrom, Vincent van |
| 6-May-2001 | Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem | Mano, Ken; Ogawa, Mizuhito |
| 15-Oct-2003 | モデル検査技術を利用したプログラム解析器の生成ツール | 山岡, 裕司; 胡, 振江; 武市, 正人; 小川, 瑞史; YAMAOKA, Yuji; HU, Zhenjiang; TAKEICHI, Masato; OGAWA, Mizuhito |
| 1-Nov-2003 | A linear time algorithm for monadic querying of indefinite data over linearly ordered domains | Ogawa, Mizuhito |
| Dec-2003 | Call-by-Need Reduction for Membership Conditional Term Rewriting Systems | Ogawa, Mizuhito |
| 2004 | Complete Axiomatization of an Algebraic Construction of Graphs | Ogawa, Mizuhito |
| 16-Sep-2004 | Well-quasi-orders and regular ω-languages | Ogawa, Mizuhito |
| 2005 | Proving Properties of Incremental Merkle Trees | Ogawa, Mizuhito; Horita, Eiichi; Ono, Satoshi |
| 2005 | A Lightweight Mutual Authentication Based on Proxy Certificate Trust List | Li, Xin; Ogawa, Mizuhito |
| 2007 | On-the-Fly Model Checking of Fair Non-repudiation Protocols | Li, Guoqiang; Ogawa, Mizuhito |
| 15-Jun-2007 | On-the-fly Model Checking of Security Protocols and Its Implementation by Maude | Li, Guoqiang; Ogawa, Mizuhito |
| 2008 | Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution | Li, Xin; Shannon, Daryl; Ghosh, Indradeep; Ogawa, Mizuhito; Rajan, Sreeranga P.; Khurshid, Sarfraz |
| 2008 | Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol | Li, Guoqiang; Ogawa, Mizuhito |
| 2008 | Modeling Urgency in Component-Based Real-Time Systems | Nguyen, Van Tang; Hung, Dang Van; Ogawa, Mizuhito |
| 26-Jun-2008 | Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata | Nguyen, Van Tang; Ogawa, Mizuhito |
| 20-Oct-2009 | Stacking-based context-sensitive points-to analysis for java | Li, Xin; Ogawa, Mizuhito |
| 15-Sep-2010 | Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent | Sakai, Masahiko; Ogawa, Mizuhito |
| Jun-2014 | Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata | Cai, Xiaojuan; Ogawa, Mizuhito |
| 25-Jul-2015 | Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent | Sakai, Masahiko; Oyamaguchi, Michio; Ogawa, Mizuhito |
