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

Статистика просмотров:
Эта страница:44
Страницы публикаций:234
Полные тексты:83
Списки литературы:28

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

Публикации в базе данных Math-Net.Ru Цитирования
2010
1. M. Anikeev, F. Madlener, A. Schlosser, S. A. Huss, C. Walther, “Automated correctness proof of algorithm variants in elliptic curve cryptography”, Модел. и анализ информ. систем, 17:4 (2010),  7–16  mathnet

Организации
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024