Hiroshi Watanabe

According to our database, Hiroshi Watanabe authored at least 10 papers between 1998 and 2006.

Collaborative distances:

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

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

2005

Model Checking Class Specifications forWeb Applications.

Eun-Hye Choi, Hiroshi Watanabe

Proceedings of the 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 2005

2004

Category theory for operational semantics.

Marina Lenisa, John Power, Hiroshi Watanabe

Theor. Comput. Sci., 2004

2002

Combining a monad and a comonad.

John Power, Hiroshi Watanabe

Theor. Comput. Sci., 2002

Well-behaved Translations between Structural Operational Semantics.

Hiroshi Watanabe

Proceedings of the Coalgebraic Methods in Computer Science, 2002

2001

On the structure of categories of coalgebras.

Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell

Theor. Comput. Sci., 2001

2000

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

Marina Lenisa, John Power, Hiroshi Watanabe

Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999

Distributivity for a monad and a comonad.

John Power, Hiroshi Watanabe

Proceedings of the Coalgebraic Methods in Computer Science, 1999

1998

An axiomatics for categories of coalgebras.

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.

Peter T. Johnstone, John Power, Toru Tsujishita, Hiroshi Watanabe, James Worrell

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