Tsutomu Sasao
About
Tsutomu Sasao has authored 94 papers that have received a total of 694 indexed citations.
This includes 51 papers in Computational Theory and Mathematics, 47 papers in Hardware and Architecture and 37 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (30 papers), Network Packet Processing and Optimization (27 papers) and Algorithms and Data Compression (18 papers). Tsutomu Sasao is often cited by papers focused on Formal Methods in Verification (30 papers), Network Packet Processing and Optimization (27 papers) and Algorithms and Data Compression (18 papers) and collaborates with scholars based in Japan, United States and India. Tsutomu Sasao's co-authors include Shinobu Nagayama, Jon T. Butler, Hiroki Nakahara, Debatosh Debnath and Hafiz Md. Hasan Babu and has published in prestigious journals such as Japanese Journal of Applied Physics, IEEE Transactions on Computers and Journal of Computational and Applied Mathematics
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Jaeseok Choi are about Top authors papers by A Eyquem are co-authored with Top journals papers by Lai Gui are published in Top fields papers by Fucai Liu are about Top fields papers by A. JOŃCZYK are about Top fields papers by Samuel Kyei are about Top journals papers by Yang Cao are published in Top fields papers by Nádia Roque are about