Rostislav Yavorskiy
发表
Fedor Krasnov,
Rostislav Yavorskiy,
2013
.
Rostislav Yavorskiy,
Tamara Voznesenskaya,
Ilya Samonenko,
2019,
AIST.
Rostislav Yavorskiy,
Tamara Voznesenskaya,
Kirill Rudakov,
2018,
AIST.
Rostislav Yavorskiy,
2000,
CSL.
Rostislav Yavorskiy,
Alexandra Barysheva,
Anna Golubtsova,
2015,
SNAFCA@ICFCA.
Rostislav Yavorskiy,
1997,
LFCS.
Fedor Krasnov,
Rostislav Yavorskiy,
Sofia Dokuka,
2018
.
Rostislav Yavorskiy,
Mikhail Petrov,
Alexandra Barysheva,
2015,
AIST.
Rostislav Yavorskiy,
Nikolay Zemtsov,
Anton Esin,
2006,
DISC.
Rostislav Yavorskiy,
R. Yavorskiy,
2001,
Ann. Pure Appl. Log..
Rostislav Yavorskiy,
2000,
Advances in Modal Logic.
Fedor Krasnov,
Rostislav Yavorskiy,
Sofia Dokuka,
2016,
AIST.
Rostislav Yavorskiy,
Andrey Novikov,
A. Novikov,
2005,
Abstract State Machines.
Rostislav Yavorskiy,
Vladimir Filatov,
2005,
Abstract State Machines.
Rostislav Yavorskiy,
2005,
J. Log. Comput..
Rostislav Yavorskiy,
Elena Treshcheva,
Anna Gromova,
2019,
2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).
Fedor Krasnov,
Rostislav Yavorskiy,
Evgeniya Vlasova,
2014,
ITQM.
Rostislav Yavorskiy,
Yuri Gurevich,
2004,
Abstract State Machines.
Fedor Krasnov,
Rostislav Yavorskiy,
Evgeniya Vlasova,
2014,
AIST.
Rostislav Yavorskiy,
Evgenii Tsymbalov,
Andrey Novikov,
2019,
2019 IEEE International Conference On Artificial Intelligence Testing (AITest).
Rostislav Yavorskiy,
Iosif Itkin,
2021
.
Rostislav Yavorskiy,
Andrey Novikov,
Anton Esin,
2004
.