Научная деятельность

Основные научные публикации

2018 г.

Статьи в изданиях из списка ВАК

. Пантелеев В.И. Об одном семействе E-замкнутых классов гиперфункций ранга k. / В. И. Пантелеев, Л. В. Рябец // Вестник БГУ. Математика, информатика. – 2018. – Выпуск 3. – С. 14–21.

Статьи, опубликованные в журналах, индексируемых РИНЦ

Пантелеев В.И. О принадлежности частичных функций ранга 2 максимальным мультиклонам / В.И. Пантелеев, Л.В. Рябец // Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23–25 мая 2018 г. : Труды / Отв. ред. В. Б. Алексеев, Д. С. Романов, Б. Р. Данилов. – Москва: МАКС Пресс, 2018. — C. 209-210.
Казимиров А.С. Алгоритмы минимизации стандартных форм мультифункций / А.С. Казимиров // Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23–25 мая 2018 г. : Труды / Отв. ред. В. Б. Алексеев, Д. С. Романов, Б. Р. Данилов. – Москва: МАКС Пресс, 2018. — C. 145-147.
Винокуров С.Ф. Нижняя оценка сложности представлений булевых функций в классе расширенных однородных операторных форм/ С.Ф.Винокуров, А.С.Францева // Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23–25 мая 2018 г. : Труды / Отв. ред. В. Б. Алексеев, Д. С. Романов, Б. Р. Данилов. – Москва: МАКС Пресс, 2018. — C. 83-86.

Статьи и тезисы в прочих изданиях

Пантелеев В.И. О принадлежности частичных функций ранга 2 максимальным мультиклонам / В.И. Пантелеев, Л.В. Рябец // Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23–25 мая 2018 г. : Труды / Отв. ред. В. Б. Алексеев, Д. С. Романов, Б. Р. Данилов. – Москва: МАКС Пресс, 2018. — C. 209-210.
Казимиров А.С. Алгоритмы минимизации стандартных форм мультифункций / А.С. Казимиров // Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23–25 мая 2018 г. : Труды / Отв. ред. В. Б. Алексеев, Д. С. Романов, Б. Р. Данилов. – Москва: МАКС Пресс, 2018. — C. 145-147.
Винокуров С.Ф. Нижняя оценка сложности представлений булевых функций в классе расширенных однородных операторных форм/ С.Ф.Винокуров, А.С.Францева // Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23–25 мая 2018 г. : Труды / Отв. ред. В. Б. Алексеев, Д. С. Романов, Б. Р. Данилов. – Москва: МАКС Пресс, 2018. — C. 83-86.
Винокуров С.Ф. Представление многовыходных булевых функций обратимыми схемами в базисе Тоффоли / С.Ф. Винокуров, А.С. Казимиров, А.С. Францева // XXI Международная конференция по мягким вычислениям и измерениям (SCM-2018). Сборник докладов в 2-х томах. Санкт-Петербург. 23–25 мая 2018 г. – Том 1. – СПб.: СПбГЭТУ «ЛЭТИ», 2018 – С. 748–750.
Винокуров С.Ф. Рекурсивный генетический алгоритм минимизации частично заданных булевых функций / С.Ф. Винокуров, А.С. Казимиров, А.С. Францева // XXI Международная конференция по мягким вычислениям и измерениям (SCM-2018). Сборник докладов в 2-х томах. Санкт-Петербург. 23–25 мая 2018 г. –Том 1. – СПб.: СПбГЭТУ «ЛЭТИ», 2018 – С. 751–753.
Пантелеев В.И. Об одном E-предполном классе гиперфункций ранга k / В.И. Пантелеев, Л.В. Рябец // Мальцевские чтения : тезисы докл. межд. науч. конф. (Новосибирск, 19–22 ноября 2018) – С.200.
Винокуров С.Ф. Сложность булевых функций в классах полиномиальных нормальных форм / С.Ф.Винокуров, А.С.Францева // Мальцевские чтения : тезисы докл. межд. науч. конф. (Новосибирск, 19–22 ноября 2018) – С.30.

2017 г.

Статьи в изданиях из списка ВАК

Зинченко А. С. О классах гиперфункций ранга 2, порожденных максимальными мультиклонами / В. И. Пантелеев, А. С. Зинченко // Изв. Иркут. гос. ун-та. Сер. Математика. – 2017. – Том 21.– С. 61–76.
Балюк А. С. Нижняя оценка сложности поляризованных полиномов семизначных функций / А. С. Балюк, А. С. Зинченко // Изв. Иркут. гос. ун-та. Сер. Математика. – 2017. – Том 22.– С. 18–30.
Казимиров А.С. О сложности стандартных форм мультифункций / А.С. Казимиров // Изв. Иркут. гос. ун-та. Сер. Математика. – 2017. – Том 22.– С. 63–70.
Манцивода А. В. Документное моделирование / А.А. Малых, А.В. Манцивода // Изв. Иркут. гос. ун-та. Сер. Математика. – 2017.– Том 21.– С. 89–107.
Манцивода А. В. Построение локально-простых моделей: методология и практика / И. А. Казаков, И. А. Кустова, Е. Н. Лазебникова, А. В. Манцивода // Изв. Иркут. гос. ун-та. Сер. Математика. – 2017.– Том 22.– С. 71–89.

Статьи, опубликованные в журналах, индексируемых Scopus

A. S. Baliuk, A. S. Zinchenko, Lower bound for the complexity of five-valued polarized polynomials, Discrete Mathematics and Applications, Volume 27, Issue 5, Pages 287–293.
A. Kazimirov, V. Panteleyev, N. Semicheva, Generalized interpretation of variables as a decision-making model in conditions of uncertainty, Soft Computing and Measurements (SCM), 2017 XX IEEE International Conference on, Pages 512–513.
B. Ilyin, A. Kazimirov, V. Panteleyev, S. Reimerov, N. Semicheva, On evolutionary algorithms for Boolean functions minimization, Soft Computing and Measurements (SCM), 2017 XX IEEE International Conference on, Pages 400–402.
S. F. Vinokurov; L. V. Ryabets; A. S. Frantseva, Genetic algorithm in the problem of obtaining minimal Boolean functions representations in the class of Kronecker forms, Soft Computing and Measurements (SCM), 2017 XX IEEE International Conference on, Pages 403–405.
S. F. Vinokurov; L. Ryabets; S. I. Todikov; A. S. Frantseva, Algorithm for constructing minimal representations of multiple-output Boolean functions in the reversible logic circuits, Soft Computing and Measurements (SCM), 2017 XX IEEE International Conference on, Pages 541–543.

Статьи, опубликованные в журналах, индексируемых РИНЦ

