| |
| 1988 | ||
|---|---|---|
| 2 | 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 | ||
| 1 | Ken Hirose: An Approach to Proof Checker. MFCS 1986: 113-127 | |
| 1 | Norihisa Doi | [2] |
| 2 | Yasushi Kodama | [2] |