Ken Hirose

According to our database, Ken Hirose authored at least 3 papers between 1981 and 1988.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1988

An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+.

Norihisa Doi, Yasushi Kodama, Ken Hirose

Proceedings of the ECOOP'88 European Conference on Object-Oriented Programming, 1988

1986

An Approach to Proof Checker.

Ken Hirose

Proceedings of the Mathematical Foundations of Computer Science 1986, 1986

1981

Specification technique for parallel processing: process-data representation.

Ken Hirose, Kiyoshi Segawa, Nobuo Saito, Norihisa Doi, Masahiro Hirata, Toshiharu Yamasaki, Masayuki Takata

Proceedings of the American Federation of Information Processing Societies: 1981 National Computer Conference, 1981