Kiraku Shintani

According to our database, Kiraku Shintani authored at least 6 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Compositional Confluence Criteria.

Kiraku Shintani, Nao Hirokawa

Log. Methods Comput. Sci., 2024

Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs.

Nao Hirokawa, Dohan Kim, Kiraku Shintani, René Thiemann

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2021

CoCo 2019: report on the eighth confluence competition.

Aart Middeldorp, Julian Nagele, Kiraku Shintani

Int. J. Softw. Tools Technol. Transf., 2021

2019

Confluence Competition 2019.

Aart Middeldorp, Julian Nagele, Kiraku Shintani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Confluence Competition 2018.

Takahito Aoto, Makoto Hamana, Nao Hirokawa, Aart Middeldorp, Julian Nagele, Naoki Nishida, Kiraku Shintani, Harald Zankl

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018

2015

CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems.

Kiraku Shintani, Nao Hirokawa

Proceedings of the Automated Deduction - CADE-25, 2015