Publications
Main publications:
1. Formal Methods in Blockchain:
Letychevsky, O., Peschanenko, V., Radchenko, V., Poltoratzkyi, M., Kovalenko, P., & Mogylko, S. (2019, May). Formal Verification of Token Economy Models. In 2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC) (pp. 201-204). IEEE.
Letychevskyi, O., Peschanenko, V., Poltoratskyi, M., & Tarasich, Y. (2022). How to Build Self-Sustaining Tokenomics. BLOCKCHAIN & CRYPTOCURRENCY CONFERENCE (B2C' 2022)Edited by Sergey Y. Yurish, 89.
Letychevskyi, O., Peschanenko, V., Poltoratskyi, M., & Tarasich, Y. (2020). Our approach to formal verification of token economy models. In International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (pp. 348-363). Springer, Cham.
Letychevskyi, O. A., Peschanenko, V., Poltoratskyi, M., & Tarasich, Y. (2020). Platform for Modeling of Algebraic Behavior: Experience and Conclusions. In ICTERI Workshops (pp. 42-57).
Letychevskyi, O., Peschanenko, V., Radchenko, V., Poltoratskyi, M., & Tarasich, Y. (2019). Formalization and algebraic modeling of tokenomics projects. In CEUR Workshop Proceedings (pp. 577-584).6.
Peschanenko, V., Poltoratskyi, M., & Pryimak, K. (2019). Formalization and algebraic modeling of university economics. In CEUR Workshop Proceedings (pp. 585-594).
Oleksandr Letychevskyi, Volodymyr Peschanenko, Maksym Poltoratskyi, Serhii Horbatiuk, Horbatiuk Viktor and Yuliia Tarasich. One Approach to Formal Verification of Distributed Ledger Technologies on the Blockchain Technologies Example//Conference on Mathematical Foundations of Informatics: Proceedings MFOI-2020 (227 - 242)
Letychevskyi, O. O., Peschanenko, V. S., Poltorackiy, M. Y., Tarasich, Y. H., & Vinnyk, M. O. (2023). Formal semantics and analysis of tokenomics properties. PROBLEMS IN PROGRAMMING, (3-4), 128-138.
Letychevskyi O., Peschanenko V., Poltoratskyi M., & Konnova O. (2023). AN ALGEBRAIC APPROACH TO THE VERIFICATION OF SMART CONTRACTS IN TEAL. Journal of Information Technologies in Education (ITE), (54), 37-51. Retrieved from http://ite.kspu.edu/index.php/ite/article/view/868
2. Formal Methods in Law:
Letichevsky, A., Letychevskyi, O., Peschanenko, V., & Poltorackij, M. (2017, September). An Algebraic Approach for Analyzing of Legal Requirements. In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW) (pp. 209-212). IEEE.
Godlevskyi, A., Letichevskyi, A., Peschanenko, V. S., Letychevskyi, O. A., Morokhovets, M., Skobelev, V. G., & Poltorackiy, M. (2017). Formalization and Algebraic Verification of Legal Requirements. In ICTERI (pp. 524-535).
Peschanenko, V. S., & Poltoratskiy, M. (2018). Use of methods of algebraic programming for the formal verification of legal acts. PROBLEMS IN PROGRAMMING, (2-3), 109-114.
Letychevskyi, O. O., Peschanenko, V. S., & Poltorackiy, M. Y. (2023). Algebraic approach to the analysis of legal documents. PROBLEMS IN PROGRAMMING, (3-4), 117-127.
3. Formal Methods in Chemistry:
Letychevskyi, O., Tarasich, Y., Peschanenko, V., Volkov, V., Sokolova, H., & Poltoratskyi, M. (2022). Algebraic Modeling as One of the Methods for Solving Organic Chemistry Problems. In International Conference on Information a nd Communication Technologies in Education, Research, and Industrial Applications (pp. 180-202). Springer, Cham.
4. Economics Models:
Kobets, V., & Poltoratskiy, M. (2016). Using an evolutionary algorithm to improve investment strategies for industries in an economic system. ICT in Education, Research and Industrial Applications.
Kobets, V., Yatsenko, V., & Poltoratskiy, M. (2015, May). Dynamic Model of Double Electronic Vickrey Auction. In ICTERI (pp. 236-251).
Kobets, V., & Poltoratskiy, M. (2014, June). Forming an evolutionarily stable firm strategy under cournot competition using social preferences. In International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications (pp. 343-361). Springer, Cham.
5. Scientometrics Analysis
Spivakovsky, A., Vinnyk, M., Poltoratskyi, M., Tarasich, Y., & Omelchuk, S. (2022). INFORMATION TECHNOLOGIES FOR MEASURING THE QUALITATIVE AND QUANTITATIVE INDICATORS OF HIGHER EDUCATION INSTITUTIONS WORK. Information Technologies and Learning Tools, 89(3), 190–208.https://doi.org/10.33407/itlt.v89i3.4895
Spivakovsky, A., Vinnik, M., Poltoratskiy, M., Tarasich, Y., Spivakovska, Y., Gardner, G., & Panova, K. (2019). Information System of Scientific Activity Indicators of Scientific Organizations: Development Status and Prospects. In ICTERI Workshops (pp. 220-228).
Spivakovsky, A., Vinnyk, M., Poltoratskiy, M., Tarasich, Y., Panova, K., & Melnychenko, A. (2018). Development of rating systems for scientometric indices of universities. In CEUR Workshop Proceedings (pp. 420-430).
Spivakovsky, A., Vinnyk, M., Tarasich, Y., & Poltoratskiy, M. (2016). Design and development of information system of scientific activity indicators. ICT in Education, Research and Industrial Applications.
Spivakovsky, O. V., Vinnyk, M. O., Poltoratskiy, M. Y., Tarasich, Y. G., Bystriantseva, A. M., Panova, K. O., & Spivakovska, Y. O. (2018). Rating systems for scientometric indices of universities: key aspects, development, implementation. Інформаційні технології в освіті, (4), 24-39.7.
6. Education process analysis:
Vinnyk, M., Poltoratskiy, M., Spivakovska, Y., Vinnyk, T., Bondarenko, L., & Revenko, Y. (2020). Measuring the Effectiveness of the Implementation of Individual Educational Trajectories by University Students. In ICTERI Workshops (pp. 1286-1297).
Вінник, М., Полторацький, М., & Коннова, О. (2021). Особливості вивчення BI-систем студентами економічних спеціальностей на прикладі фінансової моделі університету. Journal of Information Technologies in Education (ITE), (49), 7-22.
Вінник, М. О., В. В. Одінцов, and М. Ю. Полторацький. "Використання інформаційних технологій при вивченні популяційної біології." (2016).
Aleksander Spivakovsky, Lyubov Petukhova, Maksym Poltoratskyi, Oleksandr Lemeshchuk, Anastasiia Volianiuk, Olena Kazannikova, Nataliia Voropay, Svitlana Chepurna. Theoretical Principles of Measuring and Interpreting Levels of Attention, Involvement and Organizing Feedback of Students to the Educational Process Using Automated Software Products / Теоретичні засади вимірювання та інтерпретації рівнів уваги, залученості та організації зворотного зв’язку студентів до навчального процесу з використанням автоматизованих програмних продуктів. 18 International Conference on ICT in Education, Research and Industrial applications. 2023.
7. Guidelines:
О.В. Співаковський , М. О. Вінник, М. Ю. Полторацький, О. В. Коннова. К84 Співаковський О.В. Криптоекономіка. Навч.- метод. посіб. / О.В. Співаковський, М.О. Вінник, М.Ю. Полторацький, О.В. Коннова. – Херсон: Херсонський державний університет, 2023. – 162 с.
8. Author certificates:
Свідоцтво про реєстрацію авторського права на твір (№59133) "КОМП'ЮТЕРНА ПРОГРАМА WEB - СЕРВІС ПОБУДОВИ РЕЙТИНГІВ НАУКОВЦІВ ВНЗ ЗА ДАНИМИ НАУКОМТРЕЧНИХ СИСТЕМ ТА БАЗ ДАНИХ". Версія 2.0
Свідоцтво про реєстрацію авторського права на твір (№119765) "Автоматизована система збирання, аналізування i представлення наукометричних показників діяльності навчальних закладів освiти".