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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Characterizations of Partial Well-Behaved Lenses
Hashiba, K., Nakano, K., Asada, K. & Kikuchi, K., 2025 Jan 10, PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025. Allais, G. & Liu, Y. A. (eds.). Association for Computing Machinery, Inc, p. 43-53 11 p. (PEPM 2025 - Proceedings of the 2025 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Co-located with: POPL 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting
Kikuchi, K., 2022, Theoretical Aspects of Computing – ICTAC 2022 - 19th International Colloquium, Proceedings. Seidl, H., Liu, Z. & Pasareanu, C. S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 255-271 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13572 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Citations (Scopus) -
A Proof Method for Local Sufficient Completeness of Term Rewriting Systems
Shiraishi, T., Kikuchi, K. & Aoto, T., 2021, Theoretical Aspects of Computing – ICTAC 2021 - 18th International Colloquium, Proceedings. Cerone, A. & Olveczky, P. C. (eds.). Springer Science and Business Media Deutschland GmbH, p. 386-404 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12819 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
3 Citations (Scopus) -
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables
Kikuchi, K. & Aoto, T., 2021, Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Proceedings. Fernández, M. (ed.). Springer Science and Business Media Deutschland GmbH, p. 56-73 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12561 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Citations (Scopus) -
Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems
Kikuchi, K. & Aoto, T., 2021 Dec 1, 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021. Bojanczyk, M. & Chekuri, C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 49. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 213).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
2 Citations (Scopus)