| 2005 |
|---|
| 12 | EE | Nobuaki Yoshida,
Yoshio Hayashi,
Yutaka Tamagaki,
Shoji Urashita,
Makoto Kakuta,
Masahiro Watanabe,
Jacques Garrigue,
Reiji Nakajima:
SOBA Framework: An Application Framework for Broadband Network Environment.
SAINT 2005: 296-303 |
| 1985 |
|---|
| 11 | | Taiichi Yuasa,
Reiji Nakajima:
IOTA: A Modular Programming System.
IEEE Trans. Software Eng. 11(2): 179-187 (1985) |
| 1983 |
|---|
| 10 | | Eiichi Goto,
Koichi Furukawa,
Reiji Nakajima,
Ikuo Nakata,
Akinori Yonezawa:
RIMS Symposium on Software Science and Engineering, Kyoto, Japan, 1982, Proceedings
Springer 1983 |
| 9 | | Reiji Nakajima,
Taiichi Yuasa:
The IOTA Programming System, A Modular Programming Environment
Springer 1983 |
| 8 | | Tatsuya Hagino,
Michio Honda,
Akihiko Koga,
Reiji Nakajima,
Etsuya Shibayama,
Taiichi Yuasa:
KWIC Example.
The IOTA Programming System 1983: 114-175 |
| 7 | | Taiichi Yuasa,
Reiji Nakajima:
System Supports for Modular Programming.
The IOTA Programming System 1983: 30-47 |
| 6 | | Reiji Nakajima:
Language, Logical Foundation, Verification.
The IOTA Programming System 1983: 4-29 |
| 5 | | Michio Honda,
Reiji Nakajima:
Strategies and Techniques for Interactive Proof.
The IOTA Programming System 1983: 48-60 |
| 4 | | Koichi Furukawa,
Reiji Nakajima,
Akinori Yonezawa:
Modularization and Abstraction in Logic Programming.
New Generation Comput. 1(2): 169-177 (1983) |
| 1980 |
|---|
| 3 | | Reiji Nakajima,
Taiichi Yuasa,
Keiji Kojima:
The iota-Programming System - A Support System for Hieratchical and Modular Programming.
IFIP Congress 1980: 299-304 |
| 2 | | Reiji Nakajima,
Michio Honda,
Hayao Nakahara:
Hierarchical Program Specification and Verification - a Many-sorted Logical Approach.
Acta Inf. 14: 135-155 (1980) |
| 1975 |
|---|
| 1 | | Reiji Nakajima:
Infinite normal forms for the lambda - calculus.
Lambda-Calculus and Computer Science Theory 1975: 62-82 |
