Concepedia
Statistics
Publications
6
Citations
102
H-Index
Active since
2000
Affiliations
Nagoya University(Current)
Institut national de recherche en sciences et technologies du numérique
Keiichirou Kusakari is an author at Nagoya University specializing in computing, computer science, and formal methods.
Publications per year
2000–2014
Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems
Keiichirou Kusakari, Isogai Yasuo, Masahiko Sakai et al. · IEICE Transactions on Information and Systems · 2009 · 24 citations · Full text
Computing, Computer Science, Formal Methods +16
Enhancing dependency pair method using strong computability in simply-typed term rewriting
Keiichirou Kusakari, Masahiko Sakai · Applicable Algebra in Engineering Communication and Computing · 2007 · 18 citations
Computing, Computer Science, Formal Methods +11
On proving AC-termination by AC-dependency pairs
Keiichirou Kusakari, Yoshihito Toyama · JAIST Repository · 2001 · 17 citations
Computing, Computer Science, Formal Methods +5
Argument Filterings and Usable Rules in Higher-order Rewrite Systems
Sho Suzuki, Keiichirou Kusakari, Frédéric Blanqui · IPSJ Online Transactions · 2011 · 17 citations · Full text
Computing, Computer Science, Formal Methods +14
A unified ordering for termination proving
Akihisa Yamada, Keiichirou Kusakari, Toshiki Sakabe · Science of Computer Programming · 2014 · 15 citations
Computing, Computer Science, Algorithms +11
1–5 of 6