Ritsuya Ikeda

Publication Activity (10 Years)

Years Active: 2003-2009
Publications (10 Years): 0

Publications

Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki
Formalization of Broadcast Communication in Process Calculus and Its Model Checking. ICSOFT (1) (2009)
Hironobu Satoh, Fumiaki Takeda, Yoshihiro Saeki, Ritsuya Ikeda, Yoshiaki Shiraishi
Proposal of awakening behavior detection system using neural network. Computational Intelligence (2006)
Daigo Tomioka, Shin-ya Nishizaki, Ritsuya Ikeda
A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack. ISSS (2003)