| 2026 | RC | PisoLang: a User-Friendly Reversible Programming Language with Inductive Types. | Kosuke Onodera, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi |
| 2025 | PEPM | Characterizations of Partial Well-Behaved Lenses. | Keishi Hashiba, Keisuke Nakano, Kazuyuki Asada, Kentaro Kikuchi |
| 2022 | ICTAC | Ground Confluence and Strong Commutation Modulo Alpha-Equivalence in Nominal Rewriting. | Kentaro Kikuchi |
| 2021 | ICTAC | A Proof Method for Local Sufficient Completeness of Term Rewriting Systems. | Tomoki Shiraishi, Kentaro Kikuchi, Takahito Aoto |
| 2020 | LOPSTR | Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables. | Kentaro Kikuchi, Takahito Aoto |
| 2019 | PPDP | Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. | Kentaro Kikuchi, Takahito Aoto, Isao Sasano |
| 2016 | CADE | Nominal Confluence Tool. | Takahito Aoto, Kentaro Kikuchi |
| 2015 | LOPSTR | Correctness of Context-Moving Transformations for Term Rewriting Systems. | Koichi Sato, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama |
| 2014 | APLAS | A Translation of Intersection and Union Types for the λμ-Calculus. | Kentaro Kikuchi, Takafumi Sakurai |
| 2013 | CSL | Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus. | Kentaro Kikuchi |
| 2008 | FOSSACS | Strong Normalisation of Cut-Elimination That Simulates beta-Reduction. | Kentaro Kikuchi, Stphane Lengrand |
| 2007 | CiE | Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus. | Kentaro Kikuchi |
| 2007 | TABLEAUX | Tree-Sequent Methods for Subintuitionistic Predicate Logics. | Ryo Ishigaki, Kentaro Kikuchi |
| 2006 | LPAR | On a Local-Step Cut-Elimination Procedure for the Intuitionistic Sequent Calculus. | Kentaro Kikuchi |
| 2004 | FLOPS | A Direct Proof of Strong Normalization for an Extended Herbelin?s Calculus. | Kentaro Kikuchi |
| 2000 | CLUSTER | Chained Declustering using Multiple Conventional Filesystems. | Koichi Konishi, Kentaro Kikuchi, Hideki Kawai, Kunihiko Kojima, Ken'ichi Ohmachi, Susumu Akamine, Toshikazu Fukushima |