|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2020 |
| 1. |
М. А. Соловьев, М. Г. Бакулин, С. С. Макаров, Д. В. Манушин, В. А. Падарян, “Практическая абстрактная интерпретация бинарного кода”, Труды ИСП РАН, 32:6 (2020), 101–110  |
1
|
|
2019 |
| 2. |
М. А. Соловьев, М. Г. Бакулин, С. С. Макаров, Д. В. Манушин, В. А. Падарян, “Декодирование машинных команд в задаче абстрактной интерпретации бинарного кода”, Труды ИСП РАН, 31:6 (2019), 65–88 |
1
|
|
2018 |
| 3. |
М. А. Соловьев, М. Г. Бакулин, М. С. Горбачев, Д. В. Манушин, В. А. Падарян, С. С. Панасенко, “О новом поколении промежуточных представлений, применяемых для анализа бинарного кода”, Труды ИСП РАН, 30:6 (2018), 39–68  |
5
|
|
