Logical Schemes for First-Order Theories. - Rostislav E. Yavorsky (LFCS, 1997)

On Arithmetical Completeness of First-Order Logics of Provability. - Rostislav E. Yavorsky (Advances in Modal Logic, 2000)

On the Logic of the Standard Proof Predicate. - Rostislav E. Yavorsky (CSL, 2000)

Provability logics with quantifiers on proofs. - Rostislav E. Yavorsky (Ann. Pure Appl. Log., 2001)

Observations on the Decidability of Transitions. - Yuri Gurevich; Rostislav Yavorskiy (Abstract State Machines, 2004)

Scenario based Analysis of Linear Computations. - Vladimir Filatov; Rostislav Yavorskiy (Abstract State Machines, 2005)

Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking. - Andrey Novikov; Rostislav Yavorskiy (Abstract State Machines, 2005)

On Kripke-style Semantics for the Provability Logic of Gödel's Proof Predicate with Quantifiers on Proofs. - Rostislav Yavorskiy (J. Log. Comput., 2005)

Brief Announcement Monitoring of Linear Distributed Computations. - Anton Esin; Rostislav Yavorskiy; Nikolay Zemtsov (DISC, 2006)

Indicators of Connectivity for Urban Scientific Communities in Russian Cities. - Fedor Krasnov; Rostislav Yavorskiy; Evgeniya Vlasova (AIST, 2014)

Connectivity Analysis of Computer Science Centers based on Scientific Publications Datafor Major Russian Cities. - Fedor Krasnov; Evgeniya Vlasova; Rostislav Yavorskiy (ITQM, 2014)

Building Profiles of Blog Users Based on Comment Graph Analysis: The Habrahabr.ru Case. - Alexandra Barysheva; Mikhail Petrov; Rostislav Yavorskiy (AIST, 2015)

Profiling Less Active Users in Online Communities. - Alexandra Barysheva; Anna Golubtsova; Rostislav Yavorskiy (SNAFCA@ICFCA, 2015)

The Structure of Organization: The Coauthorship Network Case. - Fedor Krasnov; Sofia Dokuka; Rostislav Yavorskiy (AIST, 2016)

Visualization of Data Science Community in Russia. - Rostislav Yavorskiy; Tamara Voznesenskaya; Kirill Rudakov (AIST, 2018)

Effect of Social Graph Structure on the Utilization Rate in a Flat Organization. - Rostislav Yavorskiy; Tamara Voznesenskaya; Ilya Samonenko (AIST (Supplement), 2019)

User-Assisted Log Analysis for Quality Control of Distributed Fintech Applications. - Iosif Itkin; Anna Gromova; Anton Sitnikov; Dmitry Legchikov; Evgenii Tsymbalov; Rostislav Yavorskiy; Andrey Novikov; Kirill Rudakov (AITest, 2019)

Poster: ClearTH Test Automation Framework: A Running Example of a DLT-Based Post-Trade System. - Vladimir Panarin; Alyona Bulda; Iosif Itkin; Alexey Zverev; Kirill Zagorouiko; Murad Mamedov; Alyona Rybakova; Anna Gromova; Elena Treshcheva; Sergey Tishin; Rostislav Yavorskiy (ICST, 2019)

Development of Intelligent Virtual Assistant for Software Testing Team. - Iosif Itkin; Andrey Novikov; Rostislav Yavorskiy (QRS Companion, 2019)

How the Minimal Degree of a Social Graph Affects the Efficiency of an Organization. - Ilya Samonenko; Tamara Voznesenskaya; Rostislav Yavorskiy (AIST (Supplement), 2020)

Black-Box Testing of Financial Virtual Assistants. - Iosif Itkin; Elena Treshcheva; Luba Konnova; Pavel Braslavski 001; Rostislav Yavorskiy (QRS Companion, 2020)

Intracompany Training in Software Testing: Experience Report. - Iosif Itkin; Natia Sirbiladze; Elena Treshcheva; Rostislav Yavorskiy (ICSTW, 2023)

Test2Text: AI-Based Mapping between Autogenerated Tests and Atomic Requirements. - Elena Treshcheva; Iosif Itkin; Rostislav Yavorskiy; Nikolai Dorofeev (ICSTW, 2025)