Machine Learning Methods in Medicine Diagnostics Problem. - Viktoriia Strilets; Nina Bakumenko; Volodymyr Donets; Serhii Chernysh; Mykhaylo Ugryumov; Tamara Goncharova (ICTERI Workshops, 2020)

On Randomization of Reduction Strategies for Typeless Lambda Calculus. - Oleksandr Deineha; Volodymyr Donets; Grygoriy Zholtkevych (ICTERI, 2023)

Estimating Lambda-Term Reduction Complexity with Regression Methods. - Oleksandr Deineha; Volodymyr Donets; Grygoriy Zholtkevych (IT&I, 2023)

Deep Learning Models for Estimating Number of Lambda- Term Reduction Steps. - Oleksandr Deineha; Volodymyr Donets; Grygoriy Zholtkevych (ProfIT AI, 2023)