| 2007 |
|---|
| 4 | EE | Shoichi Nakamura,
Hirokazu Shirai,
Hiroaki Kaminaga,
Youzou Miyadera:
A Visual Bookmark Sharing System Considering Retrieval Scenes and Its Evaluations.
AINA 2007: 730-737 |
| 1996 |
|---|
| 3 | EE | Kentaro Go,
Kaoru Takahashi,
Hiroaki Kaminaga,
Norio Shiratori:
Automatic modification of a protocol specification based on changes of a service specification.
ICPADS 1996: 129-134 |
| 2 | EE | Bhed Bahadur Bista,
Kaoru Takahashi,
Hiroaki Kaminaga,
Norio Shiratori:
A flexible protocol synthesis method for adopting requirement changes.
ICPADS 1996: 319-326 |
| 1989 |
|---|
| 1 | | Norio Shiratori,
Hiroaki Kaminaga,
Kaoru Takahashi,
Shoichi Noguchi:
A Verification Method for LOTOS Specifications and its Application.
PSTV 1989: 59-70 |
