論文誌
[1] Kenji Ishida, Yoshiaki Kakuda, Masahide Nakamura, Tohru Kikuno, and Kitsutaro Amano, "A Protocol Synthesis Method for Fault-Tolerant Multipath Routing," Information and Software Technology, volume 41, number 11, pages 745--754 September 1999.
[2] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "On Constructing Communication Protocols from Component-Based Service Specifications," Journal of Computer Communications, volume 19, number 14, pages 1200--1215 December 1996.
[3] Yoshiaki Kakuda, Masahide Nakamura, and Tohru Kikuno, "Automated Synthesis of Protocol Specifications from Service Specifications with Parallelly Executable Multiple Primitives," IEICE Trans. Fundamentals, volume E77-A, number 10, pages 1634--1645 October 1994.
[4] Yoshiaki Kakuda, Yoshihiro Takada, and Tohru Kikuno, "On the Complexity of Protocol Validation Problems for Protocols with Bounded Capacity Channels," IEICE Transactions on Fundamentals, volume E77-A, number 4, pages 658--667 April 1994.
国際会議
[1] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Feature Interaction Detection Using Permutation Symmetry," In Proc. of Fifth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'98), pages 187--201 September 1998.
[2] Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A Synthesis Method for Fault-Tolerant and Flexible Multipath Routing Protocols," In Proc. of Int'l Conf. on Engineering of Complex Computer Systems (ICECCS'97), pages 96--105 September 1997.
[3] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Petri Net Based Detection Method for Non-Deterministic Feature Interactions and Its Experimental Evaluation," In Proc. of Fourth Int'l. Workshop on Feature Interactions in Telecommunication Networks and Distributed Systems (FIW'97), pages 138--152 June 1997.
[4] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri Net Model," In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'97), pages 1253--1260 April 1997.
[5] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "An Integration-Oriented Approach to Designing Communication Protocols from Component-Based Service Specifications," In Proc. of Int'l. Conf. on Computer Communication (INFOCOM'96), pages 1157--1164 March 1996.
[6] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Protocol Synthesis from Acyclic Formed Service Specifications," In Proc. of Int'l. Conf. on Information Networking (ICOIN'94), pages 177--182 December 1994.
研究会・全国大会等
[1] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A New Method Using Permutation Symmetry for Feature Interaction Detection and Its Experimental Evaluation," In 信学技法, volume CST98-2, page 38611 May 1998.
[2] 中村匡秀, 角田良明, 菊野亨, "二次記憶を利用したサービス仕様検証支援," 電子情報通信学会1997年ソサイエティ大会, volume D, number 3, page 3 1997年9月.
[3] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "Detection Algorithm for Non-Deterministic Feature Interactions Using Petri-Net," In 信学技報, volume SS96-57, page 38611 March 1997.
[4] Yutaka Hatanaka, Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "A Synthesis Method for Fault-Tolerant Multipath Routing Protocols in Connectionless Networks," In 信学技報, volume SSE96-93, pages 109--114 September 1996.
[5] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "An Analysis Method of Non-Determinism in Telecommunication Service Specifications Using a High Level Petri-Net Model," In 信学技報, volume IN96-33, pages 13--20 July 1996.
[6] Masahide Nakamura, Yoshiaki Kakuda, and Tohru Kikuno, "通信サービス仕様解析のための高レベルペトリネットモデル," In 信学技報, volume SSE95-152, pages 217--224 March 1996.
[7] 角田良明, 中村匡秀, "通信ソフトウェアの統合化〼モデル, 手法, ツールの有機的連携〼," 第2回通信ソフトウェア研究会, 1995年9月.
[8] 中村匡秀, 角田良明, 菊野亨, "部品に基づいたサービス仕様からのプロトコル合成," 第5回通信ソフトウェア工学研究会, 1994年12月.
[9] 中村匡秀, 角田良明, 菊野亨, "複数のプリミティブが並列実行可能なサービス仕様からのプロトコル仕様の自動合成," 信学技報, volume SSE94-37, pages 85--90 1994年4月.