JAIST Research Report (School of Information Science) published in 2013; listed in chronological order.
Full article is stored in the shelves near the Doctoral Dissertations in the 3rd floor.

Publication #	IS-RR-2013-001
Title	Well-Structured Pushdown Systems, Part 1:Decidable Classes for Coverability
Author(s)	Cai, Xiaojuan / Ogawa, Mizuhito
Date Published	20130108
Pages	1-19

Publication #	IS-RR-2013-002
Title	Using Shallow Semantic Parsing and Relation Extraction for Finding Contradiction in Text
Author(s)	Pham, Minh Quang Nhat / Nguyen, Minh Le / Shimazu, Akira
Date Published	20130118
Pages	Page:1-10

Publication #	IS-RR-2013-003
Title	Modeling and Analyzing the Impact of Software Fault Tolerance Techniques on the Reliability of Component-based Systems
Author(s)	Pham, Thanh-Trung / Defago, Xavier
Date Published	20130125
Pages	Page:1-12

Publication #	IS-RR-2013-003
Title	raSAT: SMT for Polynomial Inequality
Author(s)	To, Van Khanh / Ogawa, Mizuhito
Date Published	20130527
Pages	Page:1-23

Publication #	IS-RR-2013-004
Title	Nested Timed Automata
Author(s)	Li, Guoqiang / Cai, Xiaojuan / Ogawa, Mizuhito / Yuen, Shoji
Date Published	20130611
Pages	Page:1-20

Publication #	IS-RR-2013-005
Title	Well-Structured Pushdown System, Part 2 : On Reachability of Dense Timed Pushdown Automata
Author(s)	Ogawa, Mizuhito / Cai, Xiaojuan
Date Published	20130819
Pages	Page:1-18

Publication #	IS-RR-2013-006
Title	Generate & Check Methods for Invariant Verification in CafeOBJ
Author(s)	Futatsugi, Kokichi
Date Published	20131127
Pages	Page:1-31