Винокуров С.Ф. Высокопроизводительные вычисления в задаче минимизации булевых функций / С.Ф. Винокуров, А.С. Казимиров, С.Ю. Реймеров // «Современные проблемы математического моделирования, обработки изображений и параллельных вычислений 2017» (СПММОИиПВ-2017): труды Междунар. науч. конф. (пос. Дивноморское, 4–11 сентября 2017 г.) Том I; Донской гос. техн. ун-т. – Ростов-на-Дону: ООО «ДГТУ-Принт», 2017. – С. 49–54.
Рябец Л.В. О некоторых E-предполных классах гиперфункций ранга 3 / Л.В. Рябец, М.И. Гончарова // «Алгебра и теория моделей 11» : труды XII Междунар. летней школы-конф. «Пограничные вопросы теории моделей и универсальной алгебры» (г. Новосибирск, 23–29 июня 2017 г.); Новосибирский гос. техн. ун-т. – Новосибирск: Изд-во НГТУ, 2017. – С. 130–133.
Ильин Б.П. Эволюционные алгоритмы в задаче минимизации булевых функций / Б.П. Ильин, А.С. Казимиров, В.И. Пантелеев, С.Ю. Реймеров, Н.Л. Семичева // XX Международная конференция по мягким вычислениям и измерениям (SCM-2017). Сборник докладов в 3-х томах. Санкт-Петербург. 24–26 мая 2017 г. Т.1. — С. 482–485.
Казимиров А.С. Обобщенная интерпретация переменных как модель принятия решения в условиях неоднозначности выбора / А.С. Казимиров, В.И. Пантелеев, Н.Л. Семичева // XX Международная конференция по мягким вычислениям и измерениям (SCM-2017). Сборник докладов в 3-х томах. Санкт-Петербург. 24–26 мая 2017 г. Т.2. — С. 86–88.
Францева А.С. Генетический алгоритм в задаче поиска минимальных представлений функций алгебры логики в классе кронекеровых форм / А.С. Францева, С.Ф. Винокуров, Л.В. Рябец // XX Международная конференция по мягким вычислениям и измерениям (SCM-2017). Сборник докладов в 3-х томах. Санкт-Петербург. 24–26 мая 2017 г. Т.1. — С. 497–500.
Францева А.С. Алгоритм построения минимального представления многовыходных функций алгебры логики в классе обратимых схем / А.С. Францева, С.Ф. Винокуров, Л.В. Рябец, С.И. Тодиков // XX Международная конференция по мягким вычислениям и измерениям (SCM-2017). Сборник докладов в 3-х томах. Санкт-Петербург. 24–26 мая 2017 г. Т.2. — С. 175–178.

Статьи и тезисы в прочих изданиях

Пантелеев В.И. О принадлежности частичных функций ранга 2 максимальным мультиклонам / В.И. Пантелеев // Материалы XVIII международной конференции «Проблемы теоретической кибернетики»: (Пенза, 19–23 июня 2017 г.) / Под редакцией Ю. И. Журавлева. — М. : МАКС Пресс, 2017. — C. 187-188.
Ульянов В.С., Ларионов С.Н., Негреева М.Б., Глотов С.Д. Использование адаптивных методов в улучшении диагностики заболеваний и травм позвоночника / Фундаментальные и прикладные аспекты поражений и повреждений позвоночника: материалы VIII съезда Межрегиональной Ассоциации хирургов-вертебрологов России с международным участием и IV съезда дорожных нейрохирургов (25-26 мая 2017 г.) / Под ред. В.А. Сороковикова, А.О. Гущи. - Иркутск: ИНЦХТ, 2017. - С. 213-214.
Казимиров А.С. Алгоритм минимизации частично заданных булевых функций / А.С. Казимиров, С.Ю. Реймеров // Материалы XVIII международной конференции «Проблемы теоретической кибернетики»: (Пенза, 19–23 июня 2017 г.) / Под редакцией Ю. И. Журавлева. — М. : МАКС Пресс, 2017. — C. 110-112.
Казимиров А.С. Генетический алгоритм минимизации многовыходных булевых функций / А.С. Казимиров, С.Ю. Реймеров // Синтаксис и семантика логических систем: материалы 5-й школы-семинара. – Улан-Удэ: Издательство Бурятского госуниверситета, 2017. – С. 36–40.
Винокуров С.Ф. Алгоритм построения минимальной обратимой схемы, реализующей булеву функцию / С.Ф. Винокуров, С.И. Тодиков, А.С. Францева // Синтаксис и семантика логических систем: материалы 5-й школы-семинара. – Улан-Удэ: Издательство Бурятского госуниверситета, 2017. – С. 27–31.
Гончарова М.И. Е-замкнутые классы гиперфункций ранга 3 / М.И. Гончарова, В.И. Пантелеев, Л.В. Рябец // Синтаксис и семантика логических систем: материалы 5-й школы-семинара. – Улан-Удэ: Издательство Бурятского госуниверситета, 2017. – С. 31–34.
Балюк А.С. Простые числа Ферма и сложность поляризованных полиномов над конечными полями характеристики 2 / А.С. Балюк, А.С. Зинченко // Синтаксис и семантика логических систем: материалы 5-й школы-семинара. – Улан-Удэ: Издательство Бурятского госуниверситета, 2017. – С. 17-20.
Рябец Л.В. Элементы решетки E-замкнутых классов гиперфункций ранга 2 / Л.В. Рябец // Мальцевские чтения : тезисы докл. межд. науч. конф. (Новосибирск, 20–24 ноября 2017) – С.154.
Зубков О.В. О классе полиномиально устойчивых булевых функций и их свойствах/ О.В. Зубков // Синтаксис и семантика логических систем: материалы 5-й школы-семинара. – Улан-Удэ: Издательство Бурятского госуниверситета, 2017. – С. 87–91.
Манцивода А.В. Локально простые модели и реальная жизнь / А.В. Манцивода //Мальцевские чтения: тезисы докл. межд. науч. конф. (Новосибирск, 20–24 ноября 2017) – С 13.

2016 г.

Статьи в изданиях из списка ВАК

Балюк А.С. Нижняя оценка сложности пятизначных функций в классе поляризованных полиномов / А.С. Балюк, А.С. Зинченко // Дискрет. математика. – 2016. – Т. 28, № 4. – С. 29–37.
Балюк А. С. Нижняя оценка сложности функций над конечным полем порядка 4 в классе поляризованных полиномов / А. С. Балюк, А. С. Зинченко // Изв. Иркут. гос. ун-та. Сер. Математика.– 2016. – Т. 16. – С. 19–29.
Винокуров С. Ф. Сложность представлений многовыходных функций алгебры логики / С. Ф. Винокуров, А. С. Францева // Изв. Иркут. гос. ун-та. Сер. Математика.– 2016. – Т. 16. – С. 30–42.
Замарацкая С.В. О максимальных клонах ультрафункций ранга 2 / С. В. Замарацкая, В. И. Пантелеев // Изв. Иркут. гос. ун-та. Сер. Математика.– 2016. – Т. 15. – С. 26–37.
Замарацкая С.В. Классификация и типы базисов ультрафункций ранга 2/ С. В. Замарацкая, В. И. Пантелеев // Изв. Иркут. гос. ун-та. Сер. Математика.– 2016. – Т. 16. – С. 58–70.
Казимиров А.С. Генетический алгоритм синтеза дискретных управляющих систем на базе ПЛМ / А.С. Казимиров, С.Ю. Реймеров // Интеллектуальные системы. Теория и приложения. – 2016. – Т. 20. В. 3. – С. 151–154.
Казимиров А.С. Верхние оценки сложности функций над непростыми конечными полями в классе поляризованных полиномов / А.С. Казимиров, С.Ю. Реймеров // Изв. Иркут. гос. ун-та. Сер. Математика. – 2016. – Т. 17. – С. 37–45.
Негреева М.Б. Особенности сочетанной патологии позвоночника и таза у детей, проживающих в условиях воздействия вредных факторов алюминиевого производства / М.Б. Негреева, В.С. Копылов, В.С. Ульянов // Анализ риска здоровью. – 2016. – №3. – С. 13–22.
Рябец Л.В. Операторы параметрического и позитивного замыкания на множестве гиперфункций ранга 2 / Л.В. Рябец // Интеллектуальные системы. Теория и приложения. – 2016 – Т. 20. – Вып. 3. – С.79–84
Рябец Л.В. Параметрически замкнутые классы гиперфункций ранга 2 / Л.В. Рябец // Изв. Иркут. гос. ун-та. Сер. Математика. – 2016. – Т. 17. – С.46 –61.

