Принципы организации системы ввода/ вывода параллельной потоковой вычислительной системы
Змеев Дмитрий Николаевич,
Левченко Николай Николаевич,
Окунев Анатолий Семенович,
Стемпковский Александр Леонидович
Виртуальные музеи: используемые технологии и анализ передового опыта разработки
Земляков Дмитрий Вячеславович,
Коротков Александр Михайлович,
Никитин Александр Владимирович,
Штыров Андрей Вячеславович
Управление данными экспериментов с использованием современных Web-технологий
Ковалевский Валерий Викторович,
Брагинская Людмила Петровна,
Григорюк Андрей Павлович
Информационные технологии в социологических исследованиях
Нямаахуугийн Батжаргал,
Дармаев Тумэн Гомбоцыренович,
Хабитуев Баир Викторович
Разработка информационной системы для сбора и хранения народных орнаментов
Хабитуев Баир Викторович,
Кочева Татьяна Валерьевна,
Занданова Галина Ильинична,
Дерюгин Даниил Федорович,
Мункбаяр Чулунбат
Usability of AutoProof: a case study of software verification
Khazeev Mansur,
Rivera Victor,
Mazzara Manuel,
Tchitchigin Alexander
Refinement types in Jolie
Tchitchigin Alexander,
Safina Larisa,
Elwakil Mohamed,
Mazzara Manuel,
Montesi Fabrizio,
Rivera Victor
Динамическая компиляция выражений в SQL-запросах для СУБД PostgreSQL
Шарыгин Е.Ю.,
Бучацкий Р.А.,
Скворцов Л.В.,
Жуйков Р.А.,
Мельник Д.М.
Верифицирующий алгоритм для математической модели взаимных блокировок
Парфилов Иван Васильевич,
Свирин Илья Сергеевич,
Силин Павел Александрович,
Шумилов Юрий Юрьевич
Управление правами и потоками в компьютерных сетях
Гусев Кирилл Владимирович,
Сумкин Константин Сергеевич
Разработка программного средства определения местоположения и защиты конфиденциальной информации мобильного телефона
Смирнов Александр Сергеевич,
Фроимсон Михаил Игоревич,
Проничкин Алексей Сергеевич,
Конев Владимир Николаевич,
Хабибуллин Тимур Рамильевич,
Фомин Максим Игоревич,
Даньшин Вадим Владимирович
Геоинформационные системы для поддержки археологических данных
Блохин В.Г.,
Кузьмин Н.М.,
Перерва Е.В.,
Хохлова С.С.,
Шинкарь О.А.
