Mikhail Lebedev

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 4

Top Topics

Automated Verification

Hardware Designs

Top Venues

Frontiers Big Data

Publications

Dmitry Kolobkov, Satyarth Mishra Sharma, Aleksandr Medvedev, Mikhail Lebedev, Egor Kosaretskiy, Ruslan Vakhitov
Efficacy of federated learning on genomic data: a study on the UK Biobank and the 1000 Genomes Project. Frontiers Big Data 7 (2024)
Alexander Kamkin, Mikhail M. Chupilko, Mikhail Lebedev, Sergey A. Smolov, Georgi Gaydadjiev
High-Level Synthesis versus Hardware Construction. DATE (2023)
Gurgen Soghoyan, Artur Biktimirov, Nikita Piliugin, Ilya Chekh, Yury Matvienko, Mikhail Sintsov, Mikhail Lebedev
The analysis of electroneurographic and electromyographic activity recorded in the medial nerve of a transhumeral amputee during phantom finger movements. NER (2023)
Alexander S. Kamkin, Mikhail Lebedev, Sergey A. Smolov
An EFSM-driven and model checking-based approach to functional test generation for hardware designs. EWDTS (2016)
Denis Savenkov, Pavel Braslavski, Mikhail Lebedev
Search Snippet Evaluation at Yandex: Lessons Learned and Future Directions. CLEF (2011)