国際会議
[1] Passakorn Phannachitta, Jacky Keung, Akito Monden, and Kenichi Matsumoto, "Scaling Up Analogy-Based Software Effort Estimation: a Comparison of Multiple Hadoop Implementation Schemes," In Companion Proceedings of the 22nd ACM SIGSOFT International Symposium on Fundations of Software Engineering (FSE2014), Workshop on Innovative Software Development Methodologies and Practicies, pages 65-72 November 2014.
[2] Lydie du Bousquet, Masahide Nakamura, Ben Yan, and Hiroshi Igaki, "Using Formal Methods to Increase Confidence in a Home Network System Implementation, Case Study," In 2007 ISoLA Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2007), pages 203-214 December 2007.
[3] Hideo Masuda, Michio Nakanishi, Masahide Nakamura, and Mio Suzuki, "Implementation and Evaluation of Authorized Access Lan Sockets Using Pppoe," In Int'l Symposium on Application and the Internet (SAINT2002), pages 20--23 March 2002.
[4] Hideo Masuda, Masahide Nakamura, Akinori Saitoh, Koichi Kondo, Tomonori Kawazoe, and Michio Nakanishi, "Requirements and Implementation of Printing Subsystem in Educational Computer System," In Pan-Yellow-Sea International Workshop on Information Technologies for Network Era (PYIWIT'02), pages 251--256 March 2002.