Graph explorer

Alexey Solovyev

Alexey Solovyev contributes to research discovery and scholarly infrastructure.

3 nodes2 linksoverview mapAlexey Solovyev
3 nodes2 links
Alexey Solovyev3 visible / 3 total nodes / 2 links
AuthorshipAuthorshipAAlexey SolovyevResearcherWFormal Verification of ...preprint / 2013WA formal proof of the K...preprint / 2015
PersonSignal 102 links

Alexey Solovyev

Researcher

Open