VLDB 2026 Research / reviewers in the wild / expert
Yuichi Komorida
dblp:245/7502
· DBLP profile ↗
4ranked-venue papers
2as first author
2since 2021 · last 2022
0000-0002-3371-5243ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 2 first-author · 1 since 2021Software engineering, systems software and programming languages · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Stone dualities from opfibrations
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida |
J. Log. Algebraic Methods Program. | 3 |
| 2021 | Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo |
LICS | 1 |
| 2020 | Stone Dualities from Opfibrations
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida |
RAMiCS | 3 |
| 2019 | Codensity Games for Bisimilarity
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo |
LICS | 1 |