Journals / Transactions

1. Vu Xuan Tung, To Van Khanh, Mizuhito Ogawa
   raSAT : An SMT Solver for Polynomial Constraints
   Formal Methods in System Design, Springer, Vol.51(3), pp.462-499, 2017.
   
   
2. Kobkrit Viriyayudhakorn, Mizuhito Ogawa
   Associative Search on Shogi Game Records
   IPSJ Transactions on Programming, Vol.4, No.3, pp.42-54, 2011.
   
   
3. Masahiko Sakai, Mizuhito Ogawa
   Weakly-non-overlapping non-collapsing shallow term rewriting systems are confluent
   Information Processing Letters, Vol.110, pp.810-814, 2010.
   
   
4. Nguyen Van Tang, Mizuhito Ogawa
   Alternate Stacking Technique Revisited: Inclusion Problem of Superdeterministic Pushdown Automata
   IPSJ Transactions on Programming, Vol.1, No.1, 2008.
   
   
5. Guoqiang Li, Mizuhito Ogawa
   On-the-fly Model Checking of Security Protocols and Its Implementation
   IPSJ Transactions on Programming, Vol.48, No.SIG 10(PRO33), pp.50-75, 2007.
   (also in IPSJ Digital Courier, Vol.3, 343-368, 2007.)
   
   
6. Li Xin, Mizuhito Ogawa
   A Lightweight Mutual Authentication based on Proxy Certificate Trust List
   Computer Software, Vol.22, No.2, pp.85-89, 2005.
   Previously presented at the 5th International Conference on Parallel and Distributed Computing, Applications and Technologies, PDCAT 2004, Springer LNCS 3320, pp.628-632.
   
   
7. Mizuhito Ogawa
   Well-Quasi-Orders and Regular Omega-languages
   Theoretical Computer Science, Vol.324, No.1, pp.55-60, 2004,
   Previously presented at the Third International Colloquium on Words, Languages and Combinatorics (Kyoto, Japan, March 14-17, 2000).
   
   
8. Mizuhito Ogawa
   A Linear Time Algorithm for Monadic Querying of Indefinite Data over Linearly Ordered Domains
   Information and Computation Vol.186, No.2, pp.236-259,
   Previously presented at the Fourth International Symposium on Theoretical Aspects of Computer Software, TACS2001, Springer LNCS 2215, pp.283-297.
   
   
9. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa
   Derivation of Linear Algorithm for Mining Optimized Gain Association Rules
   Computer Software, Vol.19, No.4, pp.39-44, 2002
   
   
10. Ken Mano and Mizuhito Ogawa
    Unique normal form property of compatible term rewriting systems - A new proof of Chew's theorem -
    Theoretical Computer Science, Vol.258, No.1-2, pp.169-208, 2001.
    
    
11. Zurab Khasidashvili, Mizuhito Ogawa, and Vincent van Oostrom
    Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems
    Information and Computation, Vol.164, No.1, pp.118-151, 2001.
    
    
12. Mizuhito Ogawa and Satoshi Ono
    Transformation of strictness-related analyses based on abstract interpretation
    IEICE Transaction, Vol.E 74, No.2, pp.406-416, 1991.
    Conference version : Proceedings of the International Conference on Fifth Generation Computer Systems 1988, pp.430-438. FGCS'88
    abstract