HOME＞
List＞Title List of Research Report (School of Information Science)
Title List of Research Report (School of Information Science)
JAIST Research Report (School of Information Science) published in 2008;
listed in chronological order.
Full article is stored in the shelves near the Doctoral
Dissertations in the 3rd floor.
Research Report (School of Information Science) 2008 ： ISSN 0918-7553
| Publication # |
IS-RR-2008-001 |
| Title |
Lambdoid emergence |
| Author(s) |
Vestergaard, Rene/Senachak, Jittisak/Vestergaard, Mun'delanji |
| Date Published |
20080214 |
| Pages |
1-18 |
| Publication # |
IS-RR-2008-002 |
| Title |
Authentication revisited: flaw or not, the recursive authentication protocol |
| Author(s) |
Li, Guoqiang/Ogawa, Mizuhito |
| Date Published |
20080725 |
| Pages |
1-22 |
| Publication # |
IS-RR-2008-003 |
| Title |
Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking |
| Author(s) |
Li, Xin/Ogawa, Mizuhito |
| Date Published |
20080904 |
| Pages |
1-10 |
| Publication # |
IS-RR-2008-004 |
| Title |
Fault-tolerant flocking in a k-bounded asynchronous system |
| Author(s) |
Souissi, Samia/Yang, Yan/Defago, Xavier |
| Date Published |
20080926 |
| Pages |
1-22 |
| Publication # |
IS-RR-2008-005 |
| Title |
カラードペトリネットによるワークフローシステムのモデル化と検証 |
| Author(s) |
平石, 邦彦/山本, 豊 |
| Date Published |
20081022 |
| Pages |
1-40 |