Edit Profile (opens in new tab) Kusakari, Keiichirou Co-Author Distance Author ID: kusakari.keiichirou Published as: Kusakari, Keiichirou Documents Indexed: 4 Publications since 1999 Co-Authors: 7 Co-Authors with 4 Joint Publications 117 Co-Co-Authors all top 5 Co-Authors 0 single-authored 2 Yamada, Akihisa 1 Nakamura, Masaki 1 Sakabe, Toshiki 1 Sakai, Masahiko 1 Sternagel, Christian 1 Thiemann, René 1 Toyama, Yoshihito Serials 1 Applicable Algebra in Engineering, Communication and Computing Fields 4 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 4 Publications have been cited 40 times in 36 Documents Cited by ▼ Year ▼ Argument filtering transformation. Zbl 0953.68068 Kusakari, Keiichirou; Nakamura, Masaki; Toyama, Yoshihito 20 1999 Nagoya termination tool. Zbl 1416.68183 Yamada, Akihisa; Kusakari, Keiichirou; Sakabe, Toshiki 11 2014 Enhancing dependency pair method using strong computability in simply-typed term rewriting. Zbl 1125.68064 Kusakari, Keiichirou; Sakai, Masahiko 6 2007 AC dependency pairs revisited. Zbl 1369.68250 Yamada, Akihisa; Sternagel, Christian; Thiemann, René; Kusakari, Keiichirou 3 2016 AC dependency pairs revisited. Zbl 1369.68250 Yamada, Akihisa; Sternagel, Christian; Thiemann, René; Kusakari, Keiichirou 3 2016 Nagoya termination tool. Zbl 1416.68183 Yamada, Akihisa; Kusakari, Keiichirou; Sakabe, Toshiki 11 2014 Enhancing dependency pair method using strong computability in simply-typed term rewriting. Zbl 1125.68064 Kusakari, Keiichirou; Sakai, Masahiko 6 2007 Argument filtering transformation. Zbl 0953.68068 Kusakari, Keiichirou; Nakamura, Masaki; Toyama, Yoshihito 20 1999 all cited Publications top 5 cited Publications all top 5 Cited by 52 Authors 6 Nishida, Naoki 5 Yamada, Akihisa 4 Giesl, Jürgen 4 Urbain, Xavier 3 Hirokawa, Nao 3 Lucas, Salvador 3 Schneider-Kamp, Peter 3 Thiemann, René 3 Vidal, Germán 2 Blanqui, Frédéric 2 Falke, Stephan 2 Fernández, Mirtha-Lina 2 Iborra, José 2 Marché, Claude 2 Rubio, Albert 2 Zhang, Shujun 1 Ábrahám, Erika 1 Alarcón, Beatriz 1 Aoto, Takahito 1 Bartocci, Ezio 1 Bofill, Miquel 1 Codish, Michael 1 Contejean, Evelyne 1 Courtieu, Pierre 1 De Schreye, Danny 1 Forest, Julien 1 Fuhs, Carsten 1 Genestier, Guillaume 1 Gutiérrez, Raúl 1 Hermant, Olivier 1 Jouannaud, Jean-Pierre 1 Kapur, Deepak 1 Katoen, Joost-Pieter 1 Kop, Cynthia 1 Kovács, Laura Ildikó 1 Kremer, Gereon 1 Kusakari, Keiichirou 1 Middeldorp, Aart 1 Moosbrugger, Marcel 1 Nagele, Julian 1 Nguyen, Manh Thang 1 Oyamaguchi, Michio 1 Sakabe, Toshiki 1 Sakai, Masahiko 1 Sakata, Tsubasa 1 Sato, Haruhiko 1 Shintani, Kiraku 1 Tomás, Ana Paula 1 van Oostrom, Vincent 1 Winkler, Sarah 1 Yamada, Toshiyuki 1 Zankl, Harald all top 5 Cited in 10 Serials 8 Journal of Automated Reasoning 3 Applicable Algebra in Engineering, Communication and Computing 2 Information Processing Letters 2 Journal of Logical and Algebraic Methods in Programming 1 Journal of Symbolic Computation 1 Information and Computation 1 Journal of Functional Programming 1 RAIRO. Theoretical Informatics and Applications 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science Cited in 3 Fields 35 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 1 Field theory and polynomials (12-XX) Citations by Year