Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИПМех РАН
Главная
Поиск
Статистика
О проекте
Помощь
2020 Ivannikov Memorial Workshop
сборник
Год издания:
2020
Добавил в систему:
Корныхин Евгений Валерьевич
Статьи, опубликованные в сборнике
2020
A State-based Refinement Technique for Event-B
Khoroshilov Alexey
,
Kuliamin Victor
,
Petrenko Alexander K.
,
Schepetkov Ilya
в сборнике
2020 Ivannikov Memorial Workshop
2020
High Energy Physics Data Popularity : ATLAS Datasets Popularity Case Study
Grigorieva Maria
,
Tretyakov Eugeny
,
Klimentov Alexei
,
Golubkov Dmitry
,
Korchuganova Tatiana
,
Alekseev Aleksandr
,
Artamonov Alexey
,
Galkin Timofei
в сборнике
2020 Ivannikov Memorial Workshop
, с. 22-28
DOI
2020
Three-step Algorithms for Detection of High Degree Nodes in Online Social Networks
Shaikhelislamov D.
,
Drobyshevskiy M.
,
Turdakov D.
,
Yatskov A.
,
Varlamov M.
,
Aivazov D.
в сборнике
2020 Ivannikov Memorial Workshop
, с. 43-48
DOI
2020
Verifying Cryptographic Protocols by Tamarin Prover
Vinarskii Evgenii
,
Demakov Alexey
,
Kamkin Alexander
,
Yevtushenko Nina
в сборнике
2020 Ivannikov Memorial Workshop
, с. 75-81