Kovalyov Serge Protasovich

Publications in Math-Net.Ru

1. Universal constructions in algebraic specification of distributed systems
   
   Inform. Primen., 19:1 (2025),  2–8
2. Algebraic specification of graph computational structures
   
   Inform. Primen., 18:1 (2024),  11–17
3. The monad of diagrams as a mathematical metamodel of systems engineering
   
   Inform. Primen., 17:2 (2023),  11–17
4. Algebraic specification of graph computational structures
   
   Inform. Primen., 16:1 (2022),  2–9
5. Methods of the category theory in digital design of heterogeneous cyber-physical systems
   
   Inform. Primen., 15:1 (2021),  23–29
6. Employing deep learning neural networks in mathematical basis of digital twins of electrical power systems
   
   Sistemy i Sredstva Inform., 31:1 (2021),  133–144
7. A digital platform for implementing distributed energy resources management systems
   
   Probl. Upr., 2020, no. 6,  57–70
8. Information architecture of the power system digital twin
   
   Sistemy i Sredstva Inform., 30:1 (2020),  66–81
9. Digital energy development problems in Russia
   
   Probl. Upr., 2019, no. 1,  2–14
10. Category theory as a mathematical pragmatics of model-based systems engineering
    
    Inform. Primen., 12:1 (2018),  95–104
11. Methods of category theory in model-based systems engineering
    
    Inform. Primen., 11:3 (2017),  42–50
12. Metaprogramming to increase manufacturability of large-scale software-intensive systems
    
    Inform. Primen., 10:1 (2016),  56–66
13. Category-theoretic models of algebraic computer systems
    
    Zh. Vychisl. Mat. Mat. Fiz., 56:1 (2016),  167–179
14. Formal axiomatic approach to aspect-oriented extension of programming technologies
    
    Inform. Primen., 9:1 (2015),  55–69
15. Category-theoretic approach to algebraic computer systems design
    
    Program Systems: Theory and Applications, 6:1 (2015),  3–10
16. Category-theoretic approach to software systems design
    
    Fundam. Prikl. Mat., 19:3 (2014),  111–170
17. Systems analysis of life cycle of large-scale information-control systems
    
    Avtomat. i Telemekh., 2013, no. 9,  98–118
18. Semantics of aspect-oriented modeling of data and processes
    
    Inform. Primen., 7:3 (2013),  70–80
19. Diagrammatic Description of Software Systems Composition
    
    Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 12:3 (2012),  103–126
20. A formal approach to aspect-oriented modelling of scenarios
    
    Sib. Zh. Ind. Mat., 13:3 (2010),  30–42
21. Algebraic approach to the design of distributed computing systems
    
    Sib. Zh. Ind. Mat., 10:2 (2007),  70–84
22. Mathematical Foundations of Computer Arithmetics
    
    Mat. Tr., 8:1 (2005),  3–42
23. Lukasiewicz's logic as an architecture model of arithmetic
    
    Sib. Zh. Ind. Mat., 6:4 (2003),  32–50
24. Analytic models of machine arithmetic
    
    Sib. Zh. Ind. Mat., 6:3 (2003),  88–102