Yuichi Komorida

According to our database, Yuichi Komorida authored at least 6 papers between 2019 and 2024.

Collaborative distances:

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

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

2022

Codensity Games for Bisimilarity.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo

New Gener. Comput., 2022

2021

Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation.

Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Injective Objects and Fibered Codensity Liftings.

Yuichi Komorida

Proceedings of the Coalgebraic Methods in Computer Science, 2020

Stone Dualities from Opfibrations.

Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Codensity Games for Bisimilarity.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019