Koznov Dmitrii Vladimirovich

Publications in Math-Net.Ru

1. MaxSMT solver with portfolio mode support
   
   Proceedings of ISP RAS, 37:4(1) (2025),  177–188
2. Managing master data implementations
   
   Proceedings of ISP RAS, 37:4(1) (2025),  161–176
3. Evaluation of similarity of Javadoc comments
   
   Proceedings of ISP RAS, 35:4 (2023),  177–186
4. Debugger for declarative DSL for telecommunication
   
   Proceedings of ISP RAS, 35:3 (2023),  205–214
5. “Symcrete” memory model with lazy initialization and objects of symbolic sizes in KLEE
   
   Proceedings of ISP RAS, 35:3 (2023),  91–108
6. Automated testing of LLVM programs with complex input data structures
   
   Proceedings of ISP RAS, 34:4 (2022),  49–62
7. Unidata: open source component platform for master data management
   
   Proceedings of ISP RAS, 33:6 (2021),  149–160
8. Discovering near duplicate text in software documentation
   
   Proceedings of ISP RAS, 29:4 (2017),  303–314
9. Variability Management Tools — readiness for industrial use
   
   Tr. SPIIRAN, 26 (2013),  297–331
10. A model-driven approach for government services specification
    
    Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2012, no. 4,  102–116
11. WebMLDoc: An approach for changes detection and traceability in user manuals for Web-applications
    
    Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2011, no. 3,  112–126
12. On specification of diagram transformations in graphical editors
    
    Vestnik S.-Petersburg Univ. Ser. 10. Prikl. Mat. Inform. Prots. Upr., 2011, no. 3,  100–111