Semenov Vitalii Adol'fovich

Publications in Math-Net.Ru

1. Overview of hardening mechanisms in operating systems and user applications
   
   Proceedings of ISP RAS, 37:3 (2025),  325–354
2. Optimizations for hierarchical levels of detail generation on large-scale polygonal scenes
   
   Proceedings of ISP RAS, 37:3 (2025),  311–324
3. Detecting memory and resource leaks in the Svace static analyzer
   
   Proceedings of ISP RAS, 37:3 (2025),  291–302
4. Formal rules to produce object notation for EXPRESS schema-driven data
   
   Proceedings of ISP RAS, 33:5 (2021),  7–24
5. A system of operators for spatial-temporal analysis of dynamic scenes
   
   Proceedings of ISP RAS, 30:6 (2018),  237–258
6. Static dependency analysis for semantic data validation
   
   Proceedings of ISP RAS, 30:3 (2018),  271–284
7. Evolutionary development of a visual planning system using object-oriented framework
   
   Proceedings of ISP RAS, 29:5 (2017),  239–256
8. Object-oriented framework for motion planning in complex dynamic environments
   
   Proceedings of ISP RAS, 29:5 (2017),  185–238
9. Object-oriented framework for software development of scheduling applications
   
   Proceedings of ISP RAS, 29:3 (2017),  247–296
10. Mathematical formalization of project scheduling problems
    
    Proceedings of ISP RAS, 29:2 (2017),  231–256
11. An overview of modern methods for motion planning
    
    Proceedings of ISP RAS, 28:4 (2016),  241–294
12. A constraint library for specification of industrial data models
    
    Proceedings of ISP RAS, 27:4 (2015),  69–110
13. The system OpenModeler&Visualizer and its applications in computational mechanics
    
    Mat. Model., 12:8 (2000),  39–45