Подписаться
Rostislav Yavorskiy
Rostislav Yavorskiy
Exactpro Systems, Colombo, Sri Lanka
Подтвержден адрес электронной почты в домене exactprosystems.com
Название
Процитировано
Процитировано
Год
Garbage collection of tombstones for optimistic replication systems
NS Bjørner, D Teodosiu, R Yavorskiy
US Patent 7,290,019, 2007
632007
Provability logics with quantifiers on proofs
RE Yavorsky
Annals of Pure and Applied Logic 113 (1-3), 373-387, 2001
252001
Research challenges of dynamic socio-semantic networks
R Yavorsky
CEUR Workshop proceedings 757, 119-122, 2011
202011
Logical schemes for first order theories
RE Yavorsky
International Symposium on Logical Foundations of Computer Science, 410-418, 1997
171997
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
152019
On the logic of the standard proof predicate
RE Yavorsky
International Workshop on Computer Science Logic, 527-541, 2000
132000
Combined algorithm for approximating a finite state abstraction of a large system
M Veanes, R Yavorsky
ICSE’03/Scenarios Workshop, 86-91, 2003
112003
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
102017
On arithmetical completeness of first-order logics of provability
RE Yavorsky
Advances In Modal Logic: Volume 3, 1-16, 2002
102002
Brief announcement monitoring of linear distributed computations
A Esin, R Yavorskiy, N Zemtsov
Distributed Computing: 20th International Symposium, DISC 2006, Stockholm …, 2006
82006
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
Business Informatics 23 (1), 2013
72013
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
62019
Modeling self-organizing teams in a research environment
TV Voznesenskaya, FV Krasnov, RE Yavorsky, PV Chesnokova
Бизнес-информатика 13 (2 (eng)), 7-17, 2019
62019
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
62015
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
62014
Overview of applications of passive testing techniques
I Itkin, R Yavorskiy
Modeling and Analysis of Complex Systems and Processes (MACSPro). CEUR …, 2019
52019
Analysis of images, social networks and texts
DI Ignatov, MY Khachay, A Panchenko, N Konstantinova, RE Yavorskiy
Springer, New York, 2017
52017
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
Abstract State Machines 2004. Advances in Theory and Practice: 11th …, 2004
42004
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20