Mikhail U. Mandrykin
发表
Alexander K. Petrenko,
Evgeny Novikov,
Alexey V. Khoroshilov,
2015,
Programming and Computer Software.
Alexey V. Khoroshilov,
Mikhail U. Mandrykin,
Denis Efremov,
2018,
ISoLA.
Alexander K. Petrenko,
Alexey V. Khoroshilov,
Vadim S. Mutilin,
2014
.
Alexey V. Khoroshilov,
Mikhail U. Mandrykin,
2015,
Programming and Computer Software.
Vadim S. Mutilin,
Mikhail U. Mandrykin,
Pavel Shved,
2012,
TACAS.
Alexey V. Khoroshilov,
Mikhail U. Mandrykin,
2016,
Programming and Computer Software.
Alexey V. Khoroshilov,
Mikhail U. Mandrykin,
2016,
Programming and Computer Software.
Vadim S. Mutilin,
Karlheinz Friedberger,
Mikhail U. Mandrykin,
2017,
TACAS.
Philipp Wendler,
Stefan Löwe,
Mikhail U. Mandrykin,
2014,
TACAS.
Vadim S. Mutilin,
Mikhail U. Mandrykin,
Pavel Shved,
2012,
Programming and Computer Software.
Alexey V. Khoroshilov,
Mikhail U. Mandrykin,
2017,
Ershov Informatics Conference.
Evgeny Novikov,
Alexey V. Khoroshilov,
Vadim S. Mutilin,
2012,
Programming and Computer Software.
Vadim S. Mutilin,
Mikhail U. Mandrykin,
Pavel Andrianov,
2018,
TACAS.
Mikhail U. Mandrykin,
Denis Efremov,
Grigoriy Volkov,
2018,
2018 Ivannikov Ispras Open Conference (ISPRAS).