Yuichi Komorida

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 11

Top Topics

Decision Procedures

Attribute Values

Coalitional Games

Top Venues

Publications

Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CMCS (2024)
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR (2023)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo
Codensity Games for Bisimilarity. New Gener. Comput. 40 (2) (2022)
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
Stone dualities from opfibrations. J. Log. Algebraic Methods Program. 127 (2022)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR (2021)
Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS (2021)
Yuichi Komorida
Injective Objects and Fibered Codensity Liftings. CoRR (2021)
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
Stone Dualities from Opfibrations. RAMiCS (2020)
Yuichi Komorida
Injective Objects and Fibered Codensity Liftings. CMCS (2020)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
Codensity Games for Bisimilarity. CoRR (2019)
Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
Codensity Games for Bisimilarity. LICS (2019)