| Smartcheck: Static analysis of ethereum smart contracts S Tikhomirov, E Voskresenskaya, I Ivanitskiy, R Takhaviev, E Marchenko, ... Proceedings of the 1st international workshop on emerging trends in software …, 2018 | 801 | 2018 |
| Smartcheck: Static analysis of ethereum smart contracts. in 2018 ieee/acm 1st international workshop on emerging trends in software engineering for blockchain (wetseb) S Tikhomirov, E Voskresenskaya, I Ivanitskiy, R Takhaviev, E Marchenko, ... IEEE, Gothenburg, Sweden, Sweden 1, 6, 2018 | 26 | 2018 |
| Limit theorems for an infinite-server queuing system EA Chernavskaya Mathematical Notes 98, 653-666, 2015 | 5 | 2015 |
| Limit theorems for infinite-channel queuing systems with heavy-tailed service times EE Bashtova, EA Chernavskaya Analytical and Computational Methods in Probability Theory and its …, 2017 | 2 | 2017 |
| Limit theorems for queueing systems with infinite number of servers and group arrival of requests EA Chernavskaya Moscow University Mathematics Bulletin 71 (6), 257-260, 2016 | 1 | 2016 |
| Victimization of Contemporary Russians F Voscresensky, EA Voskresenskaya Sotsiologicheskie issledovaniya, 139-143, 2022 | | 2022 |
| PROCEEDINGS-INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING S Tikhomirov, E Voskresenskaya, I Ivanitskiy, R Takhaviev, E Marchenko, ... | | 2018 |
| Limit theorems for queuing systems with regenerative doubly stochastic input flow EA Chernavskaya Journal of Mathematical Sciences 214 (1), 34-43, 2016 | | 2016 |
