修士論文

1991年度

• 岡村 英明、「柔軟な分散システムの構築法に関する研究 -リフレクション機能を持つプログラミングシステム AL-1/D-」
• 小田嶋 勝也、「グループエディタに関する研究」
• 加瀬 直樹、「分散問題解決のためのブラックボードシステムの研究」
• 塩野崎 敦、"A Real-Time Network Protocol for Distributed Systems"
• 篠崎 郁雄、「アプリケーションとネットワークの性質を考慮した動的なネットワークプロトコルに関する研究」
• 末吉 隆彦、「マルチエージェント・システムにおける知識の統合に関する研究」
• 杉江 健司、「状況依存エージェントの行為と学習に関する研究」
• 高汐 一紀、「分散型リアルタイムシステム記述のためのオブジェクト指向言語に関する研究」
• 広津 登志夫、「オブジェクトの分散と共有に関する研究」
• 藤川 義文、「マルチステージネットワークを用いた並列計算機に関する研究」
• 本田 耕平、"A Calculus of Asdynchronously Communicating Systems"
• Vasco Vasconcelos、"Trace semantics for concurrent objects"

1992年度

• 筧 るみ子、「不完全な知識に基づいた協調可能性に関する研究」
• 久保 誠、"A Study of Cost Theories for Concurrent Computation"
• 佐藤 一郎、「時間的概念をもつ並行プロセスのための形式系」
• 副島 彰人、「柔軟な行動選択が可能な大規模自律システムの構築法に関する研究」
• 那須 正明、「遺伝的アルゴリズムに関する研究」
• 村田 賢一、「オブジェクト指向オペレーティングシステムApertos上でのネットワークシステムの設計と実装」
• 吉川 創、「オブジェクト指向データベースの記憶構造に関する研究」
• 渡辺 隆一、「ハイパーテキストにおける問い合わせおよび視点に関する研究」

1993年度

• 岩井 三剛、「開放型分散環境における資源の名前付けと発見に関する研究
• 嶋田 貴夫、「分散環境におけるオブジェクトの自己制御的実行に関する研究」
• 竹内 格、「通信を基礎としたプログラミング言語とその型システムに関する研究」
• 内藤 剛人、「表情を含む多モード対話システムに関する研究」
• 藤井 寛子、「マルチバージョンを用いた共有オブジェクトの並行制御方式に関する研究」
• 細川 達己、 「非同期メッセージ通信を基本としたオペレーティングシステム NGCS/386 の設計と実装」
• 松林 慶、 「マルチエージェント・システムにおけるプラン実行の相互委託機構に関する研究」
• 森山 光一、「オブジェクト指向オペレーティングシステムにおけるプログラミング言語の構築法に関する研究」
• 吉田 展子 、"A Study of Reduction Based Process Semantics for Concurrency"

1994年度

• 伊藤 純一郎、 「動的に交換が可能なデバイスドライバ構築法に関する研究」
• 伊東 紀子、 「適応エージェントに関する研究」
• 小杉 尚子、 「ダイナミック・リアルタイム・システムのための 柔軟なスケジューリング・アルゴリズムに関する研究」
• 須藤 光昭、 「連続メディアファイルシステムに関する研究」
• 副島 清司、 「分散遺伝的アルゴリズムに関する研究」
• 村田 誠二、 「実時間マルチキャストプロトコルに関する研究」
• 森津 俊之、 「メタレベルの記述が可能なオブジェクト指向言語の最適化コンパイラに関する研究」

1995年度

• 内海秀介, 「TCP on ATM : ATMに適した通信プロトコル に関する研究」
• 木曽隆, 「移動ホストを含む分散システムにおける トランザクション処理プロトコル」
• 佐々木貴宏, 「エージェントの進化における学習の効果と 遺伝機構に関する研究」
• 指野篤司, 「名前通信プロセス計算のための 形式的抽象機械に関する研究」
• 樋口泰介, 「自己反映並行オブジェクト指向言語の 動的コンパイル機構を用いた実現」
• 福田健介, 「通信ネットワークにおける 自己相似トラフィックに関する研究」