• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Статья
Homing Sequence Derivation with Quantified Boolean Satisfiability

Tu K., Wang H., Jiang J. R. et al.

IEEE Transactions on Computers. 2021.

Глава в книге
Оптимизация компонентов многомодульных систем на основе решения автоматных уравнений.

Широкова Е., Евтушенко Л. Г., Лапутенко А. и др.

В кн.: 2020 Новые информационные технологии в исследовании сложных структур (ICAM 2020). Томск: Издательский Дом Томского государственного университета, 2020. С. 142-142.

Препринт
Preventive Model-based Verification and Repairing for SDN Requests

Burdonov I., Kossachev A., Nina Yevtushenko et al.

arxiv.org. Computer Science. Cornell University, 2020

Сотрудники

Гринкруг Ефим Михайлович

заместитель заведующего кафедрой, Профессор

Заведеев Денис Владиславович

Приглашенный преподаватель

Научные интересы
Карнов Алексей Александрович

Приглашенный преподаватель

Научные интересы
Кричанов Михаил Юрьевич

Приглашенный преподаватель

Научные интересы
Кучук Александр Александрович

Приглашенный преподаватель

Научные интересы
Мельник Дмитрий Михайлович

Приглашенный преподаватель

Научные интересы
Проценко Александр Сергеевич

Приглашенный преподаватель

Научные интересы
Филиол Эрик Адриен Фрэнсис

Ассоциированный сотрудник

Чиликин Дмитрий Сергеевич

Приглашенный преподаватель

Научные интересы