| Garbage collection of tombstones for optimistic replication systems NS Bjørner, D Teodosiu, R Yavorskiy US Patent 7,290,019, 2007 | 63 | 2007 |
| Provability logics with quantifiers on proofs RE Yavorsky Annals of Pure and Applied Logic 113 (1-3), 373-387, 2001 | 25 | 2001 |
| Research challenges of dynamic socio-semantic networks R Yavorsky CEUR Workshop proceedings 757, 119-122, 2011 | 20 | 2011 |
| Logical schemes for first order theories RE Yavorsky International Symposium on Logical Foundations of Computer Science, 410-418, 1997 | 16 | 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 | 15 | 2019 |
| On the logic of the standard proof predicate RE Yavorsky International Workshop on Computer Science Logic, 527-541, 2000 | 13 | 2000 |
| Combined algorithm for approximating a finite state abstraction of a large system M Veanes, R Yavorsky ICSE’03/Scenarios Workshop, 86-91, 2003 | 12 | 2003 |
| On arithmetical completeness of first-order logics of provability RE Yavorsky Advances In Modal Logic: Volume 3, 1-16, 2002 | 11 | 2002 |
| 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 | 10 | 2017 |
| Brief announcement monitoring of linear distributed computations A Esin, R Yavorskiy, N Zemtsov Distributed Computing: 20th International Symposium, DISC 2006, Stockholm …, 2006 | 8 | 2006 |
| Modeling self-organizing teams in a research environment TV Voznesenskaya, FV Krasnov, RE Yavorsky, PV Chesnokova Бизнес-информатика 13 (2 (eng)), 7-17, 2019 | 7 | 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 | 7 | 2014 |
| Measurement of maturity level of a professional community F Krasnov, R Yavorskiy Business Informatics 23 (1), 2013 | 7 | 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 | 6 | 2019 |
| Overview of applications of passive testing techniques I Itkin, R Yavorskiy Modeling and Analysis of Complex Systems and Processes (MACSPro). CEUR …, 2019 | 6 | 2019 |
| Analysis of images, social networks and texts DI Ignatov, MY Khachay, VG Labunets, N Loukachevitch, SI Nikolenko, ... Springer, New York, 2017 | 6 | 2017 |
| 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 | 6 | 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 | 6 | 2014 |
| 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 | 4 | 2017 |
| Observations on the Decidability of Transitions Y Gurevich, R Yavorskiy Abstract State Machines 2004. Advances in Theory and Practice: 11th …, 2004 | 4 | 2004 |
Fedor KrasnovWB R&DVerified email at wb.ru
