EDBT 2026 Demo / reviewers in the wild / expert
Rindo Nakanishi
dblp:330/5148
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 3 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Verification with Common Knowledge of Rationality for Graph Games
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
ICTAC | 1 |
| 2023 | A Game-Theoretic Approach to Indistinguishability of Winning Objectives as User Privacy
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
ICTAC | 1 |
| 2022 | Active Learning for Deterministic Bottom-Up Nominal Tree Automata
Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki |
ICTAC | 1 |