Ataru T. Nakagawa

Statistics

Publications

Citations

H-Index

Active since

1998

Affiliations

Japan Advanced Institute of Science and Technology(Current)

Ataru T. Nakagawa is an author at Japan Advanced Institute of Science and Technology specializing in network architecture, restaurant management, and computer science.

Publications per year

1998–2002

Publications

An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

Kokichi Futatsugi, Ataru T. Nakagawa · 2002 · 79 citations

Computing, Computer Science, Computer Systems +14

An Overview of CafeOBJ

Răzvan Diaconescu, Kokichi Futatsugi, Makoto Ishisone et al. · Electronic Notes in Theoretical Computer Science · 1998 · 18 citations · Full text

Management, Design, Restaurant Management +1

1–2 of 2