Kazuya Nakahori

According to our database, Kazuya Nakahori authored at least 4 papers between 2016 and 2018.

Collaborative distances:

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

2018

On analysis of substitutability for system resilience in IoT system based on PN².

Muhammad Syafiq Bin Ab Malek, Kazuya Nakahori, Mohd Anuaruddin Bin Ahmadon, Shingo Yamaguchi

Proceedings of the IEEE International Conference on Consumer Electronics, 2018

2017

A method to discover spots from Twitter for tour miner.

Kazuya Nakahori, Shingo Yamaguchi

Proceedings of the IEEE International Symposium on Consumer Electronics, 2017

A support tool to design IoT services with NuSMV.

Kazuya Nakahori, Shingo Yamaguchi

Proceedings of the IEEE International Conference on Consumer Electronics, 2017

2016

An analysis system of IoT services based on agent-oriented Petri net PN2.

Shingo Yamaguchi, Shoki Tsugawa, Kazuya Nakahori

Proceedings of the IEEE International Conference on Consumer Electronics-Taiwan, 2016