International Conference (Refereed)

1. Kobkrit Viriyayudhakorn, Susumu Kunifuji, and Mizuhito Ogawa
   A Comparison of Four Association Engines in Divergent Thinking Support Systems on Wikipedia
   Proceedings of the 5th International Conference on Knowledge, Information and Creativity Support Systems KICSS 2010,
   Springer LNCS 6746, pp.226-237.
   
   
2. Do Thi Bich Ngoc, Mizuhito Ogawa
   Checking Roundoff Errors using Counterexample-Guided Narrowing
   Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering ASE 2010, pp.301-304.
   
   
3. Xin Li, Mizuhito Ogawa
   Conditional Weighted Pushdown Systems and Applications
   Proceedings of ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation PEPM10, pp.141-150.
   
   
4. Do Thi Bich Ngoc, Mizuhito Ogawa
   Roundoff and Overflow Error Analysis via Model Checking
   Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods SEFM09, pp.105-114.
   
   
5. Xin Li, Mizuhito Ogawa
   Stacking-based Context-Sensitive Points-to Analysis for Java
   Proceedings of the Haifa Verification Conference 2009 HVC09,
   Springer LNCS 6405, pp.133-149.
   
   
6. Xin Li, Mizuhito Ogawa
   An Ahead-of-time Yet Context-Sensitive Points-to Analysis for Java
   Proceedings of the 4th International Workshop on Bytecode Semantics, Verification, Analysis and Transformation BYTECODE09
   Elsevier ENTCS 253(5), pp.31-46
   
   
7. Nguyen Van Tang and Mizuhito Ogawa
   Event-Clock Visibly Pushdown Automata
   Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM09
   Springer LNCS 5404, pp.558-569.
   
   
8. Xin Li, Daryl Shannon, Indradeep Ghosh, Mizuhito Ogawa, Sreeranga P. Rajan, and Sarfraz Khurshid
   Context-Sensitive Relevancy Analysis for Efficient Symbolic Execution
   Proceedings of the 6th ASIAN Symposium on Programming Languages and Systems, APLAS08
   Springer LNCS 5356, pp.36-52.
   
   
9. Guoqiang Li, Mizuhito Ogawa
   Authentication Revisited: Flaw or Not, the Recursive Authentication Protocol
   Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA08
   Springer LNCS 5311, pp.374-385.
   Long version (JAIST Technical report IS-RR-2008-002)
   
   
10. Guoqiang Li, Mizuhito Ogawa
    On-the-fly Model Checking of Fair Non-repudiation Protocols
    Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, ATVA07
    Springer LNCS 4762, pp.511-522.
    
    
11. Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
    Modeling Urgency in Component-Based Real-Time Systems
    Proceedings of the 11th Annual Asian Computing Science Conference, ASIAN'06,
    Springer LNCS 4435, pp.248-255.
    
    
12. Xin Li, Mizuhito Ogawa
    Interprocedural Program Analysis for Java based on Weighted Pushdown Model Checking
    5th International Workshop on Automated Verification of Infinite-State Systems, AVIS'06,
    
    
13. Isao Sasano, Mizuhito Ogawa, Zhenjiang Hu,
    Maximum Marking Problems with Accumulative Weight Functions
    Proceedings of International Colloquium on Theoretical Aspects of Computing, ICTAC05,
    Springer LNCS3722, pp.562-578.
    
    
14. Mizuhito Ogawa, Eiichi Horita, Satoshi Ono
    Proving Properties of Incremental Merkle Trees
    Proceedings of the 20th International Conference on Automated Deduction, CADE-20, 2005.
    Springer LNAI 3632, pp.424-440.
    
    
15. Li Xin, Mizuhito Ogawa
    A Lightweight Mutual Authentication based on Proxy Certificate Trust List
    Proceedings of the 5th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2004,
    Springer LNCS 3320, pp.628-632.
    
    
16. Mizuhito Ogawa
    Complete Axiomatization of an Algebraic Construction of Graphs
    Proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004,
    Springer LNCS 2998, pp.163-179.
    
    
17. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
    Iterative-Free Program Analysis
    Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, pp.111-123.
    
    
18. Mizuhito Ogawa
    Call-by-Need Reductions for Membership Conditional Term Rewriting Systems
    The 3rd International Workshop on Rewriting Strategies in Rewriting and Programming, WRS'03,
    Electronic Notes in Theoretical Computer Science, Vol.86, No.4, pp.673-688, 2003.
    
    
19. Mizuhito Ogawa
    Generation of a Linear Time Query Processing Algorithm Based on Well-Quasi-Orders
    Proceedings of the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS2001
    Springer LNCS 2215, pp.283-297.
    
    
20. Zurab Khasidashvili, Mizuhito Ogawa, and Vincent van Oostrom
    Uniform Normalization beyond Orthogonality,
    Proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA2001
    Springer LNCS 2051, pp.122-136.
    
    
21. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
    Make It Practical: A Generic Linear-Time Algorithms for Solving Maximum-Weightsum Problems
    Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming, ICFP'00, pp.137-149.
    
    
22. Mizuhito Ogawa
    Automatic verification based on abstract interpretation
    Proceedings of the 4th Fuji International Symposium on Functional and Logic Programming, FLOPS'99,
    Springer LNCS 1722, pp.131-146.
    
    
23. Zurab Khasidashvili and Mizuhito Ogawa
    Perpetuality and Uniform Normalization
    Proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP'97
    Springer LNCS 1298, pp.240-255.
    
    
24. Ken Mano and Mizuhito Ogawa
    Unique Normal Form Property of Higher-Order Rewriting Systems
    Proceedings of the 5th International Conference on Algebraic and Logic Programming, ALP'96
    Springer LNCS 1139, pp.269-283.
    
    
25. Mizuhito Ogawa
    Chew's theorem revisited - uniquely normalizing property of non-linear term rewriting systems
    Proceedings of the 1st International symposium on algorithms and computation, ISAAC'92
    Springer LNCS 620, pp.309-318.
    comment  
    
    
26. Mizuhito Ogawa and Satoshi Ono
    Transformation of strictness-related analyses based on abstract interpretation
    Proceedings of the International Conference on Fifth Generation Computer Systems 1988, FGCS'88 , pp.430-438.
    abstract