Teppei Saito
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2024–2026
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | IJCAR | The ARI Infrastructure for Automated Confluence Analysis. | Nao Hirokawa, Aart Middeldorp, Teppei Saito, Ren Thiemann |
| 2026 | IJCAR | An Applicative Multiset Path Order. | Nao Hirokawa, Teppei Saito, Teppei Tanaka, Wataru Yachi |
| 2025 | CADE | Lexicographic Combination of Reduction Pairs. | Teppei Saito, Nao Hirokawa |
| 2025 | CPP | An Isabelle Formalization of Co-rewrite Pairs for Non-reachability in Term Rewriting. | Dohan Kim, Teppei Saito, Ren Thiemann, Akihisa Yamada |
| 2024 | FSCD | Simulating Dependency Pairs by Semantic Labeling. | Teppei Saito, Nao Hirokawa |