Koki Nishizawa

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Preorders, Partial Semigroups, and Quantales Relational and Algebraic Methods in Computer Science	2022-08-30	Paper
Stone Dualities from Opfibrations Relational and Algebraic Methods in Computer Science	2022-08-30	Paper
Stone dualities from opfibrations Journal of Logical and Algebraic Methods in Programming	2022-05-25	Paper
Composition of different-type relations via the Kleisli category for the continuation monad	2018-11-08	Paper
Multirelational representation theorems for complete idempotent left semirings. Journal of Logical and Algebraic Methods in Programming	2015-06-10	Paper
A sufficient condition for liftable adjunctions between Eilenberg-Moore categories Relational and Algebraic Methods in Computer Science	2014-04-16	Paper
A coalgebraic representation of reduction by cone of influence	2013-12-04	Paper
Multirelational models of lazy, monodic tree, and probabilistic Kleene algebras Bulletin of Informatics and Cybernetics	2013-08-28	Paper
Relational representation theorem for powerset quantales. Relational and Algebraic Methods in Computer Science	2012-09-21	Paper
Relational and multirelational representation theorems for complete idempotent left semirings. Relational and Algebraic Methods in Computer Science	2011-06-17	Paper
The cube of Kleene algebras and the triangular prism of multirelations Relations and Kleene Algebra in Computer Science	2009-12-11	Paper
Lawvere theories enriched over a general base Journal of Pure and Applied Algebra	2009-01-08	Paper
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras Relations and Kleene Algebra in Computer Science	2008-05-15	Paper
Chaotic bifurcations along algebraic curves	2002-04-01	Paper

Research outcomes over time

This page was built for person: Koki Nishizawa