Yuichi Komorida

Yuichi Komorida

National Institute of Informatics, Japan - Tokyo / Japan
Engineering & Technology / Computer Science
AD Scientific Index ID: 4865180
-
person_outline Yuichi Komorida's MOST POPULAR ARTICLES
1-) 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 242022
2-) 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 142021
3-) Injective objects and fibered codensity liftings Y Komorida Coalgebraic Methods in Computer Science: 15th IFIP WG 1.3 International …, 2020 22020
4-) Explicit Hopcroft’s Trick in Categorical Partition RefinementT Sanada, R Kojima, Y Komorida, K Muroya, I HasuoInternational Workshop on Coalgebraic Methods in Computer Science, 135-155, 20242024
5-) Explicit Hopcroft\'s Trick in CategoricalT Sanadal, R Kojima, Y KomoridaCoalgebraic Methods in Computer Science: 17th IFIP WG 1. 3 International …, 20242024