Kiraku Shintani

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 8

Top Topics

Term Rewrite Systems

Multiple Criteria

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Nao Hirokawa, Dohan Kim, Kiraku Shintani, René Thiemann
Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs. CPP (2024)
Kiraku Shintani, Nao Hirokawa
Compositional Confluence Criteria. Log. Methods Comput. Sci. 20 (1) (2024)
Kiraku Shintani, Nao Hirokawa
Compositional Confluence Criteria. CoRR (2023)
Kiraku Shintani, Nao Hirokawa
Compositional Confluence Criteria. FSCD (2022)
Aart Middeldorp, Julian Nagele, Kiraku Shintani
CoCo 2019: report on the eighth confluence competition. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Aart Middeldorp, Julian Nagele, Kiraku Shintani
Confluence Competition 2019. TACAS (3) (2019)
Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl
Confluence Competition 2018. FSCD (2018)
Kiraku Shintani, Nao Hirokawa
CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems. CADE (2015)