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

発行番号	IS-RR-2008-001
論文タイトル	Lambdoid emergence
著者	Vestergaard, Rene/Senachak, Jittisak/Vestergaard, Mun'delanji
発行年月日	20080214
ページ	Page: 1-18

発行番号	IS-RR-2008-002
論文タイトル	Authentication revisited: flaw or not, the recursive authentication protocol
著者	Li, Guoqiang/Ogawa, Mizuhito
発行年月日	20080725
ページ	Page: 1-22

発行番号	IS-RR-2008-003
論文タイトル	Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
著者	Li, Xin/Ogawa, Mizuhito
発行年月日	20080904
ページ	Page: 1-10

発行番号	IS-RR-2008-004
論文タイトル	Fault-tolerant flocking in a k-bounded asynchronous system
著者	Souissi, Samia/Yang, Yan/Defago, Xavier
発行年月日	20080926
ページ	Page: 1-22

発行番号	IS-RR-2008-005
論文タイトル	カラードペトリネットによるワークフローシステムのモデル化と検証
著者	平石, 邦彦/山本, 豊
発行年月日	20081022
ページ	Page: 1-40