|
|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
| 1. |
A. A. Pesnyak, D. A. Stefantsov, “Index intervals in LYaPAS”, Prikl. Diskr. Mat., 2018, no. 39, 99–106   |
|
2017 |
| 2. |
V. O. Safonov, D. A. Stefantsov, “Complexes in LYaPAS”, Prikl. Diskr. Mat., 2017, no. 38, 101–109 |
|
2016 |
| 3. |
D. A. Stefantsov, V. O. Safonov, V. V. Pershin, S. Yu. Grechnev, P. A. Tomskikh, “Modular translator from LYaPAS”, Prikl. Diskr. Mat. Suppl., 2016, no. 9, 122–126 |
2
|
|
2015 |
| 4. |
D. A. Stefantsov, P. A. Tomskih, “The development of an operating system in LYaPAS”, Prikl. Diskr. Mat. Suppl., 2015, no. 8, 134–135 |
3
|
| 5. |
A. O. Zhukovskaja, D. A. Stefantsov, “Operational semantics for LYaPAS”, Prikl. Diskr. Mat. Suppl., 2015, no. 8, 131–132 |
1
|
| 6. |
S. Yu. Grechnev, D. A. Stefantsov, “Modification of LYaPAS for operating systems development”, Prikl. Diskr. Mat. Suppl., 2015, no. 8, 129–131 |
3
|
|
2014 |
| 7. |
A. O. Zhukovskaya, D. A. Stefantsov, “Development of automated means for proving programs properties”, Prikl. Diskr. Mat. Suppl., 2014, no. 7, 148–150 |
|
2013 |
| 8. |
N. I. Anisenya, D. A. Stefantsov, T. A. Torgaeva, “The BlackBox service for hosting Capture The Flag computer security competitions”, Prikl. Diskr. Mat. Suppl., 2013, no. 6, 52–56 |
1
|
|
2012 |
| 9. |
D. A. Stefantsov, “The AspectTalk programming language”, Prikl. Diskr. Mat., 2012, no. 1(15), 91–110 |
|
2011 |
| 10. |
D. A. Stephantsov, N. O. Tkachenko, D. V. Chernov, R. V. Shmakova, “Design and implementation of the ORM library in C++”, Prikl. Diskr. Mat., 2011, no. supplement № 4, 62–65 |
| 11. |
D. A. Stephantsov, A. E. Kryukova, “A denotational semantics for the AspectTalk programming language”, Prikl. Diskr. Mat., 2011, no. supplement № 4, 61–62 |
| 12. |
D. A. Stefantsov, “Implementation of security policies in programming information processing systems”, Prikl. Diskr. Mat., 2011, no. 3(13), 55–64 |
1
|
|
2010 |
| 13. |
D. A. Stephantsov, A. E. Kryukova, “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 |
1
|
| 14. |
D. A. Stephantsov, A. Y. Filimonov, “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 |
|
2009 |
| 15. |
D. A. Stefantsov, “Towards the definition of the software subsystems integration measure”, Prikl. Diskr. Mat., 2009, no. supplement № 1, 79–81 |
| 16. |
D. A. Stefantsov, “The technology and the instrumental environment for creation of protected information processing systems”, Prikl. Diskr. Mat., 2009, no. supplement № 1, 55–56 |
4
|
|
2008 |
| 17. |
D. A. Stephantsov, “Implementation of security policies in computer systems by means of Aspect-Oriented Programming”, Prikl. Diskr. Mat., 2008, no. 1(1), 94–100 |
7
|
|
|
|
2013 |
| 18. |
G. Yu. Zaytsev, A. I. Potapkin, D. A. Stefantsov, “Modification of compiled applications for the Android platform by means of aspect-oriented programming”, Prikl. Diskr. Mat. Suppl., 2013, no. 6, 60–62 |
|
2009 |
| 19. |
D. A. Stephantsov, “Instructions and recommendations for authors to prepare articles in LATEX format for “Applied Discrete Mathematics” journal”, Prikl. Diskr. Mat., 2009, no. 4(6), 110–120 |
|
| Organisations |
|
| |
|
|
Contact us: