A. Bystrov

39 papers and 253 indexed citations i.

A. Bystrov has authored 39 papers that have received a total of 253 indexed citations. This includes 24 papers in Electrical and Electronic Engineering, 22 papers in Hardware and Architecture and 12 papers in Computational Theory and Mathematics. The topics of these papers are Formal Methods in Verification (11 papers), VLSI and Analog Circuit Testing (8 papers) and Low-power high-performance VLSI design (8 papers). A. Bystrov is often cited by papers focused on Formal Methods in Verification (11 papers), VLSI and Analog Circuit Testing (8 papers) and Low-power high-performance VLSI design (8 papers) and collaborates with scholars based in United Kingdom, Russia and Australia. A. Bystrov's co-authors include Alex Yakovlev, Danil Sokolov, Victor Khomenko, Delong Shang and D.J. Kinniment and has published in prestigious journals such as Icarus, IEEE Journal of Solid-State Circuits and IEEE Transactions on Computers