Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Alexander Semenov
Map detail
Alexander Semenov13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAlexander SemenovAAlexander SemenovResearcherWho will stay? Using Deep Learning to predict engagement of citizen scientistsWWho will stay? Using De...preprint / 2022On the uniqueness of multi-breathers of the modified Korteweg-de Vries equationWOn the uniqueness of mu...preprint / 2022Orbital Stability Of A Sum Of Solitons And Breathers Of The Modified Korteweg-de Vries EquationWOrbital Stability Of A ...preprint / 2022Notes on relaxation of the resonant model using a scattering approachWNotes on relaxation of ...preprint / 2021Transport and thermodynamics in quantum junctions: A scattering approachWTransport and thermodyn...preprint / 2020Parallel algorithms for SAT in application to inversion problems of some discrete functionsWParallel algorithms for...preprint / 2011On estimating total time to solve SAT in distributed computing environments: Application to the SAT@home projectWOn estimating total tim...preprint / 2013Using Volunteer Computing for Mounting SAT-based Cryptographic AttacksWUsing Volunteer Computi...preprint / 2014Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problemWUsing Monte Carlo metho...preprint / 2015Using synchronous Boolean networks to model several phenomena of collective behaviorWUsing synchronous Boole...preprint / 2014Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SATWTransalg: a Tool for Tr...preprint / 2015Encoding Cryptographic Functions to SAT Using Transalg SystemWEncoding Cryptographic ...preprint / 2016
Person12 links

Alexander Semenov

Researcher