Ryota Kojima

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 3

Top Topics

Top Venues

Publications

Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CMCS (2024)
Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo
Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking. CMCS (2024)
Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR (2023)