Статьи, опубликованные в журналах, индексируемых Web of Science

Балюк А. С. Нижняя оценка сложности функций над конечным полем порядка 4 в классе поляризованных полиномов / А. С. Балюк, А. С. Зинченко // Изв. Иркут. гос. ун-та. Сер. Математика. — 2016. – Т. 16. – С. 19–29.
Балюк А.С. Нижняя оценка сложности пятизначных функций в классе поляризованных полиномов / А.С. Балюк, А.С. Зинченко // Дискрет. математика. — 2016. — Т. 28, № 4. — С. 29–37.
Винокуров С. Ф. Сложность представлений многовыходных функций алгебры логики / С. Ф. Винокуров, А. С. Францева // Изв. Иркут. гос. ун-та. Сер. Математика. — 2016. – Т. 16. – С. 30–42.
Замарацкая С.В. О максимальных клонах ультрафункций ранга 2 / С. В. Замарацкая, В. И. Пантелеев // Изв. Иркут. гос. ун-та. Сер. Математика.– 2016. – Т. 15. – С. 26–37.
Замарацкая С.В. Классификация и типы базисов ультрафункций ранга 2 / С. В. Замарацкая, В. И. Пантелеев // Изв. Иркут. гос. ун-та. Сер. Математика.– 2016. – Т. 16. – С. 58–70.
Казимиров А.С. Верхние оценки сложности функций над непростыми конечными полями в классе поляризованных полиномов / А.С. Казимиров, С.Ю. Реймеров // Изв. Иркут. гос. ун-та. Сер. Математика. – 2016. – Т. 17. – С. 37–45.
Рябец Л.В. Параметрически замкнутые классы гиперфункций ранга 2 / Л.В. Рябец // Изв. Иркут. гос. ун-та. Сер. Математика. – 2016. – Т. 17. – С.46 –61.

Статьи, опубликованные в журналах, индексируемых Scopus

S. Vinokurov. Complexity of representations of multiple-output Boolean functions in the reversible logic circuits / A. Frantseva, S. Vinokurov // Proceedings of the XIX International Conference on Soft Computing and Measurement, SCM 2016, May 25–27, 2016. – P. 374–376.Scopus: Article number 7519785, Pages 374-376, Category number CFP16C43-ART; Code 123110.
Kazimirov A. Decision Support System for Medical Prescriptions Based on 4-Valued Logic / S. Vinokurov, A. Kazimirov, N. Pustovoytov, A. Frantseva // Proceedings of the XIX International Conference on Soft Computing and Measurement, SCM 2016, May 25–27, 2016. – P. 307–308.
Kazimirov A.S. On Genetic Algorithms and Neural Networks for Boolean Functions Minimization / A.S. Kazimirov, S.Yu. Reymerov // Proceedings of the XIX International Conference on Soft Computing and Measurement, SCM 2016, May 25–27, 2016. – P. 260–261.
Балюк А.С., Зинченко А.С. Нижняя оценка сложности пятизначных функций в классе поляризованных полиномов / А.С. Балюк, А.С. Зинченко // Дискрет. математика. – 2016. – Т. 28, № 4. – С. 29–37.

Статьи, опубликованные в журналах, индексируемых РИНЦ

Винокуров С.Ф. Система поддержки принятия решений при врачебных назначениях на основе четырехзначной логики / С.Ф. Винокуров, А.С. Казимиров, Н.Ю. Пустовойтов, А.С. Францева // XIX Международная конференция по мягким вычислениям и измерениям (SCM-2016). Сборник докладов в 2-х томах. Санкт-Петербург. 25–27 мая 2016 г. — СПб. Издательство СПбГЭТУ «ЛЭТИ». — Т. 2. С. 10–12.
Винокуров С.Ф. Схемная сложность представлений многовыходных функций алгебры логики в обратимых вычислениях / С.Ф. Винокуров, А.С. Францева // XIX Международная конференция по мягким вычислениям и измерениям SCM’2016: Материалы конф. – Санкт-Петербург, 2016. – С. 130–133.
Казимиров А.С. Генетические алгоритмы и нейронные сети в минимизации булевых функций / А.С. Казимиров, С.Ю. Реймеров // XIX Международная конференция по мягким вычислениям и измерениям (SCM-2016). Сборник докладов в 2-х томах. Санкт-Петербург. 25–27 мая 2016 г. — СПб. Издательство СПбГЭТУ «ЛЭТИ». — Т. 1. С. 474–476.
Ларионов С. Н. Программа оценки факторов и степени риска развития сопутствующих осложнений на модели пациентов с дегенеративными заболеваниями позвоночника /Ларионов С. Н., Манцивода А. В., Негреева М. Б. Ульянов В.С. // Материалы XI Всероссийской школы-семинара «Математическое моделирование и биомеханика в современном университете». – Иркутск, 2016.
Негреева М.Б. Разработка базы данных для исследования сопутствующих осложнений как факторов риска хирургического лечения / М.Б. Негреева, Л.В. Родионова, В.С. Ульянов // Труды V научно-практической конференция молодых ученых СФО и ДВФО. – Иркутск. – 2016.
Негреева М.Б., Копылов В.С., Ульянов В.С. Особенности сочетанной патологии позвоночника и таза у детей, проживающих в условиях воздействия вредных факторов алюминиевого производства / М.Б. Негреева, В.С. Копылов, В.С. Ульянов // Анализ риска здоровью. – 2016. – № 3. – С. 13–22.
Середович А.А. Образовательный сервис «Буратино»: интеграция учебного процесса и технологий социальных сетей / А.А. Середович, В.С. Ульянов // Материалы Первой всероссийской научно-практической конференции с международным участием «Современные проблемы профессионального образования: опыт и пути решения». – 2016.

Статьи, опубликованные в журналах, индексируемых иными системами цитирования

