Kyushu University Academic Staff Educational and Research Activities Database
List of Books
Keijiro Araki Last modified date:2017.06.27

Professor / Advanced Software Engineering / Department of Advanced Information Technology / Faculty of Information Science and Electrical Engineering


Books
1. Tatsuo Okada, Keijiro Araki and Hiroaki Nishino, TENCON2010 - 2010 IEEE Region 10 Conference, IEEE, 2010.11.
2. Zhiming Liu and Keijiro Araki, Theoretical Aspects of Computing, Springer-Verlag, 2004.09.
3. Keijiro Araki, Stefania Gnesi, Dino Mandrioli, FME 2003: Formal Methods, Springer-Verlag, 2003.09.
4. Keijiro Araki, Andy Galloway, Kenji Taguchi, IFM'99 - Proceedings of the 1st International Conference on Integrated Formal Methods, Springer -Verlag, 1999.06.
5. Constantine Polychronopoulos, Kazuki Joe, Keijiro Araki, Makoto Amamiya, High Performance Computing, Springer-Verlag, Lecture Notes in Computer Science, Vol.1336, 1997.11.
6. Eiichi Goto, Keijiro Araki, Taiichi Yuasa, RIMS Symposia on Software Science and Engineering II, Spriner-Verlag, 1986.01.