| Preview | Issue Date | Title | Author(s) | Preview | Type | Issue Date | Title | Author(s) |
| 2012 | Методологія синтезу моделей алгоритмічної складової автоматів | Драган, Я.; Овсяк, В.; Овсяк, О. | | Article | 2012 | Методологія синтезу моделей алгоритмічної складової автоматів | Драган, Я.; Овсяк, В.; Овсяк, О. |
| 2011 | Модель графічного інтерфейсу задання параметрів складеного унітерму | Овсяк, В.; Нізьолек, М.; Петрушка, Ю. | | Article | 2011 | Модель графічного інтерфейсу задання параметрів складеного унітерму | Овсяк, В.; Нізьолек, М.; Петрушка, Ю. |
| 2011 | Модель інформаційної технології опрацювння формул алгоритмів | Овсяк, О. | | Article | 2011 | Модель інформаційної технології опрацювння формул алгоритмів | Овсяк, О. |
| 2010 | Розширення алгебри алгоритмів аксіомами операцій циклів | Овсяк, О. В. | | Article | 2010 | Розширення алгебри алгоритмів аксіомами операцій циклів | Овсяк, О. В. |
| 2011 | Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів | Овсяк, В.; Маркушевський, Т.; Петрушка, Ю. | | Article | 2011 | Синтез моделі підсистеми пошуку стежок доступу до унітермів XML-формул алгоритмів | Овсяк, В.; Маркушевський, Т.; Петрушка, Ю. |