Негреева М.Б. Особенности сочетанной патологии позвоночника и таза у детей, проживающих в условиях воздействия вредных факторов алюминиевого производства / М.Б. Негреева, В.С. Копылов, В.С. Ульянов // Анализ риска здоровью. – 2016. – №3. – С. 13–22.

2015 г.

Статьи в изданиях из списка ВАК

Кириченко К.Д. Об одной комбинаторной задаче для множества двоичных наборов // Известия Иркутского государственного ун-та. Серия: Математика. — Т. 12 — 2015, С. 49-57.
Зубков О.В. Некоторые замкнутые классы унарнопорожденных ультрафункций // Изв. Иркут. гос. ун-та. Сер. Математика. – Т.12 —2015.— С.35-48.
Казимиров А.С., Пантелеев В.И. О классах булевых функций, порожденных максимальными мультиклонами // Вестник Бурятского государственного университета.— 2015. — Выпуск 9/2015, Математика и информатика. — С. 16–22.
А. С. Балюк, Г. В. Янушковский. Операторные полиномиальные формы функций над конечными полями // Труды IX Международной конференции «Дискретные модели в теории управляющих систем». Отв. ред. В.Б. Алексеев, Д.С. Романов, Б.Р.
Данилов. — М.: МАКС Пресс, 2015. — С. 28–30

Статьи, опубликованные в журналах, индексируемых Scopus

Baliuk, A.S. ; Gaidukov, A.I. ; Peryazev, N.A. ; Peryazeva, Yu.V. Mathematical logic models for decision support systems in the case of incomplete information in Proceesings of International Conference on Soft Computing and Measurements SCM`2015, May 19–21, St.Petersburg, Russia, 2015, pp. 217–218.
Kazimirov A., Panteleyev V., Riabets L., Vinokurov S. Decision support system based on 4-valued logic with multi-interpretations // Proceedings of International Conference on Soft Computing and Measurements SCM`2015, May 19–21, St.Petersburg, Russia, 2015, pp. 198–199

Статьи, опубликованные в журналах, индексируемых РИНЦ

А. С. Балюк, Г. В. Янушковский. Операторные полиномиальные формы функций над конечными полями // Труды IX Международной конференции «Дискретные модели в теории управляющих систем». — М.: МАКС Пресс, 2015. — С. 28–30.

Статьи и тезисы в прочих изданиях

Казимиров А.С., Пантелеев В.И. О принадлежности функций алгебры логики максимальным мультиклонам // Мальцевские чтения : тезисы докладов международной конференции, посвященной 75-летию Ю.Л. Ершова (Новосибирск, 3-7 мая 2015 г.). — Новосибирск: Издательство Института математики им. Соболева. — 2015. — С. 185.
Винокуров С.Ф., Казимиров А.С., Пантелеев В.И., Рябец Л.В. Четырехзначная логика с мультиинтерпретациями как модель для системы принятия решений // Сборник докладов XVIII Международной конференции по мягким вычислениям и измерениям. Том 2. — Санкт-Петербург: Изд-во СПбГЭТУ «ЛЭТИ», 2015. — С. 82–85.
А. С. Балюк, Г. В. Янушковский. Операторные полиномиальные формы функций над конечными полями // Труды IX Международной конференции «Дискретные модели в теории управляющих систем». — М.: МАКС Пресс, 2015. — С. 28–30.
Винокуров С.Ф., Казимиров А.С., Пантелеев В.И., Рябец Л.В. Четырехзначная логика с мультиинтерпретациями как модель для системы принятия решений // Сборник докладов XVIII Международной конференции по мягким вычислениям и измерениям. Том 2. — Санкт-Петербург: Изд-во СПбГЭТУ «ЛЭТИ», 2015. — С. 82–85.
А. С. Балюк, Г. В. Янушковский. Операторные полиномиальные формы функций над конечными полями // Труды IX Международной конференции «Дискретные модели в теории управляющих систем». — М.: МАКС Пресс, 2015. — С. 28–30.
А. С. Балюк, Н. А. Перязев, Ю. В. Перязева, А. И. Гайдуков. Логико-математические модели для систем поддержки принятия решений при неполной информации // Сборник докладов XVIII Международной конференции по мягким вычислениям и измерениям. Том 2. — Санкт-Петербург: Изд-во СПбГЭТУ «ЛЭТИ», 2015. — С. 102–104.
Казимиров А.С., Пантелеев В.И. О принадлежности функций алгебры логики максимальным мультиклонам // Мальцевские чтения : тезисы докладов международной конференции, посвященной 75-летию Ю.Л. Ершова (Новосибирск, 3-7 мая 2015 г.). — Новосибирск: Издательство Института математики им. Соболева. — 2015. — С. 185.
А. С. Балюк, Н. А. Перязев, Ю. В. Перязева, А. И. Гайдуков. Логико-математические модели для систем поддержки принятия решений при неполной информации // Сборник докладов XVIII Международной конференции по мягким вычислениям и измерениям. Том 2. — Санкт-Петербург: Изд-во СПбГЭТУ «ЛЭТИ», 2015. — С. 102–104.

2014 г.

Статьи в изданиях из списка ВАК

Казимиров А.С. Классификация и перечисление базисов клона всех гиперфункций ранга 2 / А.С. Казимиров, В.И. Пантелеев, Л.В. Токарева // Изв. Иркут. гос. ун-та. Сер. Математика. – 2014. – Т. 7. – С. 61–78.
Пантелеев В.И. Оператор замыкания с разветвлением по предикату равенства на множестве гиперфункций ранга 2 / В.И. Пантелеев, Л.В. Рябец // Изв. Иркут. гос. ун-та. Сер. Математика. – 2014. – Т. 10. – С. 93–105.
Балюк А.С. О верхней оценке сложности задания квазиполиномами функций над конечными полями / А.С. Балюк // Изв. Иркут. гос. ун-та. Сер. Математика. – 2014. – Т. 10. – С. 3–12
Казаков И.А., Малых А.А.., Манцивода А.В. Погружение реляционных баз данных в объектные онтологии: реализационные аспекты // Изв. Иркут. гос. ун-та. Сер. Математика. – 2014. – Т. 10. – С. 27–44
Погружение реляционных баз данных в объектные онтологии: реализационные аспекты / И.А. Казаков, А.А.Малых, А.В. Манцивода // Известия ИГУ. Сер.Математика. — 2014. — Т. 10. — С.27-43

Статьи, опубликованные в журналах, индексируемых Scopus

A. A. Malykh and A. V. Mantsivoda. List Superstructures and Semantics of Iterators // Journal of Mathematical Sciences, Springer, Vol. 203, No. 4 2014, p540-550.

2013 г.

Статьи в изданиях из списка ВАК

Курганский В.И. Диалоговое решение логических задач/ В.И. Курганский // Компьютерные инструменты в образовании. – 2013. – № 3. – С. 57-64.

Статьи, опубликованные в журналах, индексируемых Scopus

