Rostislav Yavorskiy
Rostislav Yavorskiy
Vice-rector, Surgut State University, Russia
Verified email at surgu.ru
Title
Cited by
Cited by
Year
Garbage collection of tombstones for optimistic replication systems
NS Bjørner, D Teodosiu, R Yavorskiy
US Patent 7,290,019, 2007
502007
Provability logics with quantifiers on proofs
RE Yavorsky
Annals of Pure and Applied Logic 113 (1-3), 373-387, 2001
262001
Research challenges of dynamic socio-semantic networks
R Yavorsky
CEUR Workshop proceedings 757, 119-122, 2011
182011
Logical schemes for first order theories
RE Yavorsky
International Symposium on Logical Foundations of Computer Science, 410-418, 1997
141997
On the logic of the standard proof predicate
RE Yavorsky
International Workshop on Computer Science Logic, 527-541, 2000
122000
Combined algorithm for approximating a finite state abstraction of a large system
M Veanes, R Yavorsky
ICSE’03/Scenarios Workshop, 86-91, 2003
92003
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
72016
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
72014
Measurement of maturity level of a professional community
F Krasnov, R Yavorskiy
62013
On arithmetical completeness of first-order logics of provability
RE Yavorsky
Advances In Modal Logic: Volume 3, 1-16, 2002
62002
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 Texts …, 2014
52014
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
42019
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
42017
Observations on the Decidability of Transitions
Y Gurevich, R Yavorskiy
International Workshop on Abstract State Machines, 161-168, 2004
42004
Overview of Applications of Passive Testing Techniques
I Itkin, R Yavorskiy
Proceedings of the MACSPro Workshop, 21-23, 2019
32019
Team assembly in r&D: A review of imitating modeling approach for science and technology center in oil&Gaz industry
F Krasnov, S Dokuka, R Yavorskiy
International Journal of Open Information Technologies 6 (1), 17-24, 2018
32018
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
32017
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
32015
Profiling Less Active Users in Online Communities.
A Barysheva, A Golubtsova, R Yavorskiy
SNAFCA@ ICFCA, 2015
32015
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
32013
The system can't perform the operation now. Try again later.
Articles 1–20