Ritsuya Ikeda

	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

Coauthor Index

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]

Colors in the list of coauthors