Reiji Nakajima

	2005
12		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

Coauthor Index

1	Koichi Furukawa	[4] [10]
2	Jacques Garrigue	[12]
3	Eiichi Goto	[10]
4	Tatsuya Hagino	[8]
5	Yoshio Hayashi	[12]
6	Michio Honda	[2] [5] [8]
7	Makoto Kakuta	[12]
8	Akihiko Koga	[8]
9	Keiji Kojima	[3]
10	Hayao Nakahara	[2]
11	Ikuo Nakata	[10]
12	Etsuya Shibayama	[8]
13	Yutaka Tamagaki	[12]
14	Shoji Urashita	[12]
15	Masahiro Watanabe	[12]
16	Akinori Yonezawa	[4] [10]
17	Nobuaki Yoshida	[12]
18	Taiichi Yuasa	[3] [7] [8] [9] [11]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page