Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Шишкин Евгений Сергеевич
В базах данных Math-Net.Ru
Публикаций: 2
Научных статей: 2

Статистика просмотров:
Эта страница:37
Страницы публикаций:429
Полные тексты:379
Списки литературы:42

https://www.mathnet.ru/rus/person145540
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://orcid.org/0000-0002-6221-5651

Публикации в базе данных Math-Net.Ru Цитирования
2020
1. Е. С. Шишкин, Е. С. Кислицын, “Протокол сертификации целостности облачных вычислений”, Труды ИСП РАН, 32:4 (2020),  115–132  mathnet
2018
2. Е. С. Шишкин, “Проверка функциональных свойств смарт-контрактов методом символьной верификации модели”, Труды ИСП РАН, 30:5 (2018),  265–288  mathnet  elib 1
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024