Е. А. Юлюгин Моделирование инструкций поддержки транзакционной памяти в современных центральных процессорах Подробнее
И. С. Калинников Алгоритм поиска приближенной композиционной модели Липшиц-ограниченной сюръективной функции Подробнее
