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