Search the dblp DataBase
Shin-ya Nishizaki :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] 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 ] Shin-ya Nishizaki Programs with Continuations and Linear Logic. [Citation Graph (0, 0)][DBLP ] TACS, 1991, pp:513-531 [Conf ] Mitsuharu Yamamoto , Shin-ya Nishizaki , Masami Hagiya , Yozo Toda Formalization of Planar Graphs. [Citation Graph (0, 0)][DBLP ] TPHOLs, 1995, pp:369-384 [Conf ] 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 ] 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 ] 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 ] Formalization of Broadcast Communication in Process Calculus and Its Model Checking. [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs