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 | 30 | 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 | 24 | 2021 |
Injective objects and fibered codensity liftings Y Komorida Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International …, 2020 | 4 | 2020 |
Explicit Hopcroft’s Trick in Categorical Partition Refinement T Sanada, R Kojima, Y Komorida, K Muroya, I Hasuo International Workshop on Coalgebraic Methods in Computer Science, 135-155, 2024 | | 2024 |
Explicit Hopcroft's Trick in Categorical T Sanadal, R Kojima, Y Komorida Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International …, 2024 | | 2024 |
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 |
Stone Dualities from Opfibrations K Nishizawa¹, S Katsumata, Y Komorida Relational and Algebraic Methods in Computer Science: 18th International …, 2020 | | 2020 |