Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Schlosser Andreas


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

Публикации в базе данных 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

Организации