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 2015; 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) 2015 ： ISSN 0918-7553
| Publication # |
IS-RR-2015-001 |
| Title |
Formal Semantics of Core SQL Language based on the K Framework |
| Author(s) |
Sitthisak, Pakakorn |
| Date Published |
20150217 |
| Pages |
ii, 1-71 |
| Publication # |
IS-RR-2015-002 |
| Title |
Generic Proof Scores for Generate & Check Method in CafeOBJ |
| Author(s) |
Futatsugi, Kokichi |
| Date Published |
20150218 |
| Pages |
1-32 |
| Publication # |
IS-RR-2015-003 |
| Title |
Fault and Byzantine Tolerant Self-stabilizing Mobile Robots Gathering : A feasibility study |
| Author(s) |
Défago, Xavier / Potop-Butucaru, Maria Gradinariu / Clémente, Julien / Messika, Stéphane / Raipin-Parvédy, Philippe |
| Date Published |
20150220 |
| Pages |
1-24 |