Ken Hirose

According to our database, Ken Hirose authored at least 4 papers between 1981 and 2025.

Collaborative distances:

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

2025

Mathematical Framework to Identify Optimal Molecule Based on Virtual Ligand Strategy.

Wataru Matsuoka, Ken Hirose, Ren Yamada, Taihei Oki, Satoru Iwata, Satoshi Maeda

J. Chem. Inf. Model., 2025

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