Yuichi Komorida

11 papers A* 2C 1Journal 6Unranked 2

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Explicit Hopcroft's Trick in Categorical Partition Refinement. CMCS Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
2023	J	`jnl`	Explicit Hopcroft's Trick in Categorical Partition Refinement. CoRR Takahiro Sanada, Ryota Kojima, Yuichi Komorida, Koko Muroya, Ichiro Hasuo
2022	J	`jnl`	Codensity Games for Bisimilarity. New Gener. Comput. Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Samuel Humeau, Clovis Eberhart, Ichiro Hasuo
2022	J	`jnl`	Stone dualities from opfibrations. J. Log. Algebraic Methods Program. Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
2021	A*	`conf`	Expressivity of Quantitative Modal Logics : Categorical Foundations via Codensity and Approximation. LICS Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
2021	J	`jnl`	Expressivity of Quantitative Modal Logics: Categorical Foundations via Codensity and Approximation. CoRR Yuichi Komorida, Shin-ya Katsumata, Clemens Kupke, Jurriaan Rot, Ichiro Hasuo
2021	J	`jnl`	Injective Objects and Fibered Codensity Liftings. CoRR Yuichi Komorida
2020	—	`conf`	Injective Objects and Fibered Codensity Liftings. CMCS Yuichi Komorida
2020	C	`conf`	Stone Dualities from Opfibrations. RAMiCS Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
2019	A*	`conf`	Codensity Games for Bisimilarity. LICS Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo
2019	J	`jnl`	Codensity Games for Bisimilarity. CoRR Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo