Подкопаев Антон Викторович

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

1. Излучательные характеристики эксимерных молекул Ar$_{2}$Cl$^{*}$ при накачке плотной газовой смеси Ar + CCl$_{4}$ быстрыми электронами
   
   Оптика и спектроскопия, 129:9 (2021),  1146–1151
2. Компиляция модели памяти OCaml в Power
   
   Труды ИСП РАН, 31:5 (2019),  63–78
3. Реляционное программирование с мемоизацией и отрицанием
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 11:2 (2018),  35–46
4. On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 10:4 (2017),  51–69
5. Обещающая компиляция в ARMv8.3
   
   Труды ИСП РАН, 29:5 (2017),  149–164


6. Языконезависимое форматирование текстов программ на основе сопоставления с образцом и синтаксических шаблонов
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2015, № 4(224),  37–50