Koki Nishizawa

According to our database, Koki Nishizawa authored at least 14 papers between 2006 and 2022.

Collaborative distances:

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

2022

Stone dualities from opfibrations.

Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida

J. Log. Algebraic Methods Program., 2022

2020

Preorders, Partial Semigroups, and Quantales.

Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2018

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

Koki Nishizawa, Norihiro Tsumagari

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2015

Multirelational representation theorems for complete idempotent left semirings.

Hitoshi Furusawa, Koki Nishizawa

J. Log. Algebraic Methods Program., 2015

2014

A Sufficient Condition for Liftable Adjunctions between Eilenberg-Moore Categories.

Koki Nishizawa, Hitoshi Furusawa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Implementation of high-definition lecture recording system for daily use.

Takayuki Nagai, Toshiyuki Toyota, Takayuki Nagoya, Koki Nishizawa, Masakazu Imai

Proceedings of the IEEE Global Engineering Education Conference, 2013

2012

Relational Representation Theorem for Powerset Quantales.

Koki Nishizawa, Hitoshi Furusawa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2011

Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings.

Hitoshi Furusawa, Koki Nishizawa

Proceedings of the Relational and Algebraic Methods in Computer Science, 2011

2010

An Algebraic Semantics of Predicate Abstraction for PML.

Yoshiki Kinoshita, Koki Nishizawa

Inf. Media Technol., 2010

Modal μ-calculus on Min-plus Algebra N_∞.

Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya

Inf. Media Technol., 2010

Multi-Valued Modal Fixed Point Logics for Model Checking.

Koki Nishizawa

IEICE Trans. Inf. Syst., 2010

2009

The Cube of Kleene Algebras and the Triangular Prism of Multirelations.

Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.

Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2006

A Coalgebraic Representation of Reduction by Cone of Influence.

Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki

Proceedings of the Eighth Workshop on Coalgebraic Methods in Computer Science, 2006