Laura Kovács, Andrei Mantsivoda, Andrei Voronkov. The Inverse Method for Many-Valued Logics// Lecture Notes in Computer Science Volume 8265, 2013, pp 12-23.

Статьи, опубликованные в журналах, индексируемых РИНЦ

Курганский В.И. Реляционная модель данных как основа для решения логических задач/ В.И. Курганский // Современная наука: актуальные проблемы теории и практики. Серия «Естественные и технические науки». – 2012. – № 12. – С. 12-20

Статьи и тезисы в прочих изданиях

Перязев Н.А. О специализации в математическом образовании // Тезисы 3-й всероссийской научной конференции «Философия математики: актуальные проблемы» М.: Центр стратегической конъюнктуры. — 2013. — С. 255-257
Пантелеев В.И. Максимальные в одной последовательности мультиклоны // Мальцевские чтения: тезисы докладов международной конференции (Новосибирск, 11-15 ноября 2013 г.). — Новосибирск: Издательство Института математики им. Соболева. — 2013. — С. 158
Казимиров А.С., Реймеров С.Ю. Алгоритм приближенной минимизации систем булевых функций // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. — Иркутск: Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования» , 2012. — С. 61-63.
Амбросов, Н.В. Зенцова Л.В. Сетевая модель в оценке инноваций // Образование и социально-экономические проблемы развития современного общества: Материалы второй региональной научно-практической конференции. – Иркутск: ВСГАО, 2013. — С. 149-152.
Казимиров А.С., Перязев Н.А. Алгебры унарных мультиопераций // Материалы международной конференции «Мальцевские чтения», 11-15 ноября , 2013. — С. 156.
Манцивода А.В., Малых А.А. Система Libretto: разработка веб-ресурсов в единой модели данных и знаний. 6-я Всеросийская конференция по проблемам управления (МКПУ-2013). — Геленджик, 30.09 – 05.10. 2013. – С.73-75

2012 г.

Статьи в изданиях из списка ВАК

Перязев Н.А., Перязева Ю.В. Первые профессора математики в Иркутске // Известия Иркутского государственного университета. Серия: Математика. — Иркутск: ГОУ ВПО «Иркутский государственный университет», 2012. — Том 5. — № 1. — С. 96-103.
Перязев Н.А., Мусифулина С.Ф. Компьютерная психодиагностика математического мышления. // Педагогическая информатика, 2012. №3. С. 67-73.
Пантелеев В.И. О двух максимальных мультиклонах и частичных ультраклонах // Известия ИГУ. Серия математика. — №.4. — 2012. С.46-53.
Зубков О.В. О числе унарнопорожденных мультиопераций со стандартно определенным операторам суперпозиции // Изв. Иркут. гос. ун-та. Сер. Математика. – 2012. —Т.5-С.21 —27.
Гайдуков А.И., Балюк А.С. Реймеров С.Ю. Подход к формированию, хранению и обработке частично структурированных медицинских документов в формате ISO/HL7 27932:2009 (HL7 CDA R2) в медицинских информационных системах // Врач и информационные технологии, 2012. — №5. — С. 6-15
Ильин Б.П. Обзор программного обеспечения для организации научных вычислений с использованием ОС семейства Linux // Проблемы и перспективы информационно-телекоммуникационных систем на основе свободного программного обеспечения: материалы междунар. науч. конф. — Иркутск: Изд-во БГУЭП, 2012. — С. 52 56.
Ильин Б.П. Использование свободного программного обеспечения для организации параллельных вычислений // Известия Иркутской государственной экономической академии (Байкальский государственный университет экономики и права)(электронный журнал). 2012. №5.
Пантелеев В.И. О двух максимальных мультиклонах и частично ультраклонах // Изв. Иркут. гос. ун-та. Сер. Математика. – 2012. — Т.5-С.46 — 54.
Малых А.А., Манцивода А.В. Объектные теории над списочными надстройками // Известия ИГУ. Серия математика. — No.4. — 2012. С.27—44

Статьи и тезисы в прочих изданиях

Перязев Н.А. Теория суперклонов // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. — Иркутск: Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования» , 2012. — C. 86-94.
Перязев Н.А., Перязева Ю.В. Математическое образование на педагогическом факультете Иркутского государственного университета (1922-1931) // Образование и наука в Байкальской Азии. — Сб. научных трудов, Улан-Удэ: Из-во БГУ, 2012. — С. 82-85.
Зубков О.В. Кулакова С.И. О числе унарнопорожденных мультиопераций с оператором суперпозиции // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. — Иркутск: Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования», 2012. — С. 55-57.
Пантелеев В.И. Об одном максимальном мультиклоне // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. — Иркутск: Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования» , 2012.- С. 82-83.
Казимиров А.С., Реймеров С.Ю. Алгоритм приближенной минимизации систем булевых функций // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. — Иркутск: Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования» , 2012. — С. 61-63.
А. С. Балюк, Ю. А. Добрынина. Нижняя оценка сложности k-значных функций в классе кронекеровых матричных форм // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. — Иркутск: Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования», 2012. — С. 20–22.
Кириченко К.Д. Об одной комбинаторной задаче для множества двоичных наборов. // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. — Иркутск: Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования», 2012. — с. 63-65.
Ильин Б.П. Параллельные эволюционные алгоритмы. // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. — Иркутск: Изд-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования», 2012. — С. 57-61.
Ульянов В.С. Особенности организации электронной библиотеки на принципах Saas // Труды Всероссийской научно-методической конференции «Телематика 2012». - С-Пб., 2012. - С.36-37.
Манцивода А.В., Малых А.А. Абстрактный тип данных «ИТЕРАТОР» как основа семантики языка LIBRETTO. Материалы конференции «Управление в технических, эргатических, организационных и сетевых системах» (УЭТОСС-2012) — Спб.: ГНЦ РВ ОАО «Концерн «ЦНИИ «Электроприбор», 2012. – С.1184-1187.
Манцивода А.В., Малых А.А., Романова О.А. Микроформаты и математические тексты. Труды Всероссийской научно-методической конференции «Телематика 2012». – С-Пб., 2012. – С.37-38.
А. С. Балюк, А. И. Гайдуков, С. Ю. Реймеров. Подход к формированию, хранению и обработке частично структурированных медицинских документов в формате ISO/HL7 27932:2009 (HL7 CDA R2) в медицинских информационных системах // Врач и информационные технологии. — 2012. — № 3. — С. 6–15.
Абдрахимов И.С. Основы программирования на языке Libretto : учеб. пособие / И.С. Абдрахимов, И.А. Казаков, А.А. Середович. — Иркутск : Изд-во ИГУ, 2012. — 104 С.
Малых А.А., Манцивода А.А. Абстрактный тип данных «ИТЕРАТОР» как основа семантики языка LIBRETTO [Текст] // Материалы конференции «Управление в технических, эргатических, организационных и сетевых системах» (УТЭОСС-2012). – СПб.: ГНЦ РФ ОАО «Концерн «ЦНИИ «Электроприбор», 2012. – С. 1184-1187.
Малых А.А., Манцивода А.В., Романова О.А. Микроформаты и математические тексты [Текст] // Труды Всероссийской научно-методической конференции «Телематика 2012». — С-Пб., 2012. — С.37-38.
Абдрахимов И.С., Истомин М.В. Принципы разработки web-интерфейсов на основе платформы Libretto [Текст] // Труды Всероссийской научно-методической конференции «Телематика 2012». — С-Пб., 2012. — С.274-276.
Абдрахимов И.С., Казакова И.Ю. База знаний природных и социальных феноменов Сибири и Монголии [Текст] // Труды Всероссийской научно-методической конференции «Телематика 2012». — С-Пб., 2012. — С.322-323.
Ульянов В.С. Особенности организации электронной библиотеки на принципах Saas [Текст] // Труды Всероссийской научно-методической конференции «Телематика 2012». — С-Пб., 2012. — С.36-37.

