The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Reiji Nakajima: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Reiji Nakajima, Michio Honda, Hayao Nakahara
    Hierarchical Program Specification and Verification - a Many-sorted Logical Approach. [Citation Graph (1, 0)][DBLP]
    Acta Inf., 1980, v:14, n:, pp:135-155 [Journal]
  2. Reiji Nakajima, Taiichi Yuasa, Keiji Kojima
    The iota-Programming System - A Support System for Hieratchical and Modular Programming. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:299-304 [Conf]
  3. Tatsuya Hagino, Michio Honda, Akihiko Koga, Reiji Nakajima, Etsuya Shibayama, Taiichi Yuasa
    KWIC Example. [Citation Graph (0, 0)][DBLP]
    The IOTA Programming System, 1983, pp:114-175 [Conf]
  4. Michio Honda, Reiji Nakajima
    Strategies and Techniques for Interactive Proof. [Citation Graph (0, 0)][DBLP]
    The IOTA Programming System, 1983, pp:48-60 [Conf]
  5. Reiji Nakajima
    Language, Logical Foundation, Verification. [Citation Graph (0, 0)][DBLP]
    The IOTA Programming System, 1983, pp:4-29 [Conf]
  6. Taiichi Yuasa, Reiji Nakajima
    System Supports for Modular Programming. [Citation Graph (0, 0)][DBLP]
    The IOTA Programming System, 1983, pp:30-47 [Conf]
  7. Reiji Nakajima
    Infinite normal forms for the lambda - calculus. [Citation Graph (0, 0)][DBLP]
    Lambda-Calculus and Computer Science Theory, 1975, pp:62-82 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    SAINT, 2005, pp:296-303 [Conf]
  9. Koichi Furukawa, Reiji Nakajima, Akinori Yonezawa
    Modularization and Abstraction in Logic Programming. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1983, v:1, n:2, pp:169-177 [Journal]
  10. Taiichi Yuasa, Reiji Nakajima
    IOTA: A Modular Programming System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1985, v:11, n:2, pp:179-187 [Journal]

Search in 0.038secs, Finished in 0.040secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002