Application of the Method for Concurrent Programs Properties Proof to Real-World Industrial Software Systems. - Taras Panchenko (ICTERI, 2016)

Contact center load forecasting and operator schedule planning. - Kateryna Chernichenko; Anastasya Kapkanets; Taras Panchenko (UkrPROG, 2016)

Correctness Property Proof for the Banking System for Money Transfer Payments. - Yulia Ostapovska; Taras Panchenko; Nataliya Polishchuk; Mykita Kartavov (UkrPROG, 2016)

A Formal Proof of Correctness of a Distributed Presentation Software System. - Ievgen Ivanov; Taras Panchenko (ICTERI, 2017)

Quality of Concurrent Shared Memory Programs. - Taras Panchenko; Sunmade Fabunmi (QUATIC, 2018)

Еквівалентність двох систем паралельного виконання Equivalence of two parallel execution systems. - Taras Panchenko; Sunmade Fabunmi (UkrPROG, 2018)

An Approach to Scene Change Detection. - Igor Bieda; Anton Kisil; Taras Panchenko (IDAACS, 2021)

Efficient ECG Analysis with High F1 Score and Low Computation Complexity. - Andrii Yavorskyi; Bohdan Tyshchenko; Taras Panchenko (IDAACS, 2021)

An Effective Approach to Image Embeddings for E-Commerce. - Volodymyr Kubytskyi; Taras Panchenko (IT&I, 2022)