The SCEAS System
| |||||||

## 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.043secs, Finished in 0.045secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |