帰納法に関する推論の計算複雑性. Proceedings of the 24th JSSST Workshop on Programming and Programming Languages (PPL2023). 2023. 1-15
Daisuke Kimura, Makoto Tatsuta, Mahmudul Faisal Al Ameen, Koji Nakazawa, Mirai Ikebuchi. Biabduction for Separation Logic with Arrays and Lists. Proceedings of the 24st JSSST Workshop on Programming and Programming Languages (PPL2022). 2022. 1-16
Daisuke Kimura, Makoto Tatsuta. Decidability for Entailments of Symbolic Heaps with Arrays. Logical Methods in Computer Science. 2021. 17. 2. 15:1-15:33
Daisuke Kimura, Mahmudul Faisal Al Ameen, Makoto Tatsuta, Koji Nakazawa. Function Pointer Eliminator for C Programs. Lecture Notes in Computer Science. 2021. 13008. 23-37