Saburo Muroga

26 papers and 551 indexed citations i.

Saburo Muroga has authored 26 papers that have received a total of 551 indexed citations. This includes 12 papers in Electrical and Electronic Engineering, 12 papers in Computational Theory and Mathematics and 7 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (6 papers), VLSI and FPGA Design Techniques (4 papers) and Low-power high-performance VLSI design (4 papers). Saburo Muroga is often cited by papers focused on Formal Methods in Verification (6 papers), VLSI and FPGA Design Techniques (4 papers) and Low-power high-performance VLSI design (4 papers) and collaborates with scholars based in United States, Japan and South Korea. Saburo Muroga's co-authors include Toshihide Ibaraki, C.R. Baugh, Robert B. Cutler, Yumi Kambayashi and Yahiko Kambayashi and has published in prestigious journals such as IEEE Transactions on Information Theory, Mathematics of Computation and Operations Research