Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Sokolov, Valery Anatolievich

Statistics Math-Net.Ru
Total publications: 29
Scientific articles: 22

Number of views:
This page:1660
Abstract pages:5775
Full texts:2754
References:609
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.

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

Publications in Math-Net.Ru
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
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
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
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
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
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
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
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
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
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
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
16. E. V. Kuzmin, V. A. Sokolov, “Modeling, Specification and Construction of PLC-programs”, Model. Anal. Inform. Sist., 20:2 (2013),  104–120  mathnet
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
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
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
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

2020
23. 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
24. V. A. Sokolov, “Editorial”, Model. Anal. Inform. Sist., 26:1 (2019),  5–6  mathnet
2014
25. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 21:6 (2014),  5–6  mathnet
2011
26. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 18:4 (2011),  5–6  mathnet
2010
27. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 17:4 (2010),  1–2  mathnet
2009
28. 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, 2021