Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Ichiro Hasuo (LICS, 2019)

Injective Objects and Fibered Codensity Liftings. - Yuichi Komorida (CMCS, 2020)

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. - Yuichi Komorida; Shin-ya Katsumata; Clemens Kupke; Jurriaan Rot; Ichiro Hasuo (LICS, 2021)

Stone dualities from opfibrations. - Koki Nishizawa; Shin-ya Katsumata; Yuichi Komorida (J. Log. Algebraic Methods Program., 2022)

Codensity Games for Bisimilarity. - Yuichi Komorida; Shin-ya Katsumata; Nick Hu; Bartek Klin; Samuel Humeau 002; Clovis Eberhart; Ichiro Hasuo (New Gener. Comput., 2022)

Explicit Hopcroft's Trick in Categorical Partition Refinement. - Takahiro Sanada; Ryota Kojima; Yuichi Komorida; Koko Muroya; Ichiro Hasuo (CMCS, 2024)