Login / Signup
Mikhail Lebedev
ORCID
Publication Activity (10 Years)
Years Active: 2011-2024
Publications (10 Years): 4
Top Topics
Automated Verification
Genomic Data
Hardware Designs
Timed Automata
Top Venues
EWDTS
NER
Frontiers Big Data
DATE
</>
Publications
</>