Gentzen-Type Formel System Representing Properties of Function and its Implementation. - T. Nishimura; M. Nakanishi; M. Nogeta; Y. Iwamaru (IJCAI, 1975)

Development of a Mathematical Subroutine Library for Fujitsu Vector Parallel Processors. - Richard P. Brent; L. Grosz; David L. Harrar II; Markus Hegland; Margaret Kahn; G. Keating; G. Mercer; Ole Møller Nielsen; Michael R. Osborne; Bing Bing Zhou; M. Nakanishi (International Conference on Supercomputing, 1998)

A high density small size RF test module for high throughput multiple resource testing. - Masayuki Kimishima; S. Mizuno; T. Seki; H. Takeuti; Haruki Nagami; Hideki Shirasu; Y. Haraguti; J. Okayasu; M. Nakanishi (ITC, 2010)