Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Соколов Валерий Анатольевич

В базах данных Math-Net.Ru
Публикаций: 29
Научных статей: 22

Статистика просмотров:
Эта страница:1664
Страницы публикаций:5782
Полные тексты:2780
Списки литературы:609
профессор
доктор физико-математических наук (2006)
Специальность ВАК: 01.01.09 (дискретная математика и математическая кибернетика)
Дата рождения: 04.08.1944
E-mail:
Сайт: https://www.uniyar.ac.ru/yargu/staff/0000002262/
Ключевые слова: формальные модели, сети Петри, автоматы, системы переходов, темпоральные логики, верификация, распределенные системы, параллельные программы, семантические свойства.

Основные темы научной работы

Моделирование и анализ информационных систем.

   
Основные публикации:
  • Структурированные системы переходов (монография, в соавторстве с Кузьминым Е. В.), Москва, Физматлит, 2006.

http://www.mathnet.ru/rus/person35627
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/817359
http://orcid.org/0000-0003-1427-4937

Публикации в базе данных Math-Net.Ru
2020
1. В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Модел. и анализ информ. систем, 27:3 (2020),  304–315  mathnet
2019
2. S. Korsakov, V. Sokolov, “On the way to SD-WAN solution”, Модел. и анализ информ. систем, 26:2 (2019),  203–212  mathnet
3. С. В. Моржов, В. А. Соколов, “Эффективный алгоритм разрешения коллизий в правилах политики безопасности”, Модел. и анализ информ. систем, 26:1 (2019),  75–89  mathnet  elib
2018
4. М. С. Каряева, П. И. Браславский, В. А. Соколов, “Векторное представление слов с семантическими отношениями: экспериментальные наблюдения”, Модел. и анализ информ. систем, 25:6 (2018),  726–733  mathnet
5. Д. Р. Филонов, Д. Ю. Чалый, Д. М. Мурин, В. Г. Дурнев, В. А. Соколов, “Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров”, Модел. и анализ информ. систем, 25:4 (2018),  411–420  mathnet  elib
6. В. Г. Дурнев, Д. М. Мурин, В. А. Соколов, Д. Ю. Чалый, “О некоторых подходах к решению задачи «Useful Proof-of-work for blockchains»”, Модел. и анализ информ. систем, 25:4 (2018),  402–410  mathnet  elib
2016
7. Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение CFC-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 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”, Модел. и анализ информ. систем, 22:6 (2015),  735–749  mathnet  mathscinet  elib
9. В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин, “Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов”, Модел. и анализ информ. систем, 22:4 (2015),  546–562  mathnet  mathscinet  elib
10. Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов, “О выразительности подхода к построению ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 22:4 (2015),  507–520  mathnet  mathscinet  elib
2014
11. Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов, “Моделирование согласованного поведения ПЛК-датчиков”, Модел. и анализ информ. систем, 21:4 (2014),  75–90  mathnet
12. Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение IL-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 21:2 (2014),  26–38  mathnet
2013
13. Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация LD-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 20:6 (2013),  78–94  mathnet
14. В. Н. Бойков, В. Е. Захаров, М. С. Каряева, В. А. Соколов, “Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний”, Модел. и анализ информ. систем, 20:4 (2013),  125–135  mathnet
15. Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 20:4 (2013),  5–22  mathnet
16. Е. В. Кузьмин, В. А. Соколов, “Моделирование, спецификация и построение программ логических контроллеров”, Модел. и анализ информ. систем, 20:2 (2013),  104–120  mathnet
2012
17. Е. В. Кузьмин, В. А. Соколов, “Моделирование счетчиковых машин двухголовочными автоматами”, Модел. и анализ информ. систем, 19:5 (2012),  69–73  mathnet
18. Е. В. Кузьмин, В. А. Соколов, “О построении и верификации программ логических контроллеров”, Модел. и анализ информ. систем, 19:4 (2012),  25–36  mathnet
19. Е. В. Кузьмин, В. А. Соколов, “О верификации LD-программ логических контроллеров”, Модел. и анализ информ. систем, 19:2 (2012),  138–144  mathnet
2008
20. Р. А. Виноградов, В. А. Соколов, “Об одном классе высокоуровневых конечных автоматов”, Модел. и анализ информ. систем, 15:3 (2008),  38–46  mathnet
2007
21. С. В. Кубасов, В. А. Соколов, “Синхронная модель автоматной программы”, Модел. и анализ информ. систем, 14:1 (2007),  11–18  mathnet
1967
22. В. А. Соколов, “Об изоморфизмах максимальных подалгебр алгебры Р. Робинсона”, Алгебра и логика. Семинар, 6:3 (1967),  91–99  mathnet  mathscinet

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

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021