3 | | (工事中) |
| 3 | マーティ・ニコラ:: |
| 4 | '''Verification of the Heap Manager of an Operating System using Separation Logic'''[[br]] |
| 5 | ''日本ソフトウェア科学会 高橋奨励賞, 2005年'' |
| 6 | |
| 7 | 斎藤勲, 藤木直人, 冨士仁, Eric Chen, 柏大, 大西真樹:: |
| 8 | '''DDos攻撃からネットを守る!MovingFirewall.'''[[br]] |
| 9 | ''2004年日経BP技術賞'' |
| 10 | |
| 11 | 橋本政朋, 米澤明憲:: |
| 12 | '''移動計算のためのプログラミング言語MobileML'''[[br]] |
| 13 | ''日本ソフトウェア科学会 第7回論文賞 コンピュータソフトウェア vol. 18 no. 2 pp. 2-19'' |
| 14 | |
| 15 | 大岩 寛:: |
| 16 | '''安全性を保証するANSI-C実行系の実装手法'''[[br]] |
| 17 | ''日本ソフトウェア科学会 高橋奨励賞, 2001年'' |
| 18 | |
| 19 | 大山恵弘, 田浦健次郎, 米澤明憲:: |
| 20 | '''排他的なメソッドの並行な呼び出しを融合する機構を持つ言語'''[[br]] |
| 21 | ''情報処理学会 平成13年度論文賞 情報処理学会論文誌 vol. 42 no. SIG2'' |
| 22 | |
| 23 | 住井英二郎, Benjamin C. Pierce:: |
| 24 | '''The Cryptographic λ-Calculus: Syntax, Semantics, Type System and Logical Relations'''[[br]] |
| 25 | ''日本ソフトウェア科学会 第3回プログラミングおよびプログラミング言語ワークショップ(PPL2001) PPL論文賞'' |
| 26 | |
| 27 | Takahiro Sakamoto, Tatsurou Sekiguchi, Akinori Yonezawa:: |
| 28 | '''Bytecode Transformation for Portable Thread Migration in Java'''[[br]] |
| 29 | ''Best Student Paper Award, Proceedings of the Second International Symposium on Agent Systems and |
| 30 | Applications and Fourth International Symposium on Mobile Agents (ASA/MA2000) pp. 16-28, September 2000'' |
| 31 | |
| 32 | 増原英彦, 松岡聡, 米澤明憲:: |
| 33 | '''並列自己反映言語システムの部分計算によるコンパイル技法'''[[br]] |
| 34 | ''情報処理学会 平成8年度論文賞 論文誌 vol. 37 no. 7 pp. 1290-1298, 1996/7'' |
| 35 | |
| 36 | Shin Takahashi, Ken Miyashita, Satoshi Matsuoka, Akinori Yonezawa:: |
| 37 | '''A Framework for Constructing Animations via Declarative Mapping Rules'''[[br]] |
| 38 | ''Best Paper Award, Proceedings of IEEE Symposium on Visual Languages pp. 314-322, October 1994'' |
| 39 | |
| 40 | 米澤明憲, 柴山悦哉:: |
| 41 | '''「モデルと表現」, 岩波書店, 1992年, 315頁'''[[br]] |
| 42 | ''大川情報通信財団出版賞'' |
| 43 | |
| 44 | 米澤明憲:: |
| 45 | '''Specifying Software Systems with High Internal Concurrency Based on Actor Formalism'''[[br]] |
| 46 | ''情報処理学会 昭和55年度論文賞 英文論文誌 vol. 2 no. 4 pp. 208-218'' |