Specification technique for parallel processing: process-data representation. - Ken Hirose; Kiyoshi Segawa; Nobuo Saito; Norihisa Doi; Masahiro Hirata; Toshiharu Yamasaki; Masayuki Takata (AFIPS National Computer Conference, 1981)

An Approach to Proof Checker. - Ken Hirose (MFCS, 1986)

An Implementation of an Operating System Kernel Using Concurrent Object-Oriented Language ABCL/c+. - Norihisa Doi; Yasushi Kodama; Ken Hirose (ECOOP, 1988)

Mathematical Framework to Identify Optimal Molecule Based on Virtual Ligand Strategy. - Wataru Matsuoka; Ken Hirose; Ren Yamada; Taihei Oki; Satoru Iwata 001; Satoshi Maeda (J. Chem. Inf. Model., 2025)