| Garbage collection of tombstones for optimistic replication systems NS Bjørner, D Teodosiu, R Yavorskiy US Patent 7,290,019, 2007 | 60 | 2007 |
| Provability logics with quantifiers on proofs RE Yavorsky Annals of Pure and Applied Logic 113 (1-3), 373-387, 2001 | 28 | 2001 |
| Research challenges of dynamic socio-semantic networks R Yavorsky CEUR Workshop proceedings 757, 119-122, 2011 | 19 | 2011 |
| Logical schemes for first order theories RE Yavorsky Logical Foundations of Computer Science: 4th International Symposium, LFCS …, 2005 | 17 | 2005 |
| 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 | 14 | 2019 |
| On the logic of the standard proof predicate RE Yavorsky Computer Science Logic: 14th InternationalWorkshop, CSL 2000 Annual …, 2001 | 14 | 2001 |
| 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 |
| Combined algorithm for approximating a finite state abstraction of a large system M Veanes, R Yavorsky ICSE’03/Scenarios Workshop, 86-91, 2003 | 10 | 2003 |
| On arithmetical completeness of first-order logics of provability RE Yavorsky Advances In Modal Logic: Volume 3, 1-16, 2002 | 10 | 2002 |
| 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 | 7 | 2015 |
| 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 |
| Modeling self-organizing teams in a research environment TV Voznesenskaya, FV Krasnov, RE Yavorsky, PV Chesnokova Бизнес-информатика 13 (2 (eng)), 7-17, 2019 | 6 | 2019 |
| 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 |
| Brief announcement: monitoring of linear distributed computations A Esin, R Yavorskiy, N Zemtsov Lecture notes in computer science 4167, 566-568, 2006 | 5 | 2006 |
| Overview of applications of passive testing techniques I Itkin, R Yavorskiy Modeling and Analysis of Complex Systems and Processes (MACSPro). CEUR …, 2019 | 4 | 2019 |
| 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 |
| Analysis of images, social networks and texts DI Ignatov, MY Khachay, A Panchenko, N Konstantinova, RE Yavorskiy Switzerland: Springer …, 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 |
Iosif ItkinExactproПодтвержден адрес электронной почты в домене exactprosystems.com
