Keita Yokoyama
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
5
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CiE | Completeness Theorems for Modal Logic in Second-Order Arithmetic. | Sho Shimomichi, Yuto Takeda, Keita Yokoyama |
| 2022 | ICTIR | Two-sided Rank Consistent Ordinal Regression for Interpretable Music Key Recommendation. | Yuan Wang, Shigeki Tanaka, Keita Yokoyama, Hsin-Tai Wu, Yi Fang |
| 2021 | CiE | In Search of the First-Order Part of Ramsey's Theorem for Pairs. | Leszek Aleksander Kolodziejczyk, Keita Yokoyama |
| 2021 | ICASSP | Karaoke Key Recommendation Via Personalized Competence-Based Rating Prediction. | Yuan Wang, Shigeki Tanaka, Keita Yokoyama, Hsin-Tai Wu, Yi Fang |
| 2018 | LICS | A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. | Yijia Chen, Moritz Mller, Keita Yokoyama |
| 2017 | TAMC | The Strength of the SCT Criterion. | Emanuele Frittaion, Silvia Steila, Keita Yokoyama |
| 2014 | CiE | On the Ramseyan Factorization Theorem. | Shota Murakami, Takeshi Yamazaki, Keita Yokoyama |
| 2013 | CiE | A Note on the Sequential Version of Statements. | Makoto Fujiwara, Keita Yokoyama |