Разработка информационной системы поддержки коллективной разработки проектов
Попов Геннадий Юрьевич,
Кондратьев Алексей Анатольевич,
Тищенко Игорь Петрович,
Фраленко Виталий Петрович
Особенности пользовательского интерфейса редактора онтологий
Виноградов Андрей Николаевич,
Власова Наталья Александровна,
Куршев Евгений Петрович,
Подобряев Алексей Владимирович,
Сулейманова Елена Анатольевна
Принципы организации системы ввода/ вывода параллельной потоковой вычислительной системы
Змеев Дмитрий Николаевич,
Левченко Николай Николаевич,
Окунев Анатолий Семенович,
Стемпковский Александр Леонидович
Программно-техническая платформа высокопроизводительных вычислений для нефтегазовой промышленности
Биряльцев Евгений Васильевич,
Богданов Павел Борисович,
Галимов Марат Разифович,
Демидов Денис Евгеньевич,
Елизаров Александр Михайлович
Интеграционный подход создания региональной инфраструктуры пространственных данных
Ружников Геннадий Михайлович,
Федоров Роман Константинович,
Хмельнов Алексей Евгеньевич,
Гаченко Андрей Сергеевич,
Фереферов Евгений Сергеевич
Технология создания и ведения муниципальной геоинформационной системы
Гаченко Андрей Сергеевич,
Ружников Геннадий Михайлович,
Хмельнов Алексей Евгеньевич,
Новицкий Юрий Александрович,
Фереферов Евгений Сергеевич
Разработка интерфейса для системы сбора орнаментов
Хабитуев Баир Викторович,
Никонов Алексей Александрович,
Урмакшинова Елена Рониславовна,
Кочева Татьяна Валерьевна
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
