Technical reports / Unrefereed manuscripts

• Nguyen Minh Hai, Mizuhito Ogawa, Quan Thanh Tho
  Pushdown model generation of malware
  JAIST Research Report IS-RR-2014-003 (dated 2014.6.24)
  
  
• To Van Khanh, Mizuhito Ogawa
  raSAT: SMT for polynomial inequality
  JAIST Research Report IS-RR-2013-003 (dated 2013.June)
  
  
• 石黒雄輔、小川瑞史
  連想計算エンジン GETA を用いたスパム判別（改訂版）
  日本ソフトウェア科学会第25回大会 4B-2, 2008.9.11.
  
  
• Mizuhito Ogawa
  Simple gap termination for term graph rewriting systems
  Research report 918, RIMS, Kyoto Univ, Kyoto, pp.99-108, 1995.
  comment  
  
  
• Mizuhito Ogawa and Satoshi Ono
  On the Uniquely Converging Property of Nonlinear Term Rewriting Systems
  IEICE SIGCOMP89-7, 1989.May.18.
  comment  
  
  

Student Master Thesis

• Pakakorn Sitthisak
  Formal Semantics of Core SQL Language based on the K Framework
  JAIST Research Report IS-RR-2015-001 (dated 2015.2.27)