Семенов Виталий Адольфович

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

1. Обзор механизмов усиления защищенности операционных систем и пользовательских приложений
   
   Труды ИСП РАН, 37:3 (2025),  325–354
2. Оптимизации генерации иерархических уровней детализации для масштабных полигональных сцен
   
   Труды ИСП РАН, 37:3 (2025),  311–324
3. Поиск утечек памяти и ресурсов в статическом анализаторе Svace
   
   Труды ИСП РАН, 37:3 (2025),  291–302
4. Формальные правила продукции объектной нотации для данных, определяемых EXPRESS схемой
   
   Труды ИСП РАН, 33:5 (2021),  7–24
5. Система операторов для пространственно-временного анализа динамических сцен
   
   Труды ИСП РАН, 30:6 (2018),  237–258
6. Static dependency analysis for semantic data validation
   
   Труды ИСП РАН, 30:3 (2018),  271–284
7. Эволюционная разработка системы визуального планирования проектов на основе объектно-ориентированного каркаса
   
   Труды ИСП РАН, 29:5 (2017),  239–256
8. Объектно-ориентированная среда для разработки приложений планирования движения
   
   Труды ИСП РАН, 29:5 (2017),  185–238
9. Объектно-ориентированный каркас для программной реализации приложений теории расписаний
   
   Труды ИСП РАН, 29:3 (2017),  247–296
10. Математическая формализация задач проектного планирования в расширенной постановке
    
    Труды ИСП РАН, 29:2 (2017),  231–256
11. Обзор современных методов планирования движения
    
    Труды ИСП РАН, 28:4 (2016),  241–294
12. Библиотека ограничений для спецификации индустриальных моделей данных
    
    Труды ИСП РАН, 27:4 (2015),  69–110
13. Система OpenModeler&Visualizer и ее приложения в вычислительной механике
    
    Матем. моделирование, 12:8 (2000),  39–45