Koichi Shinozaki

According to our database, Koichi Shinozaki authored at least 3 papers between 2009 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

An ohmic contact type RF-MEMS switch having Au-Au/CNTs contacts.

Tomoaki Kageyama, Koichi Shinozaki, Lan Zhang, Jian Lu, Hideki Takaki, Sang-Seok Lee

Proceedings of the 12th IEEE International Conference on Nano/Micro Engineered and Molecular Systems, 2017

2013

Building a Body of Knowledge on Model Checking for Software Development.

Kenji Taguchi, Hideaki Nishihara, Toshiaki Aoki, Fumihiro Kumeno, Koji Hayamizu, Koichi Shinozaki

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2009

Model checking education for software engineers in Japan.

Hideaki Nishihara, Koichi Shinozaki, Koji Hayamizu, Toshiaki Aoki, Kenji Taguchi, Fumihiro Kumeno

ACM SIGCSE Bull., 2009