Shinobu Nagayama
About
Shinobu Nagayama has authored 40 papers that have received a total of 224 indexed citations.
This includes 31 papers in Computational Theory and Mathematics, 16 papers in Hardware and Architecture and 13 papers in Software. The topics of these papers are Formal Methods in Verification (21 papers), Numerical Methods and Algorithms (15 papers) and Software Reliability and Analysis Research (11 papers). Shinobu Nagayama is often cited by papers focused on Formal Methods in Verification (21 papers), Numerical Methods and Algorithms (15 papers) and Software Reliability and Analysis Research (11 papers) and collaborates with scholars based in Japan, United States and The Netherlands. Shinobu Nagayama's co-authors include Jon T. Butler, T. Sasao, Tsutomu Sasao, Shin’ichi Wakabayashi and Mitchell A. Thornton and has published in prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and IEICE Transactions on Information and Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Shuai Huang are published in Top fields papers by John P. McKay are about Top fields papers by Mustafa Emiroğlu are about Top fields papers by Nahin Hussain are about Top countries impacted by papers by Fouad M. AL‐Sunni Top fields papers by M. Z. Ramli are about Top fields papers by Mohammed Hariri Bakri are about Top countries impacted by papers by Stefaan Van Huylenbroeck