Takumi Shimoda

Orcid: 0000-0003-3155-4463

According to our database¹, Takumi Shimoda authored at least 4 papers between 2021 and 2024.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Separate Generation and Evaluation for Parallel Greedy Best-First Search.

[BibT_eX]

[DOI]

Takumi Shimoda

Alex Fukunaga

CoRR, 2024

2023

Improved Exploration of the Bench Transition System in Parallel Greedy Best First Search.

[BibT_eX]

[DOI]

Takumi Shimoda

Alex Fukunaga

Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

2021

Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.

[BibT_eX]

[DOI]

Dataset, July, 2021

Symbolic Automatic Relations and Their Applications to SMT and CHC Solving.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 28th International Symposium, 2021

Takumi Shimoda

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...