Ryota Kojima

According to our database, Ryota Kojima authored at least 3 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics.

Ryota Kojima, Corina Cîrstea

CoRR, October, 2025

2024

Explicit Hopcroft's Trick in Categorical Partition Refinement.

Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024

Coalgebraic CTL: Fixpoint Characterization and Polynomial-Time Model Checking.

Ryota Kojima, Corina Cîrstea, Koko Muroya, Ichiro Hasuo

Proceedings of the Coalgebraic Methods in Computer Science, 2024