A. Bystrov

39 papers and 255 indexed citations i.

A. Bystrov has authored 39 papers that have received a total of 255 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), Low-power high-performance VLSI design (8 papers) and Embedded Systems Design Techniques (8 papers). A. Bystrov is often cited by papers focused on Formal Methods in Verification (11 papers), Low-power high-performance VLSI design (8 papers) and Embedded Systems Design Techniques (8 papers) and collaborates with scholars based in United Kingdom, Russia and Australia. A. Bystrov's co-authors include Alex Yakovlev, Frank Burns, Danil Sokolov, Maciej Koutny and A.E.A. Almaini and has published in prestigious journals such as Icarus, IEEE Journal of Solid-State Circuits and IEEE Transactions on Computers.