Rostislav Yavorskiy
Rostislav Yavorskiy
Docent of Data Analysis and Artificial Intelligence, Higher School of Economics, Moscow
Verified email at - Homepage
TitleCited byYear
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, D Ignatov, J Poelmans, S Kuznetsov
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
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
On arithmetical completeness of first-order logics of provability
RE Yavorsky
Advances In Modal Logic: Volume 3, 1-16, 2002
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
The Structure of Organization: The Coauthorship Network Case
F Krasnov, S Dokuka, R Yavorskiy
International Conference on Analysis of Images, Social Networks and Texts …, 2016
Decidable first order logics
RE Yavorsky
Fundamentalnaya i Prikladnaya Matematika 4 (2), 733-749, 1998
The structure of organization: the coauthorship network case
S Dokuka, R Yavorskiy, F Krasnov
Analysis of Images, Social Networks and Texts. 5th International Conference …, 2017
Profiling Less Active Users in Online Communities.
A Barysheva, A Golubtsova, R Yavorskiy
Indicators of connectivity for urban scientific communities in Russian cities
F Krasnov, RE Yavorskiy, E Vlasova
International Conference on Analysis of Images, Social Networks and …, 2014
Comparison of online communities on the base of lexical analysis of the news feed
F Krasnov, D Ustalov, R Yavorskiy
Proceedings of 2-nd conference on Analysis of Images, Networks and Texts …, 2013
Clusters of computations for a linear transition system
V Filatov, N Zemtsov, R Yavorskiy
Proceedings of European Conference on Complex Systems. Paris, 84, 2005
Observations on the Decidability of Transitions
Y Gurevich, R Yavorskiy
International Workshop on Abstract State Machines, 161-168, 2004
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
Building profiles of blog users based on comment graph analysis: The habrahabr. ru case
A Barysheva, M Petrov, R Yavorskiy
International Conference on Analysis of Images, Social Networks and Texts …, 2015
Analysis of Images, Social Networks and Texts
MY Khachay, A Panchenko, N Konstantinova, RE Yavorsky, DI Ignatov
Springer, 2014
The system can't perform the operation now. Try again later.
Articles 1–20