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

発行番号	IS-RR-2013-001
論文タイトル	Well-Structured Pushdown Systems, Part 1:Decidable Classes for Coverability
著者	Cai, Xiaojuan / Ogawa, Mizuhito
発行年月日	20130108
ページ	Page: 1-19

発行番号	IS-RR-2013-002
論文タイトル	Using Shallow Semantic Parsing and Relation Extraction for Finding Contradiction in Text
著者	Pham, Minh Quang Nhat / Nguyen, Minh Le / Shimazu, Akira
発行年月日	20130118
ページ	Page:1-10

発行番号	IS-RR-2013-003
論文タイトル	Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems
著者	Pham, Thanh-Trung / Defago, Xavier
発行年月日	20130125
ページ	Page:1-12

発行番号	IS-RR-2013-003
論文タイトル	raSAT: SMT for Polynomial Inequality
著者	To, Van Khanh / Ogawa, Mizuhito
発行年月日	20130527
ページ	Page:1-23

発行番号	IS-RR-2013-004
論文タイトル	Nested Timed Automata
著者	Li, Guoqiang / Cai, Xiaojuan / Ogawa, Mizuhito / Yuen, Shoji
発行年月日	20130611
ページ	Page:1-20

発行番号	IS-RR-2013-005
論文タイトル	Well-Structured Pushdown System, Part 2 : On Reachability of Dense Timed Pushdown Automata
著者	Ogawa, Mizuhito / Cai, Xiaojuan
発行年月日	20130819
ページ	Page:1-18

発行番号	IS-RR-2013-006
論文タイトル	Generate & Check Methods for Invariant Verification in CafeOBJ
著者	Futatsugi, Kokichi
発行年月日	20131127
ページ	Page:1-31