Studying Mixed Normalization Strategies of Lambda Terms. - Vladyslav Shramenko; Victoriya Kuznietcova; Grygoriy Zholtkevych (ProfIT AI, 2022)

Development of a Syntax for Representing Regular Constraints on the Behavior of Distributed Systems with Output. - Grygoriy Zholtkevych; Pavlo Kovalev; Victoriya Kuznietcova; Anastasiia Morozova (ProfIT AI, 2023)