Kentaro Kikuchi

Assistant Professor

  • 80 Citations
  • 5 h-Index
20012020

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Kentaro Kikuchi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 9 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 80 Citations
  • 5 h-Index
  • 12 Conference contribution
  • 8 Article
  • 1 Chapter

Polymorphic computation systems: Theory and practice of confluence with call-by-value

Hamana, M., Abe, T. & Kikuchi, K., 2020 Feb 15, In : Science of Computer Programming. 187, 102322.

Research output: Contribution to journalArticle

  • Inductive theorem proving in non-terminating rewriting systems and its application to program transformation

    Kikuchi, K., Aoto, T. & Sasano, I., 2019 Oct 7, Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. Association for Computing Machinery, a13. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Parallel closure theorem for left-linear nominal rewriting systems

    Kikuchi, K., Aoto, T. & Toyama, Y., 2017 Jan 1, Frontiers of Combining Systems - 11th International Symposium, FroCoS 2017, Proceedings. Dixon, C. & Finger, M. (eds.). Springer Verlag, p. 115-131 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10483 LNAI).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Citation (Scopus)

    Nominal confluence tool

    Aoto, T. & Kikuchi, K., 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Verlag, p. 173-182 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 4 Citations (Scopus)

    Automated inductive theorem proving using transformations of term rewriting systems

    Sato, K., Kikuchi, K., Aoto, T. & Toyama, Y., 2015 Jan 1, In : Computer Software. 32, 1, p. 179-193 15 p.

    Research output: Contribution to journalArticle

  • 1 Citation (Scopus)