Loading [MathJax]/jax/output/SVG/config.js
Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Соколов Валерий Анатольевич

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

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

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

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

https://www.mathnet.ru/rus/person35627
Список публикаций на Google Scholar
https://mathscinet.ams.org/mathscinet/MRAuthorID/817359
https://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 2
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 3
2016
7. Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение CFC-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 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”, Модел. и анализ информ. систем, 22:6 (2015),  735–749  mathnet  mathscinet  elib 1
9. В. А. Соколов, С. В. Корсаков, А. В. Смирнов, В. А. Башкин, Е. С. Никитин, “Инструментальная система для поддержки разработки и исследования программно-конфигурируемых сетей подвижных объектов”, Модел. и анализ информ. систем, 22:4 (2015),  546–562  mathnet  mathscinet  elib 2
10. Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов, “О выразительности подхода к построению ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 22:4 (2015),  507–520  mathnet  mathscinet  elib 5
2014
11. Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов, “Моделирование согласованного поведения ПЛК-датчиков”, Модел. и анализ информ. систем, 21:4 (2014),  75–90  mathnet 4
12. Д. А. Рябухин, Е. В. Кузьмин, В. А. Соколов, “Построение IL-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 21:2 (2014),  26–38  mathnet 4
2013
13. Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация LD-программ ПЛК по LTL-спецификации”, Модел. и анализ информ. систем, 20:6 (2013),  78–94  mathnet 5
14. В. Н. Бойков, В. Е. Захаров, М. С. Каряева, В. А. Соколов, “Тезаурус по поэтологии как инструмент для информационного поиска и коллекции знаний”, Модел. и анализ информ. систем, 20:4 (2013),  125–135  mathnet 2
15. Е. В. Кузьмин, В. А. Соколов, Д. А. Рябухин, “Построение и верификация ПЛК-программ по LTL-спецификации”, Модел. и анализ информ. систем, 20:4 (2013),  5–22  mathnet 6
16. Е. В. Кузьмин, В. А. Соколов, “Моделирование, спецификация и построение программ логических контроллеров”, Модел. и анализ информ. систем, 20:2 (2013),  104–120  mathnet 7
2012
17. Е. В. Кузьмин, В. А. Соколов, “Моделирование счетчиковых машин двухголовочными автоматами”, Модел. и анализ информ. систем, 19:5 (2012),  69–73  mathnet
18. Е. В. Кузьмин, В. А. Соколов, “О построении и верификации программ логических контроллеров”, Модел. и анализ информ. систем, 19:4 (2012),  25–36  mathnet 6
19. Е. В. Кузьмин, В. А. Соколов, “О верификации LD-программ логических контроллеров”, Модел. и анализ информ. систем, 19:2 (2012),  138–144  mathnet 5
2008
20. Р. А. Виноградов, В. А. Соколов, “Об одном классе высокоуровневых конечных автоматов”, Модел. и анализ информ. систем, 15:3 (2008),  38–46  mathnet
2007
21. С. В. Кубасов, В. А. Соколов, “Синхронная модель автоматной программы”, Модел. и анализ информ. систем, 14:1 (2007),  11–18  mathnet 1
1967
22. В. А. Соколов, “Об изоморфизмах максимальных подалгебр алгебры Р. Робинсона”, Алгебра и логика. Семинар, 6:3 (1967),  91–99  mathnet  mathscinet

2022
23. С. Н. Артемов, Я. М. Барздинь, Л. А. Бокуть, Ю. Ш. Гуревич, А. М. Дехтярь, Л. А. Левин, И. А. Ломазова, Ю. В. Матиясевич, В. А. Непомнящий, С. П. Новиков, А. Рабинович, В. Ю. Сазонов, А. О. Слисенко, В. А. Соколов, М. Б. Трахтенброт, Н. В. Шилов, “Борис Абрамович Трахтенброт (к столетию со дня рождения)”, УМН, 77:1(463) (2022),  191–195  mathnet  mathscinet  zmath; 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)”, Russian Math. Surveys, 77:1 (2022), 183–188  isi
2020
24. В. А. Соколов, “Исправление к статье: В. А. Соколов, “О проблеме существования конечных базисов тождеств в алгебрах рекурсивных функций”, Моделирование и анализ информационных систем, Том. 27, №3, с. 304–315, 2020. DOI: https://doi.org/10.18255/1818-1015-2020-3-304-315”, Модел. и анализ информ. систем, 27:4 (2020),  510–511  mathnet
2019
25. В. А. Соколов, “От главного редактора”, Модел. и анализ информ. систем, 26:1 (2019),  5–6  mathnet
2014
26. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 21:6 (2014),  5–6  mathnet
2011
27. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 18:4 (2011),  5–6  mathnet
2010
28. В. А. Непомнящий, В. А. Соколов, “От редакторов специального выпуска”, Модел. и анализ информ. систем, 17:4 (2010),  1–2  mathnet
2009
29. В. Соколов, “Обращение главного редактора”, Модел. и анализ информ. систем, 16:4 (2009),  1  mathnet

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