The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mizuhito Ogawa: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Zurab Khasidashvili, Mizuhito Ogawa
    Perpetuality and Uniform Normalization. [Citation Graph (0, 0)][DBLP]
    ALP/HOA, 1997, pp:240-255 [Conf]
  2. Ken Mano, Mizuhito Ogawa
    Unique Normal Form Property of Higher-Order Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:269-283 [Conf]
  3. Mizuhito Ogawa
    A Note on Algebraic Structure of Tree Decomposition of Graphs. [Citation Graph (0, 0)][DBLP]
    APLAS, 2000, pp:223-229 [Conf]
  4. Mizuhito Ogawa
    Abstract Interpretation over Infinite Abstract Domains (Tentative Report). [Citation Graph (0, 0)][DBLP]
    APLAS, 2001, pp:183-191 [Conf]
  5. 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]
  6. Mizuhito Ogawa, Eiichi Horita, Satoshi Ono
    Proving Properties of Incremental Merkle Trees. [Citation Graph (0, 0)][DBLP]
    CADE, 2005, pp:424-440 [Conf]
  7. Mizuhito Ogawa, Satoshi Ono
    Transformation of Strictness-Related Analyses Nased on Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:430-438 [Conf]
  8. Mizuhito Ogawa
    Complete Axiomatization of an Algebraic Construction of Graphs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:163-179 [Conf]
  9. 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]
  10. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
    Iterative-free program analysis. [Citation Graph (0, 0)][DBLP]
    ICFP, 2003, pp:111-123 [Conf]
  11. 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]
  12. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu
    Maximum Marking Problems with Accumulative Weight Functions. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:562-578 [Conf]
  13. 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]
  14. 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]
  15. Zurab Khasidashvili, Mizuhito Ogawa, Vincent van Oostrom
    Uniform Normalisation beyond Orthogonality. [Citation Graph (0, 0)][DBLP]
    RTA, 2001, pp:122-136 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]

  23. Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution. [Citation Graph (, )][DBLP]


  24. Modeling Urgency in Component-Based Real-Time Systems. [Citation Graph (, )][DBLP]


  25. Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol. [Citation Graph (, )][DBLP]


  26. Checking roundoff errors using counterexample-guided narrowing. [Citation Graph (, )][DBLP]


  27. Conditional weighted pushdown systems and applications. [Citation Graph (, )][DBLP]


  28. Overflow and Roundoff Error Analysis via Model Checking. [Citation Graph (, )][DBLP]


  29. Event-Clock Visibly Pushdown Automata. [Citation Graph (, )][DBLP]


  30. An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java. [Citation Graph (, )][DBLP]


Search in 0.043secs, Finished in 0.045secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002