Koki Nishizawa

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 4

Top Topics

Transitive Closure

Asymptotic Stability

Temporal Relations

Video Recordings

Top Venues

J. Log. Algebraic Methods Program.

Publications

Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
Stone dualities from opfibrations. J. Log. Algebraic Methods Program. 127 (2022)
Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa
Preorders, Partial Semigroups, and Quantales. RAMiCS (2020)
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
Stone Dualities from Opfibrations. RAMiCS (2020)
Koki Nishizawa, Norihiro Tsumagari
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad. RAMiCS (2018)
Hitoshi Furusawa, Koki Nishizawa
Multirelational representation theorems for complete idempotent left semirings. J. Log. Algebraic Methods Program. 84 (3) (2015)
Koki Nishizawa, Hitoshi Furusawa
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories. RAMiCS (2014)
Takayuki Nagai, Toshiyuki Toyota, Takayuki Nagoya, Koki Nishizawa, Masakazu Imai
Implementation of high-definition lecture recording system for daily use. EDUCON (2013)
Koki Nishizawa, Hitoshi Furusawa
Relational Representation Theorem for Powerset Quantales. RAMiCS (2012)
Hitoshi Furusawa, Koki Nishizawa
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings. RAMiCS (2011)
Koki Nishizawa
Multi-Valued Modal Fixed Point Logics for Model Checking. IEICE Trans. Inf. Syst. (8) (2010)
Koki Nishizawa
Multi-valued Modal Fixed Point Logics for Model Checking. ISMVL (2009)
Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa
The Cube of Kleene Algebras and the Triangular Prism of Multirelations. RelMiCS (2009)
Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras. RelMiCS (2008)
Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki
A Coalgebraic Representation of Reduction by Cone of Influence. CMCS (2006)