Login / Signup
Vladimir Zakharov
Publication Activity (10 Years)
Years Active: 2009-2022
Publications (10 Years): 6
Top Topics
Climate Change
Predator Prey
Timed Automata
Reactive Systems
Top Venues
Symmetry
UNIF@RTA/TLCA
CS&P
RCDL
</>
Publications
</>
Vladimir Zakharov
,
Ilya Trofimov
Developmental Noise and Biological System Condition: Prolegomena.
Symmetry
14 (11) (2022)
Vladimir Zakharov
,
Nadezhda P. Zhdanova
,
Ilya Trofimov
Phenotypic Variation in a Species Range: Another Look (Developmental Stability Study of the Meristic Variation in the Sand Lizard Lacerta agilis).
Symmetry
14 (11) (2022)
Vladimir Zakharov
,
Elena Shadrina
,
Ilya Trofimov
Fluctuating Asymmetry, Developmental Noise and Developmental Stability: Future Prospects for the Population Developmental Biology Approach.
Symmetry
12 (8) (2020)
Vladimir Zakharov
,
Ilya Trofimov
,
Boris I. Sheftel
Fluctuating Asymmetry and Population Dynamics of the Common Shrew, Sorex araneus, in Central Siberia under Climate Change Conditions.
Symmetry
12 (12) (2020)
Darya Kozlova
,
Vladimir Zakharov
On the Model Checking of Sequential Reactive Systems.
CS&P
(2016)
Vladimir Zakharov
,
Richard Cubek
,
Wolfgang Ertel
Transparent integration of a real-time collision safety system to a motor control chain of a service robot.
TePRA
(2015)
Vladimir Boikov
,
Vladimir Zakharov
,
Maria Karyaeva
,
Valery Sokolov
Об автоматической рубрикации терминов тезауруса открытой информационно-аналитической системы (On the Automatic Structuring of the Thesaurus for an Open Information-Analytical System).
RCDL
(2014)
Tatiana Novikova
,
Vladimir Zakharov
Is it possible to unify sequential programs?
UNIF@RTA/TLCA
(2013)
Alexey V. Khoroshilov
,
Vadim S. Mutilin
,
Alexander K. Petrenko
,
Vladimir Zakharov
Establishing Linux Driver Verification Process.
Ershov Memorial Conference
(2009)