Search the dblp DataBase
Mizuhito Ogawa :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Zurab Khasidashvili , Mizuhito Ogawa Perpetuality and Uniform Normalization. [Citation Graph (0, 0)][DBLP ] ALP/HOA, 1997, pp:240-255 [Conf ] Ken Mano , Mizuhito Ogawa Unique Normal Form Property of Higher-Order Rewriting Systems. [Citation Graph (0, 0)][DBLP ] ALP, 1996, pp:269-283 [Conf ] Mizuhito Ogawa A Note on Algebraic Structure of Tree Decomposition of Graphs. [Citation Graph (0, 0)][DBLP ] APLAS, 2000, pp:223-229 [Conf ] Mizuhito Ogawa Abstract Interpretation over Infinite Abstract Domains (Tentative Report). [Citation Graph (0, 0)][DBLP ] APLAS, 2001, pp:183-191 [Conf ] Mizuhito Ogawa , Zhenjiang Hu , Isao Sasano , Masato Takeichi Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses. [Citation Graph (0, 0)][DBLP ] APLAS, 2002, pp:58-73 [Conf ] Mizuhito Ogawa , Eiichi Horita , Satoshi Ono Proving Properties of Incremental Merkle Trees. [Citation Graph (0, 0)][DBLP ] CADE, 2005, pp:424-440 [Conf ] Mizuhito Ogawa , Satoshi Ono Transformation of Strictness-Related Analyses Nased on Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] FGCS, 1988, pp:430-438 [Conf ] Mizuhito Ogawa Complete Axiomatization of an Algebraic Construction of Graphs. [Citation Graph (0, 0)][DBLP ] FLOPS, 2004, pp:163-179 [Conf ] Mizuhito Ogawa Automatic Verification Based on Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Fuji International Symposium on Functional and Logic Programming, 1999, pp:131-146 [Conf ] Mizuhito Ogawa , Zhenjiang Hu , Isao Sasano Iterative-free program analysis. [Citation Graph (0, 0)][DBLP ] ICFP, 2003, pp:111-123 [Conf ] Isao Sasano , Zhenjiang Hu , Masato Takeichi , Mizuhito Ogawa Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. [Citation Graph (0, 0)][DBLP ] ICFP, 2000, pp:137-149 [Conf ] Isao Sasano , Mizuhito Ogawa , Zhenjiang Hu Maximum Marking Problems with Accumulative Weight Functions. [Citation Graph (0, 0)][DBLP ] ICTAC, 2005, pp:562-578 [Conf ] Mizuhito Ogawa Chew's Theorem Revisited -Uniquely Normalizing Property of Nonlinear Term Rewriting Systems-. [Citation Graph (0, 0)][DBLP ] ISAAC, 1992, pp:309-318 [Conf ] Li Xin , Mizuhito Ogawa A Lightweight Mutual Authentication Based on Proxy Certificate Trust List. [Citation Graph (0, 0)][DBLP ] PDCAT, 2004, pp:628-632 [Conf ] Zurab Khasidashvili , Mizuhito Ogawa , Vincent van Oostrom Uniform Normalisation beyond Orthogonality. [Citation Graph (0, 0)][DBLP ] RTA, 2001, pp:122-136 [Conf ] Mizuhito Ogawa Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders. [Citation Graph (0, 0)][DBLP ] TACS, 2001, pp:283-297 [Conf ] Mizuhito Ogawa Call-by-need reduction for membership conditional term rewriting Systems. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:86, n:4, pp:- [Journal ] Zurab Khasidashvili , Mizuhito Ogawa , Vincent van Oostrom Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2001, v:164, n:1, pp:118-151 [Journal ] Mizuhito Ogawa A linear time algorithm for monadic querying of indefinite data over linearly ordered domains. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2003, v:186, n:2, pp:236-259 [Journal ] Ken Mano , Mizuhito Ogawa Unique normal form property of compatible term rewriting systems: a new proof of Chew's theorem. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:258, n:1-2, pp:169-208 [Journal ] Mizuhito Ogawa Well-quasi-orders and regular omega-languages. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2004, v:324, n:1, pp:55-60 [Journal ] Guoqiang Li , Mizuhito Ogawa On-the-Fly Model Checking of Fair Non-repudiation Protocols. [Citation Graph (0, 0)][DBLP ] ATVA, 2007, pp:511-522 [Conf ] Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. [Citation Graph (, )][DBLP ] Modeling Urgency in Component-Based Real-Time Systems. [Citation Graph (, )][DBLP ] Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. [Citation Graph (, )][DBLP ] Checking roundoff errors using counterexample-guided narrowing. [Citation Graph (, )][DBLP ] Conditional weighted pushdown systems and applications. [Citation Graph (, )][DBLP ] Overflow and Roundoff Error Analysis via Model Checking. [Citation Graph (, )][DBLP ] Event-Clock Visibly Pushdown Automata. [Citation Graph (, )][DBLP ] An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.304secs