Sokolov Valery Anatolievich

Publications in Math-Net.Ru

1. On the existence problem of finite bases of identities in the algebras of recursive functions
   
   Model. Anal. Inform. Sist., 27:3 (2020),  304–315
2. On the way to SD-WAN solution
   
   Model. Anal. Inform. Sist., 26:2 (2019),  203–212
3. An effective algorithm for collision resolution in security policy rules
   
   Model. Anal. Inform. Sist., 26:1 (2019),  75–89
4. Word embedding for semantically relative words: an experimental study
   
   Model. Anal. Inform. Sist., 25:6 (2018),  726–733
5. Question answering system for applicant support by using modern messengers
   
   Model. Anal. Inform. Sist., 25:4 (2018),  411–420
6. On some approaches to the solution of the problem «Useful Proof-of-work for blockchains»
   
   Model. Anal. Inform. Sist., 25:4 (2018),  402–410
7. Construction of CFC-programs by LTL-specification
   
   Model. Anal. Inform. Sist., 23:2 (2016),  173–184
8. End-to-end information flow security model for software-defined networks
   
   Model. Anal. Inform. Sist., 22:6 (2015),  735–749
9. Instrumental supporting system for developing and analysis of software-defined networks of mobile objects
   
   Model. Anal. Inform. Sist., 22:4 (2015),  546–562
10. On the expressiveness of the approach to constructing PLC-programs by LTL-specification
    
    Model. Anal. Inform. Sist., 22:4 (2015),  507–520
11. Modeling a Consistent Behavior of PLC-Sensors
    
    Model. Anal. Inform. Sist., 21:4 (2014),  75–90
12. Construction of PLC IL-Programs by LTL-Specification
    
    Model. Anal. Inform. Sist., 21:2 (2014),  26–38
13. Construction and Verification of PLC LD-programs by LTL-specification
    
    Model. Anal. Inform. Sist., 20:6 (2013),  78–94
14. Domain-Specific Thesaurus as a Tool for Information Retrieval and Collection of Knowledge
    
    Model. Anal. Inform. Sist., 20:4 (2013),  125–135
15. Construction and Verification of PLC-programs by LTL-specification
    
    Model. Anal. Inform. Sist., 20:4 (2013),  5–22
16. Modeling, Specification and Construction of PLC-programs
    
    Model. Anal. Inform. Sist., 20:2 (2013),  104–120
17. The Modeling of Counter Machines by Two-Head Finite Automata
    
    Model. Anal. Inform. Sist., 19:5 (2012),  69–73
18. On Construction and Verification of PLC-Programs
    
    Model. Anal. Inform. Sist., 19:4 (2012),  25–36
19. On verification of PLC-programs written in the LD-language
    
    Model. Anal. Inform. Sist., 19:2 (2012),  138–144
20. On the one class of high-level finite automata
    
    Model. Anal. Inform. Sist., 15:3 (2008),  38–46
21. Synchronous model of automaton program
    
    Model. Anal. Inform. Sist., 14:1 (2007),  11–18
22. On the isomorphisms of the maximum subalgebras of the R. Robinson algebra
    
    Algebra i Logika. Sem., 6:3 (1967),  91–99


23. Boris Abramovich Trakhtenbrot (on the centenary of his birth)
    
    Uspekhi Mat. Nauk, 77:1(463) (2022),  191–195
24. 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
25. Editorial
    
    Model. Anal. Inform. Sist., 26:1 (2019),  5–6
26. From the editors of the special issue
    
    Model. Anal. Inform. Sist., 21:6 (2014),  5–6
27. From the editors of the special issue
    
    Model. Anal. Inform. Sist., 18:4 (2011),  5–6
28. From the editors of the special issue
    
    Model. Anal. Inform. Sist., 17:4 (2010),  1–2
29. Welcome from the Editor in Chief
    
    Model. Anal. Inform. Sist., 16:4 (2009),  1