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