Michael Kishinevsky

73 papers and 963 indexed citations i.

Michael Kishinevsky has authored 73 papers that have received a total of 963 indexed citations. This includes 53 papers in Hardware and Architecture, 37 papers in Electrical and Electronic Engineering and 31 papers in Computational Theory and Mathematics. The topics of these papers are Embedded Systems Design Techniques (32 papers), Formal Methods in Verification (28 papers) and Low-power high-performance VLSI design (21 papers). Michael Kishinevsky is often cited by papers focused on Embedded Systems Design Techniques (32 papers), Formal Methods in Verification (28 papers) and Low-power high-performance VLSI design (21 papers) and collaborates with scholars based in United States, Spain and Japan. Michael Kishinevsky's co-authors include Jordi Cortadella, A. Kondratyev, Alex Yakovlev, Luciano Lavagno and Alexander Taubin and has published in prestigious journals such as Proceedings of the IEEE, IEEE Transactions on Computers and The International Journal of Advanced Manufacturing Technology.