Tsutomu Sasao

94 papers and 699 indexed citations i.

Tsutomu Sasao has authored 94 papers that have received a total of 699 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.