Статья ПРИМЕНЕНИЕ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ О ВЫПОЛНИМОСТИ БУЛЕВОЙ ФОРМУЛЫ ДЛЯ ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ ПО СЦЕНАРИЯМ РАБОТЫ Ульянцев В. И., Царев Ф. Н.
Статья МЕТОД ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ АВТОМАТОВ НА ОСНОВЕ МУРАВЬИНЫХ АЛГОРИТМОВ Чивилихин Д. С., Ульянцев В. И.
Статья ПРИМЕНЕНИЕ МЕТОДОВ РЕШЕНИЯ ЗАДАЧИ О ВЫПОЛНИМОСТИ КВАНТИФИЦИРОВАННОЙ БУЛЕВОЙ ФУНКЦИИ ДЛЯ ПОСТРОЕНИЯ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ ПО СЦЕНАРИЯМ РАБОТЫ И ТЕМПОРАЛЬНЫМ СВОЙСТВАМ Ульянцев В. И., Панченко Е. В.
Статья ПОСТРОЕНИЕ АВТОМАТНЫХ ПРОГРАММ ПО СПЕЦИФИКАЦИИ С ПОМОЩЬЮ МУРАВЬИНОГО АЛГОРИТМА НА ОСНОВЕ ГРАФА МУТАЦИЙ Чивилихин Д. С., Ульянцев В. И., Вяткин В. В., Шалыто А. А.
Статья Методы извлечения k-меров и признаков из наборов метагеномных графов де Брейна на основе информации о классах образцов Иванов А. Б., Шалыто А. А., Ульянцев В. И.
Статья Метод сравнительного анализа временных серий наборов данных, заданных в виде множества строк, с использованием графов де Брейна Иванов А. Б., Шалыто А. А., Ульянцев В. И.