Tohru Moto-Oka

17 papers and 286 indexed citations i.

Tohru Moto-Oka has authored 17 papers that have received a total of 286 indexed citations. This includes 8 papers in Artificial Intelligence, 7 papers in Computer Networks and Communications and 4 papers in Computational Theory and Mathematics. The topics of these papers are Distributed and Parallel Computing Systems (5 papers), Formal Methods in Verification (4 papers) and Logic, programming, and type systems (4 papers). Tohru Moto-Oka is often cited by papers focused on Distributed and Parallel Computing Systems (5 papers), Formal Methods in Verification (4 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in Japan. Tohru Moto-Oka's co-authors include Hidehiko Tanaka, Masaru Kitsuregawa, Masahiro Fujita, Kenji Nakagawa and H. Ishida and has published in prestigious journals such as IEEE Transactions on Computers, Future Generation Computer Systems and ACM SIGMOD Record