2011 г.

Статьи в изданиях из списка ВАК

Zubkov O.V., Chistikov D.V., Voronenko A.A. An Upper Bound on Checking Test Complexity for Almost All Cographs // SYNASC, 2011. — 8 p.
Винокуров С.Ф., Францева А.С. Приближенный алгоритм вычисления сложности обратимой функции в базисе Тоффоли // Изв. Иркут. гос. ун-та. Сер. Математика. — 2011. — Т.4 — С.12-27.
Казимиров А.С., Реймеров С.Ю. Генетический алгоритм поиска минимальных полиномиальных представлений систем булевых функций // Изв. Иркут. гос. ун-та. Сер. Математика. — 2011. — Т.4 —С.82-87.
Ильин Б.П. Эволюционные алгоритмы в задаче минимизации булевых функций // Изв. Иркут. гос. ун-та. Сер. Математика. – 2011.— Т.4 — С.66-82.
Казаков И.А., Манцивода А.В. Базы данных как онтологии // Известия ИГУ. Серия математика. — No.1. — 2011. С.20--30.
Малых А.А, Манцивода А.В. Объектно-ориентированная дескриптивная логика // Известия ИГУ. Серия математика. — No.1. — 2011. С.57—72.

Статьи и тезисы в прочих изданиях

Кириченко К.Д. Свойства шаблонов минимизации полиномиальных форм булевых функций // Проблемы теоретической кибернетики: Материалы XVI международной конференции. — Нижний Новгород: Издательство Нижегородского госуниверситета. — 2011. — С. 198-202.
Пантелеев В.И. Об одной последовательности мультиклонов // Проблемы теоретической кибернетики: Материалы XVI международной конференции. — Нижний Новгород: Издательство Нижегородского госуниверситета. — 2011. — С. 352-355.
Пантелеев В.И. Ультраклоны на 2-х элементном множестве // Тезисы докладов Международной конференции «Мальцевские чтения», 11-14 октября 2011. — Новосибирск: Издательство Института математики им. Соболева. — 2011. — С. 82.
Перязев Н.А. Теория Галуа для клонов и суперклонов // Проблемы теоретической кибернетики: Материалы XVI международной конференции. — Нижний Новгород: Издательство Нижегородского госуниверситета. — 2011. — С. 359-363.
Перязев Н.А. Мультиоперации и суперклоны // Тезисы докладов Международной конференции "Мальцевские чтения», 11-14 октября 2011. — Новосибирск: Издательство Института математики им. Соболева. — 2011. — С. 84.
Перязев Н.А. Математическая модель принятия решений при неполной информации // Компьютерные науки и технологии: сборник трудов Второй Международной научно-технической конференции. 3-5 октября 2011. — Белгород: ООО «ГиК». — 2011, С. 304-305.
Осипова Н.В., Балюк А.С. Открытое тестирование — технология настоящего и будущего // Международная научно-практическая конференция «ИТО в образовании: ресурсы, опыт, тенденции развития», Архангельск: 2011.
Пантелеев В.И. Ультраклоны на 2-х элементном множестве // Мальцевские чтения : тезисы докладов международной конференции (Новосибирск, 11-14 октября 2011 г.). — Новосибирск: Издательство Института математики им. Соболева. — 2011. — С. 82.
Кириченко К.Д. Свойства шаблонов минимизации полиномиальных форм булевых функций // Проблемы теоретической кибернетики: Материалы XVI международной конференции. — Нижний Новгород: Издательство Нижегородского госуниверситета. — 2011. С. 198-202.
Абдрахимов И.С., М.В. Истомин, Концепция системы покомпонентного метаописания текстовых данных объектами онтологий., XVIII Всероссийская научно-методическая конференция «Телематика 2011»
Хенкина А.А., Кохо М.А., Абдрахимов И.С., База знаний фактов об озере Байкал , 4-я Всероссийская мультиконференция по проблемам управления (МКПУ-2011) Локальная научно-техническая конференция «Искусственный интеллект и управление»(ИИУ-2011).
Манцивода А.В., Малых А.А. Libretto: язык программирования как средство логического объектного моделирования. Международная конференция «Мальцевские чтения». — Новосибирск, 2011. – С.130-131.
Пантелеев В.И. Об одном интервале в решетке мультифункций ранга 2 // Математика: Материалы XLIX научной студенческой конференции. Новосибирск: Изд-во Новосиб. гос. ун-та, 2011. С.177.
Балюк А.С., Рябец Л.В. Эволюционные алгоритмы нахождения минимальных представлений булевых функций большого числа переменных в классе кронекеровых форм // Восточно-Сибирская государственная академия образования. Серия: Дискретная математика и информатика. — Иркутск: Издательство Восточно-Сибирской государственной академии образования. — 2011. — Выпуск 20, 15 с.
Ильин Б.П. Параллельные эволюционные алгоритмы // Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара. – Иркутск: ВСГАО, 2012. – С. 57-61
Ильин Б.П. Эволюционные методы оптимизации // Применение математических методов и информационных технологий в экономике: Сб. науч. трудов. – Иркутск: БГУЭП, 2011 – Вып. 10. – С. 102-117.
Абдрахимов И.С., Петухин В.А., Хенкина А.А. База знаний «Флора Байкальской Сибири» в системе Libretto [Текст] // Труды ИМЭИ ИГУ. Математика и информатика.- 2011 .— No.1. — C.15-23.
Абдрахимов И.С. Семантическое тегирование на основе объектных моделей / И.С. Абдрахимов, М.А. Кохо // Труды ИМЭИ ИГУ. Математика и информатика. - Выпуск 1. — 2011, — С5. 5-14.
Абдрахимов И.С. База знаний «Флора Байкальской Сибири» в системе Libretto / И.С. Абдрахимов, В.А. Петухин, А.А. Хенкина // Труды ИМЭИ ИГУ. Математика и информатика, — Выпуск 1, - 2011, — С5. 15-22.
И.А. Казаков. Алгебры Кодда и дескриптивные логики // Известия ИГУ. Серия математика. — No.3. — 2011. С.68—73 Малых А.А., Манцивода А.В. Libretto: язык программирования как средство логического объектного моделирования [Текст] // Международная конференция «Мальцевские чтения». — Новосибирск, 2011. — С.130-131.
Gavryushkina A. A., Kazakov I.A. A formalization of the Codd’s relational algebra in logic SHOIN(D) [Text] // International conference «Mal'tsev meeting». — Novosibirsk, 2011. — P. 134-135.
Малых А.А., Манцивода А.А. Libretto: объектно-ориентированный язык программирования с логическим ядром [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». — 2011. — С. 33-35.
Абдрахимов И.С., Хенкина А.А., Кохо М.А. База знаний фактов об озере Байкал [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011». - 2011. - С. 165-167.
Казаков И.А. Объектные теории баз данных [Текст] // Труды 4-й Всероссийской мультиконференции по проблемам управления «МКПУ-2011«. - 2011. - С. 145-147.
Манцивода А.В., Романова О.А. Онтологии математических текстов [Текст] // Труды Всероссийской научно-методической конференции «Телематика 2011». — С-Пб., 2011. - С.46-47.
Казаков И.А. Управление базами данных в системах онтологий [Текст] // Труды Всероссийской научно-методической конференции «Телематика 2011». — С-Пб., 2011. — С. 266-268.
Ульянов В.С., Малых А.А. Отображение баз знаний системы «Мета-2» в объектный язык программирования [Текст] // Труды Всероссийской научно-методической конференции «Телематика 2011». — С-Пб., 2011. — С. 268-269.
Истомин М.В., Абдрахимов И.С. Концепция системы покомпонентного метаописания текстовых данных объектами онтологий [Текст] // Труды Всероссийской научно-методической конференции «Телематика 2011». — С-Пб., 2011. — С. 311-312.

Авторские свидетельства, патенты

Ульянов В.С. Малых А.А., Манцивода А.В. Система разработки баз знаний на основе онтологий «Мета2» Свидетельство о регистрации программы для ЭВМ No. 2010615217. Зарегистрировано 13.08.2010.
Свидетельство о регистрации программы для ЭВМ No. 2011611365 «Логическая система хранения данных «Ontobox»». Авторы Манцивода А.В., Малых А.А. Зарегистрировано 11.02.2011
Свидетельство о регистрации программы для ЭВМ No. 2011611364 «Интерпретатор языка запросов к логическим базам знаний «Libretto»». Авторы Манцивода А.В., Малых А.А. Зарегистрировано 11.02.2011.
Свидетельство о регистрации программы для ЭВМ No. 2011610717 «Справочно-информационная система «Флора»». Авторы Абдрахимов И.С., Хенкина А.А., Петухин В.А. Зарегистрировано 11.01.2011.
Свидетельство о регистрации программы для ЭВМ No. 2011610184 «Система разработки методанных для мультимедийных ресурсов». Авторы Москвина А.С., Казаков И.А., Манцивода А.В., Кохо М.А. Зарегистрировано 11.01.2011.
Ульянов В.С. Система управления библиотекой библиографических записей «Bib Items» Свидетельство о регистрации программы для ЭВМ No. 2013612930. Зарегистрировано 18.03.2013 Свидетельство о государственной регистрации программ 2015662765. Российская Федерация, Реестр программ для ЭВМ.
Свидетельство о регистрации программы для ЭВМ No. 2013611598 «Система разработки моделей предметных областей «Onto Notes»». Авторы: Малых А.А., Абдрахимов И.С. Зарегистрировано 28.01.2013.
Свидетельство о регистрации программы для ЭВМ No. 2013612930 «Система управления библиотекой библиографических записей «Bib Items»». Авторы: Ульянов В.С. Зарегистрировано 18.03.2013.
Свидетельство о регистрации программы для ЭВМ No. 2014612481 «Система семантической разметки текстовых данных». Авторы: Середович А.А. Зарегистрировано 26.02.2014
А. С. Балюк, А. И. Гайдуков, А. Ю. Пашков, Д.Ю. Шарпинский, Н. А.Чащин, С. Ю. Реймеров, Ф. Е. Ковалёв, С. В. Балюк, Э. В. Катунцев, Н.А. Кузьминых. Медицина. Больница. Свидетельство о государственной регистрации программы для ЭВМ № 2014612887. РосПатент, 2014.
Программа логического анализа и вывода на основе математической модели с возможностью множественных интерпретаций [Текст] / А.С. Казимиров, С.Ф. Винокуров; заявитель и патентообладатель Общество с ограниченной ответственностью «Медицинские решения» (RU). – № 2015619625; заявл. 13.10.15; регистр. 01.12.15.
Свидетельство о государственной регистрации программ 2016660636. Российская Федерация, Реестр программ для ЭВМ. Программа алгоритма вычисления приближенного значения сложности обратимой функции в базисе Тоффоли [Текст] / А.С. Францева, С.Ф. Винокуров, Л.В. Рябец ; заявитель и патентообладатель Федеральное государственное бюджетное образовательное учреждение высшего образования «Иркутский государственный университет» (ФГБОУ ВО "ИГУ») (RU). – № 2016617938/69; заявл. 20.07.16; опубл. 19.09.16, Бюл. № 10. – [1] с.
Свидетельство о государственной регистрации программ 2016660638. Российская Федерация, Реестр программ для ЭВМ. Программа алгоритма синтеза обратимых логических схем в базисе Тоффоли / А.С. Францева, С.Ф. Винокуров, А.С. Балюк, А.С. Казимиров; заявитель и патентообладатель ФГБОУ ВО «ИГУ». – № 2016660638; заявл. 20.06.16; регистр. 19.09.16.
Реализация алгоритма проверки сохранения гиперфункциями ранга 2 предикатов, порождающих максимальные мультиклоны Правообладатель: Федеральное государственное бюджетное образовательное учреждение высшего образования «Иркутский государственный университет» (ФГБОУ ВО «ИГУ») Авторы: Зинченко Анна Сергеевна, Пантелеев Владимир Иннокентьевич, Рябец Леонид Владимирович Заявка № 2017612961 Дата государственной регистрации в Реестре программ для ЭВМ 1 июня 2017 г. 2.
Свидетельство о государственной регистрации программы для ЭВМ 2017614363 Программа алгоритма поиска всех LP-классов булевых функций 5 переменных Правообладатель: Федеральное государственное бюджетное образовательное учреждение высшего образования «Иркутский государственный университет»(ФГБОУ ВО «ИГУ») Авторы: Казимиров Алексей Сергеевич, Ильин Борис Петрович, Пантелеев Владимир Иннокентьевич, Реймеров Сергей Юрьевич, Францева Анастасия Сергеевна, Дата государственной регистрации в Реестре программ для ЭВМ 14 апреля 2017 г.
Свидетельство о государственной регистрации программы для ЭВМ 2017616762 Программа точной минимизации полиномиальных представлений булевых функций 6 переменных Правообладатель: Федеральное государственное бюджетное образовательное учреждение высшего образования «Иркутский государственный университет» (ФГБОУ ВО «ИГУ») Авторы: Казимиров Алексей Сергеевич, Ильин Борис Петрович, Пантелеев Владимир Иннокентьевич, Реймеров Сергей Юрьевич, Францева Анастасия Сергеевна, Дата государственной регистрации в Реестре программ для ЭВМ 13 июня 2017
Свидетельство о государственной регистрации программы для ЭВМ 2017619310 Программа построения минимального представления многовыходных булевых функций в классе обратимых схем. Правообладатель: Федеральное государственное бюджетное образовательное учреждение высшего образования «Иркутский государственный университет» (ФГБОУ ВО «ИГУ»). Авторы: Францева Анастасия Сергеевна, Винокуров Сергей Фёдорович, Рябец Леонид Владимирович. Дата государственной регистрации в Реестре программ для ЭВМ 22 августа 2017 г.
Свидетельство о государственной регистрации программы для ЭВМ 2018614843 Реализация генетического алгоритма минимизации полиномиальных представлений булевых функций 7 переменных. Правообладатель: Федеральное государственное бюджетное образовательное учреждение высшего образования "Иркутский государственный университет" (ФГБОУ ВО "ИГУ"). Авторы: Казимиров Алексей Сергеевич, Винокуров Сергей Федорович, Дата государственной регистрации в Реестре программ для ЭВМ 18 апреля 2018 г.
Свидетельство о государственной регистрации программы для ЭВМ 2018614841 Программа построения алгебр унарных мультиопераций ранга 3. Правообладатель: Федеральное государственное бюджетное образовательное учреждение высшего образования "Иркутский государственный университет" (ФГБОУ ВО "ИГУ"). Авторы: Казимиров Алексей Сергеевич, Дата государственной регистрации в Реестре программ для ЭВМ 18 апреля 2018 г.
Свидетельство о государственной регистрации программы для ЭВМ 2018614842 Реализация алгоритма проверки сохранения и сильного сохранения предикатов гиперфункциями ранга 2. Правообладатель: Федеральное государственное бюджетное образовательное учреждение высшего образования "Иркутский государственный университет" (ФГБОУ ВО "ИГУ"). Авторы: Казимиров Алексей Сергеевич, Пантелеев Владимир Иннокентьевич, Дата государственной регистрации в Реестре программ для ЭВМ 18 апреля 2018 г.

Конференции

2018 г.

Дискретные модели в теории управляющих систем: Х Международная конференция, Москва и Подмосковье, 23–25 мая 2018 г..
XXI Международная конференция по мягким вычислениям и измерениям (SCM-2018), Санкт-Петербург, 23-25 мая 2018 г.
International Spring School on High Performance Computing,San Sebastián, Spain, 23-27 апреля 2018 г.
Международная конференция «Мальцевские чтения — 2018», Новосибирск, 19-23 ноября 2018 г. Новосибирск, 19-23 ноября 2018 г.
Всероссийской научно-практической конференции "Новые информационные технологии в образовательной организации”, Иркутск, 6 ноября 2018 г.

2017 г.

VIII съезд Межрегиональной Ассоциации хирургов-вертебрологов России с международным участием XX, г. Иркутск, 25-26 мая 2017.
Международная конференция по мягким вычислениям и измерениям (SCM-2017), г. Санкт-Петербург 24-26 мая 2017.
Проблемы теоретической кибернетики, г. Пенза, 20-25 июня, 2017XII международная летняя школа-конференция «Пограничные вопросы универсальной алгебры и теории моделей», г. Новосибирск, 23-29 июня 2017.
5-я Российская школа-семинар «Синтаксис и семантика логических систем», г. Улан-Удэ, 8-12 августа, 2017.
Международная научная конференция «Современные проблемы математического моделирования, обработки изображений и параллельных вычислений 2017», пос. Дивноморское, Краснодарский край, 4-11 сентября 2017.
Международная конференция «Мальцевские чтения», г. Новосибирск 20-23 ноября 2017

2016 г.

Всероссийская научно-практическая конференция «Информационные системы и технологии в моделировании и управлении», г. Ялта, филиал Крымского федерального университета 23–24 мая 2016 г.
XIX Международная конференция по мягким вычислениям и измерениям г. Санкт-Петербург, СПбГЭУ «ЛЭТИ» 25–27 мая 2016 г.
XI международная конференция «Интеллектуальные системы и компьютерные науки», г. Москва, МГУ 28 ноября–2 декабря 2016 г.
Первая международная молодежная научная конференция-школа по распределенным гетерогенным вычислительным инфраструктурам, г. Томск, ТПУ 7–10 декабря 2016 г.
Конференция молодых ученых «Россия-Монголия», сентябрь 2016 г.
Международная конференция «Мальцевские чтения» , г. Новосибирск, ИМ 21-24 ноября 2016 г.
Первая всероссийская научно-практическая конференция с международным участием «Современные проблемы профессионального образования: опыт и пути решения», г. Иркутск 26–28 апреля 2016 г.
V научно-практическая конференция молодых ученых СФО и ДВФО, г. Иркутск, апрель 2016 г.
XI Всероссийская школа-семинар «Математическое моделирование и биомеханика в современном университете», г. Иркутск, май 2016 г..

Гранты и другие научные проекты

Гранты ФЦП «Научные и научно-педагогические кадры инновационной России»

«Разработка методов компиляции логического языка запросов» ГК 14.740.11.1001 от 23 мая 2011, тема 113-11-052.
«Проблемы вычислимости в теории моделей» ГК 16.740.11.0567 от 30 мая 2011, тема 113-11-054.
«Логическое моделирование мультимедийных информационных ресурсов» ГК 16.740.11.0574 от 30 мая 2011, тема 113-11-055.
«Разработка системы управления базами знаний, основанной на технологии OntoBox» ГК 16.740.11.0667 от 7 июня 2011, тема 113-11-056.

Гранты РФФИ

«Разработка теории мультиопераций: алгоритмические аспекты функциональных и логических систем» 12-01-00351, 2012-2014 гг. Руководитель Перязев Н.А.
«Функции k-значной логики и их обобщения: алгоритмические вопросы полноты, существования и сложности представлений» 13-01-00621, 2013-2015 гг. Руководитель Пантелеев В.И.
«Замкнутые классы гиперфункций относительно различных операторов замыкания» 16-31-00209 мол_а, 2016-2017 гг. Руководитель Рябец Л.В.
«Полиномиальные представления дискретных функций и мультифункций и их сложность» 16-31-00280 мол_а, 2016-2017 гг. Руководитель Казимиров А.С.

Гранты РНФ

«Логико-вероятностный инструментарий искусственного интеллекта нового поколения» № 17-11-01176. Руководитель Гончаров С.С.

Научные проекты в рамках «ПСР»

«Разработка естественнонаучных баз знаний и веб-сервисов по природной системе озера Байкал» тема № Р212-02-003.
«Поддержка и сопровождение web-системы тестирования и подготовки учеников к сдаче единого государственного экзамена» тема № Р321-02-005.
«Разработка и внедрение информационной системы поддержки образовательного процесса» тема № Р121-02-004