Соколов Валерий Анатольевич

Публикации в базе данных Math-Net.Ru

1. О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций
   
   Модел. и анализ информ. систем, 27:3 (2020),  304–315
2. On the way to SD-WAN solution
   
   Модел. и анализ информ. систем, 26:2 (2019),  203–212
3. Эффективный алгоритм разрешения коллизий в правилах политики безопасности
   
   Модел. и анализ информ. систем, 26:1 (2019),  75–89
4. Векторное представление слов с семантическими отношениями: экспериментальные наблюдения
   
   Модел. и анализ информ. систем, 25:6 (2018),  726–733
5. Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров
   
   Модел. и анализ информ. систем, 25:4 (2018),  411–420
6. О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains»
   
   Модел. и анализ информ. систем, 25:4 (2018),  402–410
7. Построение CFC-программ ПЛК по LTL-спецификации
   
   Модел. и анализ информ. систем, 23:2 (2016),  173–184
8. End-to-end information flow security model for software-defined networks
   
   Модел. и анализ информ. систем, 22:6 (2015),  735–749
9. Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов
   
   Модел. и анализ информ. систем, 22:4 (2015),  546–562
10. О выразительности подхода к построению ПЛК-программ по LTL-спецификации
    
    Модел. и анализ информ. систем, 22:4 (2015),  507–520
11. Моделирование согласованного поведения ПЛК-датчиков
    
    Модел. и анализ информ. систем, 21:4 (2014),  75–90
12. Построение IL-программ ПЛК по LTL-спецификации
    
    Модел. и анализ информ. систем, 21:2 (2014),  26–38
13. Построение и верификация LD-программ ПЛК по LTL-спецификации
    
    Модел. и анализ информ. систем, 20:6 (2013),  78–94
14. Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний
    
    Модел. и анализ информ. систем, 20:4 (2013),  125–135
15. Построение и верификация ПЛК-программ по LTL-спецификации
    
    Модел. и анализ информ. систем, 20:4 (2013),  5–22
16. Моделирование, спецификация и построение программ логических контроллеров
    
    Модел. и анализ информ. систем, 20:2 (2013),  104–120
17. Моделирование счетчиковых машин двухголовочными автоматами
    
    Модел. и анализ информ. систем, 19:5 (2012),  69–73
18. О построении и верификации программ логических контроллеров
    
    Модел. и анализ информ. систем, 19:4 (2012),  25–36
19. О верификации LD-программ логических контроллеров
    
    Модел. и анализ информ. систем, 19:2 (2012),  138–144
20. Об одном классе высокоуровневых конечных автоматов
    
    Модел. и анализ информ. систем, 15:3 (2008),  38–46
21. Синхронная модель автоматной программы
    
    Модел. и анализ информ. систем, 14:1 (2007),  11–18
22. Об изоморфизмах максимальных подалгебр алгебры Р. Робинсона
    
    Алгебра и логика. Семинар, 6:3 (1967),  91–99


23. Борис Абрамович Трахтенброт (к столетию со дня рождения)
    
    УМН, 77:1(463) (2022),  191–195
24. Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, №3, с. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315
    
    Модел. и анализ информ. систем, 27:4 (2020),  510–511
25. От главного редактора
    
    Модел. и анализ информ. систем, 26:1 (2019),  5–6
26. От редакторов специального выпуска
    
    Модел. и анализ информ. систем, 21:6 (2014),  5–6
27. От редакторов специального выпуска
    
    Модел. и анализ информ. систем, 18:4 (2011),  5–6
28. От редакторов специального выпуска
    
    Модел. и анализ информ. систем, 17:4 (2010),  1–2
29. Обращение главного редактора
    
    Модел. и анализ информ. систем, 16:4 (2009),  1