Ken-ichi Arai

	2007
4		Katsumi Wasaki, Toshiaki Harai, Tamotsu Hayashi, Ken-ichi Arai: Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net. DSD 2007: 257-260
3		Katsumi Wasaki, Ken-ichi Arai: A Case Study of Formal Verification for Multi-level Pipeline Logic Circuit by using Mizar Proof Checker. FCS 2007: 10-16
	2000
2		Ken-ichi Arai, Ryohei Nakano: Stable behavior in a recurrent neural network for a finite state machine. Neural Networks 13(6): 667-680 (2000)
	1996
1		Ken-ichi Arai, Ryohei Nakano: Annealed RNN Learning of Finite State Automata. ICANN 1996: 519-524

Coauthor Index

1	Toshiaki Harai	[4]
2	Tamotsu Hayashi	[4]
3	Ryohei Nakano	[1] [2]
4	Katsumi Wasaki	[3] [4]

Colors in the list of coauthors