• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
ФКН
Книга
ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction

Под науч. редакцией: Vitaly Semenov, R. J. Scherer.

CRC Press, 2021.

Статья
Homing Sequence Derivation with Quantified Boolean Satisfiability

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

IEEE Transactions on Computers. 2022. Vol. 71. No. 3. P. 696-711.

Глава в книге
City and building information modelling using IFC standard

Shutkin V., Morozkin N., Zolotov V. et al.

In bk.: ECPPM 2021 – eWork and eBusiness in Architecture, Engineering and Construction. CRC Press, 2021. P. 406-413.

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

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

arxiv.org. Computer Science. Cornell University, 2020

Сотрудники

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

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

Батузов Кирилл Андреевич

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

Научные интересы
Егоров Данила Игоревич

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

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

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

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

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

Научные интересы
Кильдишев Денис Степанович

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

Научные интересы
Лебедев Михаил Сергеевич

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

Садыков Рафаэль Фаритович

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

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

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

Филиол Эрик Адриен Фрэнсис

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

Черток Никита Дмитриевич

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

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

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

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