RESEARCHER PROFILE

Maksym Poltoratskyi

← Back to Kherson State University

M

Kherson State University

Artificial Intelligence in EducationLogic, programming, and type systemsBlockchain Technology Applications and SecurityFormal Methods in VerificationIntelligent Tutoring Systems and Adaptive Learning

Maksym Poltoratskyi works in Artificial Intelligence in Education, Logic, programming, and type systems, Blockchain Technology Applications and Security, Formal Methods in Verification, Intelligent Tutoring Systems and Adaptive Learning. Recorded institutional associations include Kherson State University.

39Publications
63Citations
5H-index

ORCID

Inclusion identifies researchers whose recorded research contributions may inform their university’s understanding of its research community. It does not rank individual research quality or establish current employment.

Selected research works

Up to 100 highly cited works; DOI links open the original research. Counts reflect the collected record, not real-time citation totals.

  1. Using an Evolutionary Algorithm to Improve Investment Strategies for Industries in an Economic System

    2016 · 10 citations

  2. INFORMATION TECHNOLOGIES FOR MEASURING THE QUALITATIVE AND QUANTITATIVE INDICATORS OF HIGHER EDUCATION INSTITUTIONS WORK

    2022 · 9 citations

  3. Forming an Evolutionarily Stable Firm Strategy Under Cournot Competition Using Social Preferences

    2014 · 8 citations

  4. Design and Development of Information System of Scientific Activity Indicators

    2016 · 6 citations

  5. Our Approach to Formal Verification of Token Economy Models

    2020 · 6 citations

  6. Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects

    2019 · 5 citations

  7. INSTITUTIONAL REGULATION OF USING AI-BASED SERVICES THROUGH THE KANO MODEL: THE CASE OF KHERSON STATE UNIVERSITY

    2025 · 4 citations

  8. Development of Rating Systems for Scientometric Indices of Universities

    2017 · 3 citations

  9. Formalization and Algebraic Modeling of Tokenomics Projects

    2019 · 3 citations

  10. RATING SYSTEMS FOR SCIENTOMETRIC INDICES OF UNIVERSITIES: KEY ASPECTS, DEVELOPMENT, IMPLEMENTATION

    2018 · 2 citations

  11. Verification of Smart Contract Code Generated by Applying Artificial Intelligence

    2025 · 2 citations

  12. Measuring the Effectiveness of the Implementation of Individual Educational Trajectories by University Students

    2020 · 1 citations

  13. Platform for Modeling of Algebraic Behavior: Experience and Conclusions

    2020 · 1 citations

  14. Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems

    2022 · 1 citations

  15. Algebraic approach to the analysis of legal documents

    2022 · 1 citations

  16. Algorithms for Using Online Tutoring as a Tool for Personalization of Learning in an Online Educational Environment

    2025 · 1 citations

  17. ВИКОРИСТАННЯ ТЕХНОЛОГIЙ SEMANTIC WEB ДЛЯ ВАЛІДАЦІЇ ОСВІТНІХ МОДЕЛЕЙ

    2025 · 1 citations

  18. Formalization and Algebraic Verification of Legal Requirements

    2017 · 0 citations

  19. Formalization and Algebraic Modeling of University Economics

    2019 · 0 citations

  20. Use of methods of algebraic programming for the formal verification of legal acts

    2018 · 0 citations

  21. Formal semantics and analysis of tokenomics properties

    2022 · 0 citations

  22. Theoretical Principles of Measuring and Interpreting Levels of Attention, Involvement and Organizing Feedback of Students to the Educational Process Using Automated Software Products

    2023 · 0 citations

  23. FEATURES OF STUDYING BI-SYSTEMS BY STUDENTS OF ECONOMIC SPECIALTIES ON THE EXAMPLE OF THE FINANCIAL MODEL OF THE UNIVERSITY

    2021 · 0 citations

  24. AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL

    2023 · 0 citations

  25. РЕЄСТРАЦІЯ ПРАВА ІНТЕЛЕКТУАЛЬНОЇ ВЛАСНОСТІ НА ОСНОВІ ТЕХНОЛОГІЇ БЛОКЧЕЙН

    2024 · 0 citations

← Return to the university profile