Software reliability growth analysis-application of NHPP models and its evaluation. - Takamasa Nara; Masahiro Nakata; Akihiro Ooishi (HASE, 1996)

Towards Limit Computable Mathematics. - Susumu Hayashi; Masahiro Nakata (TYPES, 2000)

Quality Assurance Activities for ASP Based on SLM in Hitachi. - Masahiro Nakata; Katsuyuki Yasuda (ECSQ, 2002)