Stefantsov Dmitrii Aleksandrovich

Publications in Math-Net.Ru

1. Index intervals in LYaPAS
   
   Prikl. Diskr. Mat., 2018, no. 39,  99–106
2. Complexes in LYaPAS
   
   Prikl. Diskr. Mat., 2017, no. 38,  101–109
3. Modular translator from LYaPAS
   
   Prikl. Diskr. Mat. Suppl., 2016, no. 9,  122–126
4. The development of an operating system in LYaPAS
   
   Prikl. Diskr. Mat. Suppl., 2015, no. 8,  134–135
5. Operational semantics for LYaPAS
   
   Prikl. Diskr. Mat. Suppl., 2015, no. 8,  131–132
6. Modification of LYaPAS for operating systems development
   
   Prikl. Diskr. Mat. Suppl., 2015, no. 8,  129–131
7. Development of automated means for proving programs properties
   
   Prikl. Diskr. Mat. Suppl., 2014, no. 7,  148–150
8. The BlackBox service for hosting Capture The Flag computer security competitions
   
   Prikl. Diskr. Mat. Suppl., 2013, no. 6,  52–56
9. The AspectTalk programming language
   
   Prikl. Diskr. Mat., 2012, no. 1(15),  91–110
10. Design and implementation of the ORM library in C++
    
    Prikl. Diskr. Mat., 2011, no. supplement № 4,  62–65
11. A denotational semantics for the AspectTalk programming language
    
    Prikl. Diskr. Mat., 2011, no. supplement № 4,  61–62
12. Implementation of security policies in programming information processing systems
    
    Prikl. Diskr. Mat., 2011, no. 3(13),  55–64
13. Formal proof of the semantic equivalence between the core of the AOP language AspectTalk and the OOP language Smalltalk
    
    Prikl. Diskr. Mat., 2010, no. supplement № 3,  84–85
14. Integrating security policies with computer systems by means of AOP with application to Apache Ftp Server
    
    Prikl. Diskr. Mat., 2010, no. 1(7),  43–62
15. Towards the definition of the software subsystems integration measure
    
    Prikl. Diskr. Mat., 2009, no. supplement № 1,  79–81
16. The technology and the instrumental environment for creation of protected information processing systems
    
    Prikl. Diskr. Mat., 2009, no. supplement № 1,  55–56
17. Implementation of security policies in computer systems by means of Aspect-Oriented Programming
    
    Prikl. Diskr. Mat., 2008, no. 1(1),  94–100


18. Modification of compiled applications for the Android platform by means of aspect-oriented programming
    
    Prikl. Diskr. Mat. Suppl., 2013, no. 6,  60–62
19. Instructions and recommendations for authors to prepare articles in L^AT_EX format for “Applied Discrete Mathematics” journal
    
    Prikl. Diskr. Mat., 2009, no. 4(6),  110–120