Засіб статичного аналізу .NET програм за допомогою переписування правил Static Analysis of .NET Programs Using Rewriting Rules. - Tural Mamedov; Anatoliy Doroshenko; Ruslan Shevchenko (UkrPROG, 2020)

Automated Software Design for FPGAs on an Example of Developing a Genetic Algorithm. - Anatoliy Doroshenko; Volodymyr Shymkovych; Olena Yatsenko; Tural Mamedov (ICTERI, 2021)