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

Publication #	IS-RR-2001-001
Title	ＪＡＩＳＴにおける計算科学的アプローチを用いた分子関連研究
Author(s)	佐藤, 賢二/楯, 真一/森川, 良忠/近江, 靖則/佐野, 陽之/林, 亮子/前, 一樹
Date Published	20010110
Pages	1-12

Publication #	IS-RR-2001-002
Title	INC-OPT:a high performance concurrency control for parallel B-tree structures
Author(s)	Miyazaki, Jun/Yokota, Haruo
Date Published	20010123
Pages	1-36

Publication #	IS-RR-2001-003
Title	Generlized concavity as a basis for optimization and decision analysis
Author(s)	Ramik, Jaroslsv/Vlach, Milan
Date Published	20010131
Pages	1-115

Publication #	IS-RR-2001-004
Title	不正なホストの盗み見からモバイルエージェントを保護するセキュリティ機構の提案と実装
Author(s)	村田, 真一
Date Published	20010321
Pages	1-67

Publication #	IS-RR-2001-005
Title	Rearrangeable nonblocking optical multistage swiching network under crosstalk-free constraint
Author(s)	Jiang, X. H/Khandker, Md. M. R/Horiguchi, S
Date Published	20010328
Pages	1-13

Publication #	IS-RR-2001-006
Title	魚の行動様式に基づいたＡＯＰによる魚群シミュレーションに関する研究
Author(s)	上村. 知也/堀口. 進
Date Published	20010329
Pages	1-20

Publication #	IS-RR-2001-007
Title	階層型相互結合網ＢＣＴ(de bruijn connected torus)のデッドロックフリー・ルーティング
Author(s)	茶谷. 賢一/堀口. 進
Date Published	20010329
Pages	1-30

Publication #	IS-RR-2001-008
Title	Inclusion relationship between pseudo-euclidean logics
Author(s)	Hashimoto, Y/Maruyama, A
Date Published	20010405
Pages	1-12

Publication #	IS-RR-2001-009
Title	Lemmon-scoott axioms for relenvant model logics
Author(s)	Seki, Takahiro
Date Published	20010419
Pages	1-23

Publication #	IS-RR-2001-010
Title	Temporal epistemic logics for multi-agent systems
Author(s)	Maruyama, Akio
Date Published	20010601
Pages	1-22

Publication #	IS-RR-2001-011
Title	The predicate extension of the minimum orthologic
Author(s)	Miyazaki, Yutaka
Date Published	20010604
Pages	1-25

Publication #	IS-RR-2001-012
Title	外的情報表現の内包論理/可能世界意味論モデル
Author(s)	桐谷, 理
Date Published	20010615
Pages	1-27

Publication #	IS-RR-2001-013
Title	On the proof of the interpolation theorem without using constants
Author(s)	Seki, Takahiro
Date Published	20010709
Pages	1-23

Publication #	IS-RR-2001-014
Title	Cooperative interaction in haptic shared virtual environment using energy conversation principles
Author(s)	Alhalabi, M. Osama/Horiguchi, Susumu
Date Published	20010713
Pages	1-9

Publication #	IS-RR-2001-015
Title	Human performance and sensation in haptic virtual environnment
Author(s)	Alhalabi, M. Osama/Horiguchi, Susumu
Date Published	20010725
Pages	1-13

Publication #	IS-RR-2001-016
Title	A scenario-based object-oriented modeling method with algebraic specification techniques
Author(s)	Nakajima,Shin/Futatugi, Kokichi
Date Published	20010731
Pages	1-41

Publication #	IS-RR-2001-017
Title	分散メモリ型ネットワークインタフェースの提案と評価
Author(s)	奥野. 弘之/井口. 寧/堀口. 進
Date Published	20010802
Pages	1-13

Publication #	IS-RR-2001-018
Title	A new network interface with distributed memory
Author(s)	Okuno, Hiroyuki/Inoguchi, Yasushi/Horiguchi, Susumu
Date Published	20010802
Pages	1-15

Publication #	IS-RR-2001-019
Title	Tele-handshake: cooperative shared haptic virtual environment
Author(s)	Alhalabi, M. Osama/Horiguchi, Susumu
Date Published	20010820
Pages	1-12

Publication #	IS-RR-2001-020
Title	Ｇ．Ｖ．Ａにおける架空名義入札の効用
Author(s)	面, 和成/東条, 敏/宮地, 充子
Date Published	20010820
Pages	1-22

Publication #	IS-RR-2001-021
Title	Xpe with theorem provers
Author(s)	毛利, 元彦
Date Published	20010828
Pages	1-33

Publication #	IS-RR-2001-022
Title	Magnetic experimental data analyzing program
Author(s)	Haque, S. A/Alhalabi, M. Osama/Hori, H/Horiguchi, S
Date Published	20010919
Pages	1-16

Publication #	IS-RR-2001-023
Title	Some topics on relevant model matrices
Author(s)	Seki, Takahiro
Date Published	20010920
Pages	1-27

Publication #	IS-RR-2001-024
Title	Crosstalk-free permutation in rearrangeable nonblocking optical MIN with vertical stacking
Author(s)	Jiang, X. H/Khandker, Md. M. R/Shen, H/Horiguchi, H
Date Published	20011130
Pages	1-16

Publication #	IS-RR-2001-025
Title	Constructing high availability network systems
Author(s)	Inoguchi, Yasushi/Shikida, Mikihumi/Tan, Yasuo/Matsuzawa, Teruo
Date Published	20011206
Pages	1-5

Publication #	IS-RR-2001-026
Title	Constructing high availability application servers
Author(s)	Inoguchi, Yasushi/Shikida, Mikihumi/Tan, Yasuo/Matsuzawa, Teruo
Date Published	20011206
Pages	1-9

Publication #	IS-RR-2001-027
Title	超並列計算機におけるハードウェア高速化によるシステム性能の評価
Author(s)	井口, 寧/黒川, 原佳/松澤, 照男
Date Published	20011212
Pages	1-13

Publication #	IS-RR-2001-028
Title	超並列システムの将来像と課題
Author(s)	井口, 寧
Date Published	20011213
Pages	1-53

Publication #	IS-RR-2001-029
Title	Non-archimedean additive utilities for discrete items
Author(s)	Ikeda, Kiyoshi
Date Published	20011214
Pages	1-33

Publication #	IS-RR-2001-030
Title	Linking the information sharing process to the business process in cooperative works
Author(s)	Kadowaki, Chie/Shikida, Mikifumi
Date Published	20011221
Pages	1-13

Publication #	IS-RR-2001-031
Title	Wavelet変換を用いた顔画像の特徴解析に関する研究　－JPEG2000システムにおける顔画像認識システムの基礎検討－
Author(s)	金森, 証/小谷, 一孔
Date Published	20011221
Pages	1-12