Rostislav Yavorskiy
Rostislav Yavorskiy
Exactpro Systems, Colombo, Sri Lanka
Verified email at
Cited by
Cited by
Garbage collection of tombstones for optimistic replication systems
NS Bjørner, D Teodosiu, R Yavorskiy
US Patent 7,290,019, 2007
Provability logics with quantifiers on proofs
RE Yavorsky
Annals of Pure and Applied Logic 113 (1-3), 373-387, 2001
Research challenges of dynamic socio-semantic networks
R Yavorsky
CEUR Workshop proceedings 757, 119-122, 2011
Logical schemes for first order theories
RE Yavorsky
International Symposium on Logical Foundations of Computer Science, 410-418, 1997
User-assisted log analysis for quality control of distributed fintech applications
I Itkin, A Gromova, A Sitnikov, D Legchikov, E Tsymbalov, R Yavorskiy, ...
2019 IEEE International Conference On Artificial Intelligence Testing …, 2019
On the logic of the standard proof predicate
RE Yavorsky
International Workshop on Computer Science Logic, 527-541, 2000
Combined algorithm for approximating a finite state abstraction of a large system
M Veanes, R Yavorsky
ICSE’03/Scenarios Workshop, 86-91, 2003
The structure of organization: The coauthorship network case
F Krasnov, S Dokuka, R Yavorskiy
Analysis of Images, Social Networks and Texts: 5th International Conference …, 2017
On arithmetical completeness of first-order logics of provability
RE Yavorsky
Advances In Modal Logic: Volume 3, 1-16, 2002
Brief announcement monitoring of linear distributed computations
A Esin, R Yavorskiy, N Zemtsov
Distributed Computing: 20th International Symposium, DISC 2006, Stockholm …, 2006
Modeling self-organizing teams in a research environment
TV Voznesenskaya, FV Krasnov, RE Yavorsky, PV Chesnokova
Бизнес-информатика 13 (2 (eng)), 7-17, 2019
Connectivity analysis of computer science centers based on scientific publications datafor major russian cities
F Krasnov, E Vlasova, R Yavorskiy
Procedia Computer Science 31, 892-899, 2014
Measurement of maturity level of a professional community
F Krasnov, R Yavorskiy
Business Informatics 23 (1), 2013
Development of intelligent virtual assistant for software testing team
I Itkin, A Novikov, R Yavorskiy
2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019
Building profiles of blog users based on comment graph analysis: The habrahabr. ru case
A Barysheva, M Petrov, R Yavorskiy
Analysis of Images, Social Networks and Texts: 4th International Conference …, 2015
Indicators of connectivity for urban scientific communities in Russian cities
F Krasnov, RE Yavorskiy, E Vlasova
Analysis of Images, Social Networks and Texts: Third International …, 2014
Overview of applications of passive testing techniques
I Itkin, R Yavorskiy
Modeling and Analysis of Complex Systems and Processes (MACSPro). CEUR …, 2019
Analysis of images, social networks and texts
DI Ignatov, MY Khachay, A Panchenko, N Konstantinova, RE Yavorskiy
Springer, New York, 2017
Analysis of strong and weak ties in oil & gas professional community
F Krasnov, S Dokuka, I Gorshkov, R Yavorskiy
Proceedings of International Workshop on Formal Concept Analysis for …, 2017
Observations on the Decidability of Transitions
Y Gurevich, R Yavorskiy
Abstract State Machines 2004. Advances in Theory and Practice: 11th …, 2004
The system can't perform the operation now. Try again later.
Articles 1–20