Ryota Kojima

According to our database, Ryota Kojima authored at least 4 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

Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, October, 2025

Orbital-Rotated Fermi-Hubbard Model as a Benchmarking Problem for Quantum Chemistry with the Exact Solution.

Ryota Kojima, Masahiko Kamoshita, Keita Kanno

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 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