Nikolay Mirenkov
Papers
1
Total Citations
5
H-Index
1
About
Nikolay Mirenkov is a computer scientist whose work focuses on the development of specialized modeling environments and the formalization of programming paradigms. His research centers on creating tools that bridge the gap between high-level conceptual design and low-level implementation, particularly through the use of visual and formal methods. Mirenkov’s major contribution lies in his pioneering work on the F-Modeling Environment, a system designed to acquire and integrate special-purpose features for complex software systems. This environment enables the rapid prototyping of domain-specific languages and models, allowing researchers to capture intricate computational processes through intuitive, visual interfaces. While his most-cited paper, "F-Modeling Environment: Acquisition Techniques for Obtaining Special-Purpose Features" (2013, 5 citations), may have a modest citation count, its impact is felt in niche areas of software engineering and formal methods. Mirenkov’s broader legacy includes advancing the theory of visual programming and contributing to the development of tools that make formal modeling more accessible to non-specialists. His work remains a valuable reference for those exploring the intersection of visual languages, domain engineering, and automated software synthesis.
Research Focus
Key Achievements
Top Papers
- 1