|
|
Publications in Math-Net.Ru |
Citations |
|
2021 |
1. |
A. I. Mis'kevich, A. V. Podkopaev, “Radiation characteristics of Ar$_{2}$Cl$^{*}$ excimer molecules under pumping of an Ar + CCl$_{4}$ dense gas mixture by high-energy electrons”, Optics and Spectroscopy, 129:9 (2021), 1146–1151 ; Optics and Spectroscopy, 129:12 (2021), 1273–1278 |
|
2019 |
2. |
E. S. Namakonov, A. V. Podkopaev, “Compilation of OCaml memory model into Power”, Proceedings of ISP RAS, 31:5 (2019), 63–78 |
|
2018 |
3. |
E. A. Moiseenko, A. V. Podkopaev, “Relational programming with memoization and negation”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 11:2 (2018), 35–46 |
|
2017 |
4. |
A. V. Podkopaev, O. Lahav, V. Vafeiadis, “On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:4 (2017), 51–69 |
5. |
A. V. Podkopaev, O. Lahav, V. Vafeiadis, “Promising compilation to ARMv8.3”, Proceedings of ISP RAS, 29:5 (2017), 149–164 |
1
|
|
|
|
2015 |
6. |
A. V. Podkopaev, A. Yu. Korovianskii, I. S. Ozernykh, “A language-independent code formatting by syntactic matching and templates”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2015, no. 4(224), 37–50 |
|
Organisations |
|
|
|
|