Статья:

  1. Спицына Н.В., Евтушенко Н.В., Петренко А.Ф. Решение уравнений в алгебре полуавтоматов для операции обобщенной композиции // Вестник ТГУ. Приложение, 2002.- № 1(II). - С. 265-270.
  2. Спицына Н.В., Тренькаев В.Н. К синтезу тестов для композиции конечных автоматов // Вестник ТГУ. Приложение. Серия «Математика. Кибернетика. Информатика», 2003. - № 6. - С. 183-187.

Тезисы:

  1. El-Fakih Kh., A.Kolomeez, S.Prokopenko, N.Yevtushenko Extended Finite State Machine Based Test Derivation Driving By User Defined Faults // International Conference ICST’2008. – 2008. - P. 308-317.
  2. Громов М.Л., Евтушенко Н.В., Коломеец А.В. К синтезу условных тестов для недетерминированных автоматов // Программирование. – 2008. – № 6. - С. 1-11.
  3. Жигулин М.В. Оценка полноты проверки при пассивном тестировании на основе автоматной модели // Новые информационные технологии в исследовании сложных структур : тезисы докладов седьмой Российской конференции с международным участием. – Томск, 2008. - 48 c.
  4. Жигулин М.В., Дмитриев И.М., Попов Д.Д. Алгоритм синтеза проверяющего теста с гарантированной полнотой для конечных временных автоматов с фиксированным набором задержек для модели «черного ящика» // Новые информационные технологии в исследовании сложных структур : тезисы докладов восьмой Российской конференции с международным участием. – Томск, 2010. - 50 c.
  5. Жигулин М.В., Коломеец А.В. Оценка полноты проверки при пассивном тестировании на основе автоматной модели // Известия ТПУ. – 2009. – Т. 314, № 5. - С. 225-228.
  6. Коломеец А.В. Экспериментальное исследование диагностических тестов для локализации одиночных выходных ошибок и ошибок переходов в расширенных автоматах // Наука. Технологии. Инновации: материалы всероссийской научной конференции молодых ученых в 7 ч. Новосибирск: Изд-во НГТУ, 2006. - Ч. 1. - 238–240 c.
  7. Михайлов Ю.В., Коломеец А.В. Проверка переходов в расширенном автомате на основе срезов // Вестник ТГУ. Управление, вычислительная техника и информатика. – 2008. – № 3(4). - С. 110-118.
  8. Прокопенко C.A. Построение проверяющих тестов для недетерминированных автоматов относительно эквивалентности // Тезисы докладов молодых ученых СФТИ на конф., посвященной 70-летию института, 1998. - С. 60-61.

Учебно-методическая литература:

  1. Быкова С.В. Лабораторные работы по машинной графике. Часть 1 // Томск: ТГУ, 1992. - 25 c.
  2. Быкова С.В. Лабораторные работы по машинной графике. Часть 4 // Томск: ТГУ, 1997. - 38 c.
  3. Быкова С.В. Лабораторные работы по машинной графике. Часть 2 // Томск: ТГУ, 1992. - 29 c.
  4. Быкова С.В., Белоусова Н.А. Лабораторные работы по машинной графике. Часть 3 // Томск: ТГУ, 1995. - 21 c.
  5. Быкова С.В., Буркатовская Ю.Б. Булевы функции. Часть 2. // Томск: ТГУ, 2003. - 32 c.
  6. Евтушенко Н.В. Решение уравнений в логическом синтезе // Томск: Изд-во "Спектр" ИОА СО РАН, 1999. - 27 c.
  7. Евтушенко Н.В., Тренькаев В.Н. Методы синтеза тестов для цифровых автоматов: Учебно-методическое пособие // Томск: Изд-во ТГУ, 1997. - 34 c.
  8. Коломеец А.В., Евтушенко Н.В. Циклические коды // Томск: Изд-во ТГУ, 2004. - 32 c.
  9. Паршина Н.А. Сложность алгоритмов. Трудно решаемые задачи // 1997. - 35 c.
  10. Паршина Н.А. Эффективные алгоритмы и структуры данных // Эффективные алгоритмы и структуры данных , 1998. - 27 c.
  11. Паршина Н.А. Математическая логика, 1, 2 ч. // Томск: Изд-во ТГУ, 2000. - 64 c.
  12. Паршина Н.А. Линейная алгебра: алгоритмический подход. Часть 2. Системы линейных уравнений // Томск: ТГУ, 2003. - 35 c.
  13. Прокопенко С.А. Дискретная математика. Часть I // Томск: Изд-во ТГУ, 2003. - 32 c.
  14. Спицына Н.В., Шабалдин А.В. Интернет-программирование. Лабораторные работы. Часть 1: Методическое пособие // Томск: Изд-во ТГУ, 2002. - 50 c.