3 | 2010 | Программная трансляция алгоритмов в пропозициональную логику применительно к комбинаторным задачам | Семёнов Александр Анатольевич, Отпущенников Илья Владимирович | 270 |
4 | 2011 | Вычислительные аспекты древовидной ширины графа | Быкова Валентина Владимировна | 270 |
8 | 2015 | Некоторые структурные свойства квадратичных булевых пороговых функций | Шурупов Андрей Николаевич | 270 |
8 | 2015 | Атрибутное управление доступом к хранилищу данных типа «ключ - значение» | Овсянников Станислав Владимирович, Тренькаев Вадим Николаевич | 270 |
1 | 2009 | Преподавание моделей управления доступом и информационными потоками в рамках дисциплины «Теоретические основы компьютерной безопасности | Девянин Петр Николаевич | 269 |
1 | 2009 | Синтез отказоустойчивых комбинационных схем | Останин Сергей Александрович | 269 |
3 | 2010 | О минимальных реберных k-расширениях направленных звезд | Абросимов Михаил Борисович | 269 |
4 | 2011 | Описание класса подстановок, представимых в виде произведения двух подстановок с фиксированным числом мобильных точек | Пичкур Андрей Борисович | 269 |
5 | 2012 | О достаточных условиях похищения прав доступа в СУБДДП-модели | Смольянинов Владимир Юрьевич | 269 |
5 | 2012 | Об орграфах, имеющих минимальные вершинные 1-расширения с малым количеством дополнительных дуг | Моденова Ольга Владимировна, Абросимов Михаил Борисович | 269 |
8 | 2015 | Верхняя оценка ненадёжности неветвящихся программ с ненадёжным стоп-оператором | Грабовская Светлана Михайловна | 269 |
10 | 2017 | О фрэймворке атрибутного управления доступом ABAC Engine | Олексов Никита Евгеньевич, Брославский Олег Викторович, Колегов Денис Николаевич | 269 |
1 | 2009 | О поточных и автоматных шифрсистемах | Панкратов Иван Владимирович | 268 |
1 | 2009 | Эквивалентное преобразование КНФ, ассоциированных с задачами криптографического анализа, с помощью правил резолюции | Хныкин Иван Геннадьевич | 268 |
1 | 2009 | К вопросу о точных расширениях турниров | Долгов Александр Алексеевич | 268 |
4 | 2011 | Слабоцентральные клоны и проблема полноты в них | Парватов Николай Георгиевич | 268 |
4 | 2011 | Компактные графы и детерминированный алгоритм их синтеза | Мелентьев Виктор Александрович | 268 |
5 | 2012 | Структурные свойства примитивных наборовнатуральных чисел | Кяжин Сергей Николаевич, Фомичев Владимир Михайлович | 268 |
5 | 2012 | Исследование механизмов мандатного и ролевого управленияв системе RSBAC | Свиридов Павел Юрьевич | 268 |
8 | 2015 | Система управления библиотеками для ЛЯПАСа | Сафонов Вадим Олегович | 268 |
4 | 2011 | Подходы к разработке дискреционной ДП-модели современных защищенных операционных систем | Проскурин Вадим Геннадьевич | 267 |
4 | 2011 | О некоторых свойствах предфрактальных графов | Кочкаров Азрет Ахматович, Болуров Нариман Назирович, Сенникова Людмила Игоревна | 267 |
5 | 2012 | Свойство кратных производных бент-функций Касами | Фролова Анастасия Александровна | 267 |
5 | 2012 | Анализ некоторых семантических аспектов исходных текстов программ на основе формальных спецификаций синтаксиса и семантики | Саух Антон Михайлович | 267 |
6 | 2013 | О минимальных рёберных расширениях пальм специального вида | Комаров Дмитрий Дмитриевич | 267 |
6 | 2013 | Сравнительный анализ некоторых алгоритмов распознавания гладких чисел | Арбузов Дмитрий Сергеевич, Туктарова Лидия Игоревна | 267 |
8 | 2015 | О связности графа минимальных расстояний множества бентфункций | Коломеец Николай Александрович | 267 |
3 | 2010 | Аналитический подход к синтезу регулярных структур отказоустойчивых систем | Мелентьев Виктор Александрович | 266 |
4 | 2011 | О расширениях отображений, сохраняющих свойство идентифицируемости | Андреева Людмила Николаевна | 266 |
6 | 2013 | О GPU-реализации ограниченной версии нехронологического алгоритма DPLL | Семенов Александр Анатольевич, Булавинцев Вадим Германович | 266 |
8 | 2015 | Емкость скрытого канала длины пакета | Епишкина Анна Васильевна, Когос Константин Григорьевич | 266 |
1 | 2009 | Обобщенные автоморфизмы кода Рида-Маллера и криптосистема Мак-Элиса-Сидельникова | Чижов Иван Владимирович | 265 |
3 | 2010 | Об информационных потоках по времени в компьютерных системах | Качанов Марк Александрович | 265 |
4 | 2011 | Диофантовость дискретного логарифма | Ерофеев Степан Юрьевич | 265 |
5 | 2012 | О системе Мак-Элиса на некоторых алгебро-геометрических кодах | Глухов Михаил Михайлович | 265 |
6 | 2013 | О нижней оценке числа дополнительных дуг минимального вершинного 1-расширения ориентации цепи | Абросимов Михаил Борисович, Моденова Ольга Владимировна | 265 |
7 | 2014 | Об одном контрпримере для Т-неприводимых расширений сверхстройных деревьев | Осипов Дмитрий Юрьевич | 265 |
8 | 2015 | О числе симметрических координатных функций APN-функции | Виткуп Валерия Александровна | 265 |
3 | 2010 | Моделирование управления доступом и информационными потоками в электронных почтовых системах | Грищенко Константин Александрович | 264 |
5 | 2012 | Реализация массовых операций на многомерных массивах данных | Банных Антон Геннадьевич | 264 |
1 | 2009 | Аналитический подход в теории контекстносвободных языков в нормальной форме Грейбах | Сафонов Константин Владимирович, Егорушкин Олег Игоревич | 263 |
1 | 2009 | Поиск программных ошибок в алгоритмах обработки сложноструктурированных данных | Макаров Алексей Николаевич | 263 |
3 | 2010 | Связь подпространств, на которых аффинны бент-функция и дуальная к ней | Коломеец Николай Александрович | 263 |
4 | 2011 | Разработка ролевой модели безопасности управления доступом и информационными потоками компьютерной системы SELinux | Качанов Марк Александрович | 263 |
5 | 2012 | Нумерация инволюций | Андреева Людмила Николаевна, Потеряева Валентина Александровна | 263 |
6 | 2013 | Экономное представление недоопределённых данных и дизъюнктивные коды | Шоломов Лев Абрамович | 263 |
7 | 2014 | Об обобщениях марковского подхода при изучении алгоритмов блочного шифрования | Погорелов Борис Александрович, Пудовкина Марина Александровна | 263 |
7 | 2014 | Принципы ассоциативной стеганографии | Вершинин Игорь Сергеевич | 263 |
8 | 2015 | Исследование группы биективных дифференцируемых по модулю p функций | Ивачев Артем Сергеевич | 263 |
3 | 2010 | Результаты анализа безопасности систем с простыми траекториями функционирования в рамках базовой ролевой ДП-модели | Девянин Петр Николаевич | 262 |