The SCEAS System
Navigation Menu

Search the dblp DataBase


Shin-ya Nishizaki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Shin-ya Nishizaki
    ML with First-Class Environments and its Type Inference Algorithm. [Citation Graph (0, 0)][DBLP]
    Logic, Language and Computation, 1994, pp:95-116 [Conf]
  2. Etsuya Shibayama, Shigeki Hagihara, Naoki Kobayashi, Shin-ya Nishizaki, Kenjiro Taura, Takuo Watanabe
    AnZenMail: A Secure and Certified E-mail System. [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:201-216 [Conf]
  3. Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda
    A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:25-44 [Conf]
  4. Shin-ya Nishizaki
    Programs with Continuations and Linear Logic. [Citation Graph (0, 0)][DBLP]
    TACS, 1991, pp:513-531 [Conf]
  5. Mitsuharu Yamamoto, Shin-ya Nishizaki, Masami Hagiya, Yozo Toda
    Formalization of Planar Graphs. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:369-384 [Conf]
  6. Mitsuharu Yamamoto, Koichi Takahashi, Masami Hagiya, Shin-ya Nishizaki, Tetsuo Tamai
    Formalization of Graph Search Algorithms and Its Applications. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1998, pp:479-496 [Conf]
  7. Shin-ya Nishizaki
    A Polymorphic Environment Calculus and its Type-Inference Algorithm. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2000, v:13, n:3, pp:239-278 [Journal]
  8. Shin-ya Nishizaki
    Programs with Continuations and Linear Logic. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1993, v:21, n:2, pp:165-190 [Journal]

  9. Formalization of Broadcast Communication in Process Calculus and Its Model Checking. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.002secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002