Vladimir Zakharov

According to our database1, Vladimir Zakharov authored at least 6 papers between 2009 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Fluctuating Asymmetry, Developmental Noise and Developmental Stability: Future Prospects for the Population Developmental Biology Approach.
Symmetry, 2020

2016
On the Model Checking of Sequential Reactive Systems.
Proceedings of the 25th International Workshop on Concurrency, 2016

2015
Transparent integration of a real-time collision safety system to a motor control chain of a service robot.
Proceedings of the 2015 IEEE International Conference on Technologies for Practical Robot Applications, 2015

2014
Об автоматической рубрикации терминов тезауруса открытой информационно-аналитической системы (On the Automatic Structuring of the Thesaurus for an Open Information-Analytical System).
Proceedings of the Selected Papers of XVI All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, 2014

2013
Is it possible to unify sequential programs?
Proceedings of the 27th International Workshop on Unification, 2013

2009
Establishing Linux Driver Verification Process.
Proceedings of the Perspectives of Systems Informatics, 2009


  Loading...