Vectorized Model Checking for Computation Tree Logic. - Hiromi Hiraishi; Shintaro Meki; Kiyoharu Hamaguchi (CAV, 1990)

Data Structure and Algorithms for New Hardware Technology. - Yahiko Kambayashi; Hiroki Takakura; Shintaro Meki (FODO, 1993)

Acceleration of relational database operations on vector processors. - Shintaro Meki; Yahiko Kambayashi (Syst. Comput. Jpn., 2000)