Koki Nishizawa

17 papers C 7Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Categorical generalization of spectral decomposition.
CoRR
Koki Nishizawa, Yusuke Ide, Norihiro Tsumagari
2022 J jnl
Stone dualities from opfibrations.
J. Log. Algebraic Methods Program.
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
2020 C conf
Preorders, Partial Semigroups, and Quantales.
RAMiCS
Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa
2020 C conf
Stone Dualities from Opfibrations.
RAMiCS
Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida
2018 C conf
Composition of Different-Type Relations via the Kleisli Category for the Continuation Monad.
RAMiCS
Koki Nishizawa, Norihiro Tsumagari
2015 J jnl
Multirelational representation theorems for complete idempotent left semirings.
J. Log. Algebraic Methods Program.
Hitoshi Furusawa, Koki Nishizawa
2014 C conf
A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories.
RAMiCS
Koki Nishizawa, Hitoshi Furusawa
2013 C conf
Implementation of high-definition lecture recording system for daily use.
EDUCON
Takayuki Nagai, Toshiyuki Toyota, Takayuki Nagoya, Koki Nishizawa, Masakazu Imai
2012 C conf
Relational Representation Theorem for Powerset Quantales.
RAMiCS
Koki Nishizawa, Hitoshi Furusawa
2011 C conf
Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings.
RAMiCS
Hitoshi Furusawa, Koki Nishizawa
2010 J jnl
An Algebraic Semantics of Predicate Abstraction for PML.
Inf. Media Technol.
Yoshiki Kinoshita, Koki Nishizawa
2010 J jnl
Modal μ-calculus on Min-plus Algebra N
Inf. Media Technol.
Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya
2010 J jnl
Multi-Valued Modal Fixed Point Logics for Model Checking.
IEICE Trans. Inf. Syst.
Koki Nishizawa
2009 — conf
Multi-valued Modal Fixed Point Logics for Model Checking.
ISMVL
Koki Nishizawa
2009 — conf
The Cube of Kleene Algebras and the Triangular Prism of Multirelations.
RelMiCS
Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa
2008 — conf
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.
RelMiCS
Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
2006 — conf
A Coalgebraic Representation of Reduction by Cone of Influence.
CMCS
Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki