|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2021 |
| 1. |
Е. М. Винарский, А. В. Демаков, “Оптимизация программ на ProVerif для криптографических протоколов выработки общего ключа”, Труды ИСП РАН, 33:5 (2021), 105–116  |
|
2020 |
| 2. |
Е. М. Винарский, В. А. Захаров, “О моделировании последовательных реагирующих систем при помощи автоматов, работающих в реальном времени”, Модел. и анализ информ. систем, 27:4 (2020), 396–411 |
| 3. |
И. Б. Бурдонов, Е. М. Винарский, Н. В. Евтушенко, А. С. Косачев, “Совершенные множества путей в полном графе коммутаторов SDN-сети”, Труды ИСП РАН, 32:4 (2020), 245–260 |
2
|
|
2018 |
| 4. |
E. M. Vinarskii, V. A. Zakharov, “On the verification of strictly deterministic behavior of timed finite state machines”, Труды ИСП РАН, 30:3 (2018), 325–340  |
5
|
|
