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

Статистика просмотров:
Эта страница:72
Страницы публикаций:154
Полные тексты:87
E-mail:

https://www.mathnet.ru/rus/person121684
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt

Публикации в базе данных Math-Net.Ru Цитирования
2021
1. Е. М. Винарский, А. В. Демаков, “Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа”, Труды ИСП РАН, 33:5 (2021),  105–116  mathnet
2006
2. А. В. Демаков, “TREEDL: язык описания графовых структур данных и операций над ними”, Выч. мет. программирование, 7:4 (2006),  117–127  mathnet
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024