Hiroshi Watanabe

Orcid: 0000-0001-8614-6876

Affiliations:

National Institute of Advanced Industrial Science and Technology (AIST), Laboratory for Verification and Semantics, Amagasaki, Japan

According to our database¹, Hiroshi Watanabe authored at least 7 papers between 1998 and 2004.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2004

Category theory for operational semantics.

[BibT_eX]

[DOI]

Marina Lenisa

John Power

Hiroshi Watanabe

Theor. Comput. Sci., 2004

2002

Combining a monad and a comonad.

[BibT_eX]

[DOI]

John Power

Hiroshi Watanabe

Theor. Comput. Sci., 2002

2001

On the structure of categories of coalgebras.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2001

2000

Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads.

[BibT_eX]

[DOI]

Marina Lenisa

John Power

Hiroshi Watanabe

Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999

Distributivity for a monad and a comonad.

[BibT_eX]

[DOI]

John Power

Hiroshi Watanabe

Proceedings of the Coalgebraic Methods in Computer Science, 1999

1998

An axiomatics for categories of coalgebras.

[BibT_eX]

[DOI]

John Power

Hiroshi Watanabe

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

An Axiomatics for Categories of Transition Systems as Coalgebras.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Hiroshi Watanabe

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...