Формалізований метод проектування застосувань в технології GPGPU Transition systems as method of designing applications in GPGPU technology. - Sergii Kryvyi; Sergii Porogilyy; Maksym Slynko (UkrPROG, 2018)

The Verification of Decision Tree Model for Coreference Resolution Using Marked Transition Systems, Petri Nets and Büchi Automata. - Sergiy Pogorilyy; Maksym Slynko; Pavlo Biletskyi (UkrPROG, 2024)