Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Sokolov, Valery Anatolievich
Statistics Math-Net.Ru
Total publications: 30
Scientific articles: 22

Number of views:
This page:2509
Abstract pages:11433
Full texts:8742
References:1668
Professor
Doctor of physico-mathematical sciences (2006)
Speciality: 01.01.09 (Discrete mathematics and mathematical cybernetics)
Birth date: 04.08.1944
E-mail:
Website: https://www.uniyar.ac.ru/yargu/staff/0000002262/
Keywords: formal models, Petri nets, automata, transition systems, temporal logics, verification, distributed systems, parallel programs, semantics properties.

Subject:

Modeling and analysis of information systems.
   
Main publications:
  • Structured transition systems (book, co-author E. V. Kuzmin), Moscow, Fizmatlit, 2006.

https://www.mathnet.ru/eng/person35627
List of publications on Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/817359
https://orcid.org/0000-0003-1427-4937

Publications in Math-Net.Ru Citations
2020
1. V. A. Sokolov, “On the existence problem of finite bases of identities in the algebras of recursive functions”, Model. Anal. Inform. Sist., 27:3 (2020),  304–315  mathnet
2019
2. S. Korsakov, V. Sokolov, “On the way to SD-WAN solution”, Model. Anal. Inform. Sist., 26:2 (2019),  203–212  mathnet
3. S. V. Morzhov, V. A. Sokolov, “An effective algorithm for collision resolution in security policy rules”, Model. Anal. Inform. Sist., 26:1 (2019),  75–89  mathnet  elib 2
2018
4. M. S. Karyaeva, P. I. Braslavski, V. A. Sokolov, “Word embedding for semantically relative words: an experimental study”, Model. Anal. Inform. Sist., 25:6 (2018),  726–733  mathnet
5. D. R. Filonov, D. Ju. Chalyy, D. M. Murin, V. G. Durnev, V. A. Sokolov, “Question answering system for applicant support by using modern messengers”, Model. Anal. Inform. Sist., 25:4 (2018),  411–420  mathnet  elib
6. V. G. Durnev, D. M. Murin, V. A. Sokolov, D. Ju. Chalyy, “On some approaches to the solution of the problem «Useful Proof-of-work for blockchains»”, Model. Anal. Inform. Sist., 25:4 (2018),  402–410  mathnet  elib 3
2016
7. D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov, “Construction of CFC-programs by LTL-specification”, Model. Anal. Inform. Sist., 23:2 (2016),  173–184  mathnet  mathscinet  elib 1
2015
8. D. Ju. Chaly, E. S. Nikitin, E. Ju. Antoshina, V. A. Sokolov, “End-to-end information flow security model for software-defined networks”, Model. Anal. Inform. Sist., 22:6 (2015),  735–749  mathnet  mathscinet  elib 1
9. V. A. Sokolov, S. V. Korsakov, A. V. Smirnov, V. A. Bashkin, E. S. Nikitin, “Instrumental supporting system for developing and analysis of software-defined networks of mobile objects”, Model. Anal. Inform. Sist., 22:4 (2015),  546–562  mathnet  mathscinet  elib 2
10. E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov, “On the expressiveness of the approach to constructing PLC-programs by LTL-specification”, Model. Anal. Inform. Sist., 22:4 (2015),  507–520  mathnet  mathscinet  elib 5
2014
11. E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov, “Modeling a Consistent Behavior of PLC-Sensors”, Model. Anal. Inform. Sist., 21:4 (2014),  75–90  mathnet 4
12. D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov, “Construction of PLC IL-Programs by LTL-Specification”, Model. Anal. Inform. Sist., 21:2 (2014),  26–38  mathnet 4
2013
13. E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin, “Construction and Verification of PLC LD-programs by LTL-specification”, Model. Anal. Inform. Sist., 20:6 (2013),  78–94  mathnet 5
14. Vladimir N. Boikov, Vladimir E. Zakharov, Mariya S. Karyaeva, Valery A. Sokolov, “Domain-Specific Thesaurus as a Tool for Information Retrieval and Collection of Knowledge”, Model. Anal. Inform. Sist., 20:4 (2013),  125–135  mathnet 2
15. E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin, “Construction and Verification of PLC-programs by LTL-specification”, Model. Anal. Inform. Sist., 20:4 (2013),  5–22  mathnet 6
16. E. V. Kuzmin, V. A. Sokolov, “Modeling, Specification and Construction of PLC-programs”, Model. Anal. Inform. Sist., 20:2 (2013),  104–120  mathnet 7
2012
17. E. V. Kuzmin, V. A. Sokolov, “The Modeling of Counter Machines by Two-Head Finite Automata”, Model. Anal. Inform. Sist., 19:5 (2012),  69–73  mathnet
18. E. V. Kuzmin, V. A. Sokolov, “On Construction and Verification of PLC-Programs”, Model. Anal. Inform. Sist., 19:4 (2012),  25–36  mathnet 6
19. E. V. Kuz'min, V. A. Sokolov, “On verification of PLC-programs written in the LD-language”, Model. Anal. Inform. Sist., 19:2 (2012),  138–144  mathnet 5
2008
20. R. A. Vinogradov, V. A. Sokolov, “On the one class of high-level finite automata”, Model. Anal. Inform. Sist., 15:3 (2008),  38–46  mathnet
2007
21. S. V. Kubasov, V. A. Sokolov, “Synchronous model of automaton program”, Model. Anal. Inform. Sist., 14:1 (2007),  11–18  mathnet 1
1967
22. V. A. Sokolov, “On the isomorphisms of the maximum subalgebras of the R. Robinson algebra”, Algebra i Logika. Sem., 6:3 (1967),  91–99  mathnet  mathscinet
2022
23. S. N. Artemov, J. M. Barzdiņš, L. A. Bokut', Yu. Gurevich, A. M. Dekhtyar', L. A. Levin, I. A. Lomazova, Yu. V. Matiyasevich, V. A. Nepomnyashchii, S. P. Novikov, A. Rabinovich, V. Yu. Sazonov, A. O. Slisenko, V. A. Sokolov, M. B. Trakhtenbrot, N. V. Shilov, “Boris Abramovich Trakhtenbrot (on the centenary of his birth)”, Uspekhi Mat. Nauk, 77:1(463) (2022),  191–195  mathnet  mathscinet  zmath; Russian Math. Surveys, 77:1 (2022), 183–188  isi
2020
24. V. A. Sokolov, “Corrigendum to: V. A. Sokolov, “On the existence problem of finite bases of identities in the algebras of recursive functions”, Modeling and Analysis of Information Systems, vol. 27, no. 3, pp. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315”, Model. Anal. Inform. Sist., 27:4 (2020),  510–511  mathnet
2019
25. V. A. Sokolov, “Editorial”, Model. Anal. Inform. Sist., 26:1 (2019),  5–6  mathnet
2014
26. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 21:6 (2014),  5–6  mathnet
2011
27. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 18:4 (2011),  5–6  mathnet
2010
28. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 17:4 (2010),  1–2  mathnet
2009
29. V. Sokolov, “Welcome from the Editor in Chief”, Model. Anal. Inform. Sist., 16:4 (2009),  1  mathnet

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025