Koki Nishizawa

Algebraic Structure for a modal fixed point logic and abstract interpretation

Koki Nishizawa, 2007 .

A Coalgebraic Representation of Reduction by Cone of Influence

Osamu Takaki, Hiroshi Watanabe, Koki Nishizawa, 2006, CMCS.

Multi-valued Modal Fixed Point Logics for Model Checking

Koki Nishizawa, Koki Nishizawa, 2009, 2009 39th International Symposium on Multiple-Valued Logic.

Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad

Koki Nishizawa, Norihiro Tsumagari, Koki Nishizawa, 2018, RAMiCS.

Lawvere theories enriched over a general base

John Power, Koki Nishizawa, J. Power, 2009 .

Stone Dualities from Opfibrations

Shin-ya Katsumata, Koki Nishizawa, Yuichi Komorida, 2020, RAMiCS.