Danil Sokolov

49 papers and 313 indexed citations i.

Danil Sokolov has authored 49 papers that have received a total of 313 indexed citations. This includes 36 papers in Hardware and Architecture, 35 papers in Electrical and Electronic Engineering and 16 papers in Computational Theory and Mathematics. The topics of these papers are Low-power high-performance VLSI design (28 papers), Embedded Systems Design Techniques (24 papers) and Formal Methods in Verification (15 papers). Danil Sokolov is often cited by papers focused on Low-power high-performance VLSI design (28 papers), Embedded Systems Design Techniques (24 papers) and Formal Methods in Verification (15 papers) and collaborates with scholars based in United Kingdom, Spain and Australia. Danil Sokolov's co-authors include Alex Yakovlev, Andrey Mokhov, Victor Khomenko, Ahmed Soltan and Jordi Cortadella and has published in prestigious journals such as IEEE Transactions on Computers, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems and IEEE Transactions on Circuits and Systems I Regular Papers