Yuichi Komorida

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

Collaborative distances:

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

2023

Explicit Hopcroft's Trick in Categorical Partition Refinement.

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

CoRR, 2023

2022

Codensity Games for Bisimilarity.

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

New Gener. Comput., 2022

Stone dualities from opfibrations.

Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida

J. Log. Algebraic Methods Program., 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

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