Formalization and Algebraic Verification of Legal Requirements. - Alexander Godlevskyi; Aleksander Letichevskyi; Vladimir S. Peschanenko; Oleksandr A. Letychevskyi; Maryna Morokhovets; Volodymyr G. Skobelev; Maksym Poltorackiy (ICTERI, 2017)

Development of Rating Systems for Scientometric Indices of Universities. - Aleksandr Spivakovsky; Maksim Vinnik; Maksym Poltorackiy; Yulia Tarasich; Kateryna Panova; Anton Melnichenko (ICTERI Workshops, 2018)

Use of metods of algebraic programming for the formal verification of legal acts. - Volodymyr Peschanenko; Maksym Poltorackiy (UkrPROG, 2018)