S. Takata

Implementation and Formal Specification of Release Consistency Models

Akira Fukuda, Kazuki Joe, Kenji Taguchi, 1999 .

A Formal Specification of a Release Consistency Model and Its Implementation

Akira Fukuda, Kazuki Joe, Shiro Takata, 1999 .

Conversation agent who takes photographs in cooperation with the user

Shinjiro Kawato, Shiro Takata, Kenji Mase, 2002 .