​
Login / Signup
Andrey Stankevich
ORCID
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 6
Top Topics
Social Network Services
Execution Traces
Text Content
Linear Time Temporal Logic
Top Venues
GECCO (Companion)
FRUCT
ETFA
TSD
</>
Publications
</>
Alexey M. Kashevnik
,
Eduard Glekler
,
Andrey Stankevich
,
Marina Stradina
,
Ekaterina Kucheruk
Intelligent Service for Hybrid Analysis of Continuous Mental Processes Based on EEG and Video Data.
FRUCT
(2023)
Daniil Chivilikhin
,
Igor Buzhinsky
,
Vladimir I. Ulyantsev
,
Andrey Stankevich
,
Anatoly Shalyto
,
Valeriy Vyatkin
Counterexample-guided inference of controller logic from execution traces and temporal formulas.
ETFA
(2018)
Artem Lobantsev
,
Aleksandra Vatian
,
Natalia V. Dobrenko
,
Andrey Stankevich
,
Anna Kaznacheeva
,
Vladimir Parfenov
,
Anatoly Shalyto
,
Natalia F. Gusarova
Specifics Analysis of Medical Communities in Social Network Services.
IDEAL (1)
(2018)
Polina Ovsiannikova
,
Daniil Chivilikhin
,
Vladimir Ulyantsev
,
Andrey Stankevich
,
Ilya Zakirzyanov
,
Valeriy Vyatkin
,
Anatoly Shalyto
Active Learning of Formal Plant Models For Cyber-Physical Systems.
INDIN
(2018)
Aleksandra Vatian
,
Natalia V. Dobrenko
,
Anastasia Makarenko
,
Niyaz Nigmatullin
,
Nikolay Vedernikov
,
Artem Vasilev
,
Andrey Stankevich
,
Natalia F. Gusarova
,
Anatoly Shalyto
Adaptation of Algorithms for Medical Information Retrieval for Working on Russian-Language Text Content.
TSD
(2018)
Niyaz Nigmatullin
,
Maxim Buzdalov
,
Andrey Stankevich
Efficient Removal of Points with Smallest Crowding Distance in Two-dimensional Incremental Non-dominated Sorting.
GECCO (Companion)
(2016)
Maxim Buzdalov
,
Ilya Yakupov
,
Andrey Stankevich
Fast Implementation of the Steady-State NSGA-II Algorithm for Two Dimensions Based on Incremental Non-Dominated Sorting.
GECCO
(2015)
Michael Livshitz
,
Alexey A. Petrovsky
,
Andrey Stankevich
,
Mikhail Kachinsky
,
Alexander Petrovsky
Universal Embedded Reconfigurable Hardware Platform for Multimedia Applications in Real-Time.
Int. J. Comput.
7 (3) (2008)