RUS  ENG
Full version
PEOPLE

Kozachok Alexander Vasilevich

Publications in Math-Net.Ru

  1. Application of machine learning models for multiclass classification of dermatoscopic images of skin neoplasms

    Proceedings of ISP RAS, 36:5 (2024),  241–252
  2. A platform for collecting dermatoscopic images of patients’ neoplasms

    Proceedings of ISP RAS, 36:3 (2024),  259–272
  3. Review of methods for early melanoma computer vision detection

    Proceedings of ISP RAS, 34:4 (2022),  241–250
  4. Experimental evaluation of the text documents marking algorithm based on interword distances shifting

    Proceedings of ISP RAS, 34:4 (2022),  153–172
  5. Document marking system for leak investigations

    Proceedings of ISP RAS, 33:6 (2021),  161–174
  6. Text documents marking algorithm based on interword distances shifting invariant to format conversion

    Proceedings of ISP RAS, 33:4 (2021),  131–146
  7. TLA+ based access control model specification

    Proceedings of ISP RAS, 30:5 (2018),  147–162
  8. An approach to a robust watermark extraction from images containing text

    Tr. SPIIRAN, 60 (2018),  128–155
  9. Review of the current methods for robust image hashing

    Computer Optics, 41:5 (2017),  743–755
  10. Verified program code execution system prototype

    Proceedings of ISP RAS, 29:6 (2017),  7–24
  11. First order logic to set requirements for secure code execution

    Proceedings of ISP RAS, 29:5 (2017),  135–148
  12. Secure code execution system operation algorithm

    Proceedings of ISP RAS, 29:3 (2017),  17–30
  13. Formal model of process functioning in the operating system

    Tr. SPIIRAN, 51 (2017),  78–96
  14. Analytical Model for Protecting Documentary File Formats from Unauthorized Access

    Tr. SPIIRAN, 43 (2015),  228–252


© Steklov Math. Inst. of RAS, 2026