Concepedia

Hiroshi Watanabe

HW

Statistics

Publications

15

Citations

462

H-Index

11

Active since

1974

Affiliations

University of Edinburgh(Current)

Hokkaido University

National Institute of Advanced Industrial Science and Technology

University of Udine

Hiroshi Watanabe is an author at University of Edinburgh specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceLanguageSemanticsLinguisticsFormal MethodsSyntaxBiologyGeology

Publications per year

1974–2019

15

Publications

15

Combining a monad and a comonad

John Power, Hiroshi Watanabe · Theoretical Computer Science · 2002 · 111 citations

Automated Reasoning, Categorical Model, Functional Programming Language +1

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

Marina Lenisa, John Power, Hiroshi Watanabe · Electronic Notes in Theoretical Computer Science · 2000 · 66 citations · Full text

On the structure of categories of coalgebras

Peter Johnstone, John Power, Tōru Tsujishita et al. · Theoretical Computer Science · 2001 · 58 citations

Higher Category Theory

Category theory for operational semantics

Marina Lenisa, John Power, Hiroshi Watanabe · Theoretical Computer Science · 2004 · 42 citations

Operational Semantics, Automated Reasoning, Language Studies +4

Rock type classification by multi-band TIR of ASTER

Hiroshi Watanabe, Kazuaki Matsuo · Geosciences Journal · 2003 · 33 citations

Rock Testing, Engineering, Rock Type Classification +4

1–5 of 15