| 2025 |
J |
jnl |
Program. Comput. Softw.
A. I. Vasenina, Yurii Kostyukov, Dmitry Mordvinov
|
| 2024 |
B |
conf |
FASE
Aleksandr Misonizhnik, Sergey Morozov, Yurii Kostyukov, Vladislav Kalugin, Aleksei Babushkin, Dmitry Mordvinov, Dmitry Ivanov
|
| 2024 |
— |
conf |
SBFT@ICSE
Ekaterina Tochilina, Vyacheslav Tamarin, Dmitry Mordvinov, Valentyn Sobol, Sergey Pospelov, Alexey Menshutin, Yury Kamenev, Dmitry Ivanov
|
| 2023 |
B |
conf |
LPAR
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
|
| 2023 |
— |
conf |
ICSE Companion
Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin, Egor Kichin, Egor Kulikov, Aleksandr Misonizhnik, Dmitry Mordvinov, Sergey Morozov, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets
|
| 2021 |
J |
jnl |
CoRR
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
|
| 2021 |
A* |
conf |
PLDI
Yurii Kostyukov, Dmitry Mordvinov, Grigory Fedyukovich
|
| 2019 |
J |
jnl |
CoRR
Yurii Kostyukov, Konstantin Batoev, Dmitry Mordvinov, Michael Kostitsyn, Aleksandr Misonizhnik
|
| 2019 |
A |
conf |
ECOOP
Aleksandr Misonizhnik, Dmitry Mordvinov
|
| 2019 |
B |
conf |
FMCAD
Dmitry Mordvinov, Grigory Fedyukovich
|
| 2017 |
B |
conf |
LPAR
Dmitry Mordvinov, Grigory Fedyukovich
|
| 2017 |
Misc |
conf |
FRUCT
Dmitry Mordvinov, Yurii Litvinov, Timofey Bryksin
|
| 2017 |
J |
jnl |
CoRR
Dmitry Mordvinov, Grigory Fedyukovich
|