Hiroshi Watanabe

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
A coalgebraic representation of reduction by cone of influence	2013-12-04	Paper
Well-behaved translations between structural operational semantics Electronic Notes in Theoretical Computer Science	2013-08-15	Paper
Category theory for operational semantics Theoretical Computer Science	2005-01-11	Paper
scientific article; zbMATH DE number 2034420 (Why is no real title available?)	2004-01-28	Paper
Combining a monad and a comonad Theoretical Computer Science	2002-07-15	Paper
On the structure of categories of coalgebras Theoretical Computer Science	2001-08-20	Paper
scientific article; zbMATH DE number 1497875 (Why is no real title available?)	2001-03-05	Paper
The subobject classifier of the category of functional bisimulations Hokkaido Mathematical Journal	2000-05-14	Paper
scientific article; zbMATH DE number 1392304 (Why is no real title available?)	2000-01-25	Paper
A criterion for the existence of subobject classifiers Hokkaido Mathematical Journal	1999-09-26	Paper
scientific article; zbMATH DE number 1314227 (Why is no real title available?)	1999-07-12	Paper
scientific article; zbMATH DE number 1231631 (Why is no real title available?)	1999-01-06	Paper

Research outcomes over time

This page was built for person: Hiroshi Watanabe