2014年に発行した本学情報科学研究科のリサーチレポートを発行順に掲載しています。
本文は，図書館３階“本学関係刊行物”エリアに配架してありますので，ご利用ください。

発行番号	IS-RR-2014-001
論文タイトル	Model Checking Conformance of Design Model to Its Formal Specification
著者	Vu, Dieu-Huong / Chiba, Yuki / Yatake, Kenro / Aoki, Toshiaki
発行年月日	20140418
ページ	1-18

発行番号	IS-RR-2014-002
論文タイトル	Analyzing the Impact of Mitigation Strategies on the Spread of a Virus
著者	Nguyen, Thanh Dang / Bonnet, Francois / Defago, Xavier
発行年月日	20140519
ページ	1-16, i-ii

発行番号	IS-RR-2014-003
論文タイトル	Pushdown Model Generation of Malware
著者	Nguyen, Minh Hai / Ogawa, Mizuhito / Quan, Thanh Tho
発行年月日	20140624
ページ	1-18

発行番号	IS-RR-2014-004
論文タイトル	Tight Bound on Mobile Byzantine Agreement
著者	Bonnet, Francois / Defago, Xavier / Nguyen, Thanh Dang / Potop-Butucaru, Maria
発行年月日	20140729
ページ	1-19

発行番号	IS-RR-2014-005
論文タイトル	Sufficient completeness of parameterized specifications in CafeOBJ
著者	Nakamura, Masaki / Gaina, Daniel / Ogata, Kazuhiro / Futatsugi, Kokichi
発行年月日	20141215
ページ	1-4