Shinzo Kodama

51 papers and 654 indexed citations i.

About

Shinzo Kodama has authored 51 papers that have received a total of 654 indexed citations. This includes 22 papers in Control and Systems Engineering, 22 papers in Computational Theory and Mathematics and 12 papers in Computer Networks and Communications. The topics of these papers are Petri Nets in System Modeling (14 papers), Formal Methods in Verification (13 papers) and Stability and Control of Uncertain Systems (9 papers). Shinzo Kodama is often cited by papers focused on Petri Nets in System Modeling (14 papers), Formal Methods in Verification (13 papers) and Stability and Control of Uncertain Systems (9 papers) and collaborates with scholars based in Japan, United States and Canada. Shinzo Kodama's co-authors include Hajime Maeda, H. Maeda, Toshimitsu Ushio, Masao Ikeda and Yoshito Ohta and has published in prestigious journals such as IEEE Transactions on Automatic Control, IEEE Transactions on Biomedical Engineering and Japanese Journal of Applied Physics

In The Last Decade

Rankless by CCL
2025