Keiichirou KUSAKARI

Solving Satisfiability of CNF Formulas with Clauses Based on Elementary Symmetric Functions
Yohei UMANO  Masahiko SAKAI  Naoki NISHIDA  Toshiki SAKABE  Keiichirou KUSAKARI 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2010/01/01
Vol. J93-D  No. 1  pp. 1-9
Type of Manuscript: PAPER
Category: 
Keyword: 
SAT solver,  satisfiability,  elementary symmetric function,  efficiency improvement, 
  Summary |  Full Text(in Japanese):PDF (380.1KB)
A Type System for Analyzing Secure Information Flow in Object-Oriented Programs with Exception Handling
Sho KUROKAWA  Hiroaki KUWABARA  Shinichiro YAMAMOTO  Toshiki SAKABE  Masahiko SAKAI  Keiichirou KUSAKARI  Naoki NISHIDA 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2008/03/01
Vol. J91-D  No. 3  pp. 757-770
Type of Manuscript: PAPER
Category: 
Keyword: 
security checking,  information flow analysis,  type system,  exception handling, 
  Summary |  Full Text(in Japanese):PDF (447.2KB)
Usable Rules and Labeling Product-Typed Terms for Dependency Pair Method in Simply-Typed Term Rewriting Systems
Takahiro SAKURAI  Keiichirou KUSAKARI  Masahiko SAKAI  Toshiki SAKABE  Naoki NISHIDA 
Publication:   D - Abstracts of IEICE TRANSACTIONS on Information and Systems (Japanese Edition)
Publication Date: 2007/04/01
Vol. J90-D  No. 4  pp. 978-989
Type of Manuscript: Special Section PAPER (Special Section on Formal Approaches)
Category: 
Keyword: 
symply-typed term rewriting system,  termination,  strongly computable dependency pair method,  usable rule,  labeling, 
  Summary |  Full Text(in Japanese):PDF (303.6KB)