| 2009 | ||
|---|---|---|
| 3 | Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki: Formalization of Broadcast Communication in Process Calculus and Its Model Checking. ICSOFT (1) 2009: 348-352 | |
| 2006 | ||
| 2 | Hironobu Satoh, Fumiaki Takeda, Yoshihiro Saeki, Ritsuya Ikeda, Yoshiaki Shiraishi: Proposal of awakening behavior detection system using neural network. Computational Intelligence 2006: 168-173 | |
| 2003 | ||
| 1 | Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda: A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. ISSS 2003: 25-44 | |
| 1 | Shin-ya Nishizaki | [1] [3] |
| 2 | Takuya Ohata | [3] |
| 3 | Yoshihiro Saeki | [2] |
| 4 | Hironobu Satoh | [2] |
| 5 | Yoshiaki Shiraishi | [2] |
| 6 | Fumiaki Takeda | [2] |
| 7 | Daigo Tomioka | [1] |