Rostislav Yavorskiy

According to our database, Rostislav Yavorskiy authored at least 22 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Intracompany Training in Software Testing: Experience Report.

Iosif Itkin, Natia Sirbiladze, Elena Treshcheva, Rostislav Yavorskiy

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

2020

Black-Box Testing of Financial Virtual Assistants.

Iosif Itkin, Elena Treshcheva, Luba Konnova, Pavel Braslavski, Rostislav Yavorskiy

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

How the Minimal Degree of a Social Graph Affects the Efficiency of an Organization.

Ilya Samonenko, Tamara Voznesenskaya, Rostislav Yavorskiy

Proceedings of the Recent Trends in Analysis of Images, Social Networks and Texts, 2020

2019

Development of Intelligent Virtual Assistant for Software Testing Team.

Iosif Itkin, Andrey Novikov, Rostislav Yavorskiy

Proceedings of the 19th IEEE International Conference on Software Quality, 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

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 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

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2019

Effect of Social Graph Structure on the Utilization Rate in a Flat Organization.

Rostislav Yavorskiy, Tamara Voznesenskaya, Ilya Samonenko

Proceedings of the Analysis of Images, Social Networks and Texts, 2019

2018

Visualization of Data Science Community in Russia.

Rostislav Yavorskiy, Tamara Voznesenskaya, Kirill Rudakov

Proceedings of the Analysis of Images, Social Networks and Texts, 2018

2016

The Structure of Organization: The Coauthorship Network Case.

Fedor Krasnov, Sofia Dokuka, Rostislav Yavorskiy

Proceedings of the Analysis of Images, Social Networks and Texts, 2016

2015

Profiling Less Active Users in Online Communities.

Alexandra Barysheva, Anna Golubtsova, Rostislav Yavorskiy

Proceedings of the Workshop on Social Network Analysis using Formal Concept Analysis in conjunction with the 13th International Conference on Formal Concept Analysis (ICFCA 2015), 2015

Building Profiles of Blog Users Based on Comment Graph Analysis: The Habrahabr.ru Case.

Alexandra Barysheva, Mikhail Petrov, Rostislav Yavorskiy

Proceedings of the Analysis of Images, Social Networks and Texts, 2015

2014

Connectivity Analysis of Computer Science Centers based on Scientific Publications Datafor Major Russian Cities.

Fedor Krasnov, Evgeniya Vlasova, Rostislav Yavorskiy

Proceedings of the Second International Conference on Information Technology and Quantitative Management, 2014

Indicators of Connectivity for Urban Scientific Communities in Russian Cities.

Fedor Krasnov, Rostislav Yavorskiy, Evgeniya Vlasova

Proceedings of the Analysis of Images, Social Networks and Texts, 2014

2006

Brief Announcement Monitoring of Linear Distributed Computations.

Anton Esin, Rostislav Yavorskiy, Nikolay Zemtsov

Proceedings of the Distributed Computing, 20th International Symposium, 2006

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

Applying Formal Semantics of an Object-oriented Language to Program Invariant Checking.

Andrey Novikov, Rostislav Yavorskiy

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

Scenario based Analysis of Linear Computations.

Vladimir Filatov, Rostislav Yavorskiy

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Observations on the Decidability of Transitions.

Yuri Gurevich, Rostislav Yavorskiy

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004

2001

Provability logics with quantifiers on proofs.

Rostislav E. Yavorsky

Ann. Pure Appl. Log., 2001

2000

On the Logic of the Standard Proof Predicate.

Rostislav E. Yavorsky

Proceedings of the Computer Science Logic, 2000

On Arithmetical Completeness of First-Order Logics of Provability.

Rostislav E. Yavorsky

Proceedings of the Advances in Modal Logic 3, 2000

1997

Logical Schemes for First-Order Theories.

Rostislav E. Yavorsky

Proceedings of the Logical Foundations of Computer Science, 4th International Symposium, 1997