Онтологоподібні системи аналізу природномовних текстів Ontological similar systems for analysis of texts of natural language. - Sergii Kryvyi; Nataliia Darchuk; Aleksandr Provotar (UkrPROG, 2018)

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

Logical Approach to the Research of Properties of Software Engineering Ecosystem. - Sergiy Kryvyi; Olena Grinenko; Volodymyr M. Opanasenko (DESSERT, 2020)

Криптосистема на основі абелевих груп і кілець Encryption System Based on Abelian Groups and Rings. - Sergii Kryvyi (UkrPROG, 2020)

Symmetric System for Exchange Information on the Base of Surjective Isomorphism of Rings. - Sergiy Kryvyi; Volodymyr M. Opanasenko; Olena Grinenko; Yulia Nortman (DESSERT, 2022)

Logico-Linguistic Model of Ukrainian Text. - Nataliia Darchuk; Sergii Kryvyi; Victor Sorokin (COLINS (2), 2023)

Ontology-Driven Processing of Transdisciplinary Domain Knowledge. - Oleksandr V. Palagin; Mykola Petrenko; Sergii Kryvyi; Mykola Boyko; Kyrylo Malakhov (CoRR, 2023)

Model of the "Department" Ecosystem. - Sergii Kryvyi; Olena Grinenko (UkrPROG, 2024)