Kentaro Kikuchi
(菊池 健太郎)
Modified on: 02/01
Papers
41
Entries per page
-
Proceedings of the 19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022), LNCS 13572 255-271, 2022 Peer-reviewed
-
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), LIPIcs 213 49:1-49:15, 2021 Peer-reviewed
-
Proceedings of the 18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), LNCS 12819 386-404, 2021 Peer-reviewed
-
Proceedings of the 30th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2020), LNCS 12561 56-73, 2021 Peer-reviewed
-
Proceedings of the 9th International Workshop on Confluence (IWC 2020), 81-81, Jun, 2020
-
Sci. Comput. Program., 187 102322-102322, 2020 Peer-reviewed
-
Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019, Porto, Portugal, October 7-9, 2019., 13:1-13:14, 2019 Peer-reviewed
-
Proceedings of the 7th International Workshop on Confluence (IWC 2018), 70-70, Jul, 2018
-
Proceedings of the 6th International Workshop on Confluence (IWC 2017), 70-70, Sep 8, 2017
-
Participant's Proceedings of the 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017), Sep 8, 2017 Peer-reviewed
-
Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS 2017), LNAI 10483 115-131, 2017 Peer-reviewed
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016), 76-76, Sep 8, 2016
-
Proceedings of the 5th International Workshop on Confluence (IWC 2016), 87-87, Sep 8, 2016
-
Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR 2016), Jun 25, 2016 Peer-reviewed
-
Proceedings of the 7th International Symposium on Symbolic Computation in Software Science (SCSS 2016), EPiC 39 156-168, Mar 27, 2016 Peer-reviewed
-
Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016), LNAI 9706 173-182, 2016 Peer-reviewed
-
Proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015), LNCS 9527 331-345, Dec, 2015 Peer-reviewed
-
Proceedings of the 4th International Workshop on Confluence (IWC 2015), 39-39, Aug 2, 2015
-
Proceedings of the 4th International Workshop on Confluence (IWC 2015), 48-48, Aug 2, 2015
-
Participant's Proceedings of the 2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015), 3-7, Jul 2, 2015 Peer-reviewed