Extension of Tuple Calculus to Multisets. - Iryna Lysenko; Olha Moroz (UkrPROG, 2024)

Directions of Two-Symbol Encoding Application in Information and Cyber Security. - Mykola Pratsiovytyi; Volodymyr Astapenya; Yuliia Zhdanova; Svitlana Shevchenko; Iryna Lysenko (CPITS, 2025)