Toshimitsu Ushio

196 papers and 1.4k indexed citations i.

About

Toshimitsu Ushio has authored 196 papers that have received a total of 1.4k indexed citations. This includes 98 papers in Computer Networks and Communications, 96 papers in Computational Theory and Mathematics and 47 papers in Statistical and Nonlinear Physics. The topics of these papers are Petri Nets in System Modeling (74 papers), Formal Methods in Verification (67 papers) and Distributed systems and fault tolerance (44 papers). Toshimitsu Ushio is often cited by papers focused on Petri Nets in System Modeling (74 papers), Formal Methods in Verification (67 papers) and Distributed systems and fault tolerance (44 papers) and collaborates with scholars based in Japan, United States and China. Toshimitsu Ushio's co-authors include Shigemasa Takai, Shigeru Yamamoto, Takafumi Kanazawa, Kazumasa HIRAI and Shinzo Kodama and has published in prestigious journals such as IEEE Transactions on Automatic Control, Automatica and Journal of Theoretical Biology

In The Last Decade

Rankless by CCL
2025