| |
| 1988 | ||
|---|---|---|
| 3 | EE | Norihisa Doi, Yasushi Kodama, Ken Hirose: An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+. ECOOP 1988: 250-266 |
| 1986 | ||
| 2 | Ken Hirose: An Approach to Proof Checker. MFCS 1986: 113-127 | |
| 1981 | ||
| 1 | EE | Ken Hirose, Kiyoshi Segawa, Nobuo Saito, Norihisa Doi, Masahiro Hirata, Toshiharu Yamasaki, Masayuki Takata: Specification technique for parallel processing: process-data representation. AFIPS National Computer Conference 1981: 407-413 |
| 1 | Norihisa Doi | [1] [3] |
| 2 | Masahiro Hirata | [1] |
| 3 | Yasushi Kodama | [3] |
| 4 | Nobuo Saito | [1] |
| 5 | Kiyoshi Segawa | [1] |
| 6 | Masayuki Takata | [1] |
| 7 | Toshiharu Yamasaki | [1] |