Koichi Shinozaki

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
An ohmic contact type RF-MEMS switch having Au-Au/CNTs contacts.
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.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2009
Model checking education for software engineers in Japan.
ACM SIGCSE Bull., 2009


  Loading...