![]() |
| 2004 | ||
|---|---|---|
| 2 | EE | Masami Hagiya, Koichi Takahashi, Mitsuharu Yamamoto, Takahiro Sato: Analysis of Synchronous and Asynchronous Cellular Automata Using Abstraction by Temporal Logic. FLOPS 2004: 7-21 |
| 1988 | ||
| 1 | Hiroyasu Chimura, Hiroshi Kato, Hiroyuki Mitani, Takahiro Sato: Contextual Structure Analysis of Microcomputer Manuals. BCS HCI 1988: 257-274 | |
| 1 | Hiroyasu Chimura | [1] |
| 2 | Masami Hagiya | [2] |
| 3 | Hiroshi Kato | [1] |
| 4 | Hiroyuki Mitani | [1] |
| 5 | Koichi Takahashi | [2] |
| 6 | Mitsuharu Yamamoto | [2] |