| Codensity games for bisimilarity Y Komorida, S Katsumata, N Hu, B Klin, S Humeau, C Eberhart, I Hasuo New Generation Computing 40 (2), 403-465, 2022 | 25 | 2022 |
| Expressivity of quantitative modal logics: Categorical foundations via codensity and approximation Y Komorida, S Katsumata, C Kupke, J Rot, I Hasuo 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 15 | 2021 |
| Injective objects and fibered codensity liftings Y Komorida Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International …, 2020 | 3 | 2020 |
| Explicit Hopcroft's Trick in Categorical Partition Refinement T Sanada, R Kojima, Y Komorida, K Muroya, I Hasuo arXiv preprint arXiv:2307.15261, 2023 | | 2023 |
| Fibrational Theory of Behaviors and Observations: Bisimulation, Logic, and Games from Modalities Y KOMORIDA The Graduate University for Advanced Studies, 2023 | | 2023 |
| Stone dualities from opfibrations K Nishizawa, S Katsumata, Y Komorida Journal of Logical and Algebraic Methods in Programming 127, 100773, 2022 | | 2022 |
