Kazuhiro Ogata
About
Kazuhiro Ogata has authored 77 papers that have received a total of 627 indexed citations.
This includes 45 papers in Computational Theory and Mathematics, 39 papers in Artificial Intelligence and 22 papers in Software. The topics of these papers are Formal Methods in Verification (42 papers), Logic, programming, and type systems (20 papers) and Software Testing and Debugging Techniques (16 papers). Kazuhiro Ogata is often cited by papers focused on Formal Methods in Verification (42 papers), Logic, programming, and type systems (20 papers) and Software Testing and Debugging Techniques (16 papers) and collaborates with scholars based in Japan, Spain and China. Kazuhiro Ogata's co-authors include Kokichi Futatsugi, Yoshiki Tani, Masaki Nakamura, Y. Izumi and Adrián Riesco and has published in prestigious journals such as Cell, Applied and Environmental Microbiology and Biochemical and Biophysical Research Communications
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Qijun Zhao are published in Top journals papers by Ligia Orellana are published in Top authors papers by Zhongren Sun are co-authored with Top journals papers by Xiaomin Tang are published in Top fields papers by Danoob Dalili are about Top authors papers by Kuan Li are co-authored with Top journals papers by Anil Kumar Gupta are published in