Игнатьев Алексей Сергеевич

Публикации в базе данных Math-Net.Ru

1. О сходимости гибридного SAT+ROBDD-логического вывода
   
   ПДМ. Приложение, 2012, № 5,  118–120
2. Алгоритмы работы с ROBDD как с базами булевых ограничений
   
   ПДМ, 2010, № 1(7),  86–104
3. Гибридный подход (SAT+ROBDD) в задачах криптоанализа поточных систем шифрования
   
   ПДМ, 2009, № приложение к № 1,  19–20
4. Влияние спейсер-слоев на вольт-амперную характеристику туннельно-резонансных диодов
   
   Физика и техника полупроводников, 26:10 (1992),  1795–1800
5. Исследование процессов формирования слоев нитрида титана при низкоэнергетической имплантации ионов азота в титан
   
   Письма в ЖТФ, 18:10 (1992),  67–73
6. Исследование образования монокристаллических слоев $\beta$-SiC на Si методом высокоинтенсивного ионного легирования (ВИЛ)
   
   Физика и техника полупроводников, 21:5 (1987),  920–922
7. Определение толщины и состава эпитаксиальных слоев в ходе образования структур GaAs$-$Ga$_{1-x}$Al$_{x}$As
   
   ЖТФ, 56:6 (1986),  1198–1201
8. Электронная оже-спектрометрия тонких пленок силицидов платины на кремнии
   
   ЖТФ, 54:6 (1984),  1212–1214