Norihisa Suzuki

13 papers and 123 indexed citations i.

Norihisa Suzuki has authored 13 papers that have received a total of 123 indexed citations. This includes 6 papers in Artificial Intelligence, 6 papers in Computational Theory and Mathematics and 5 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (6 papers), Logic, programming, and type systems (6 papers) and Parallel Computing and Optimization Techniques (4 papers). Norihisa Suzuki is often cited by papers focused on Formal Methods in Verification (6 papers), Logic, programming, and type systems (6 papers) and Parallel Computing and Optimization Techniques (4 papers) and collaborates with scholars based in United States, Japan and Hong Kong. Norihisa Suzuki's co-authors include D Luckham, Yoshimi Kurimura, Kaoru Fujimoto, Taiseki Kunugi and Yuji Togami and has published in prestigious journals such as Communications of the ACM, Japanese Journal of Applied Physics and Journal of the ACM