Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Shishkin, Evgeniy Sergeevich
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:37
Abstract pages:429
Full texts:379
References:42

https://www.mathnet.ru/eng/person145540
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-6221-5651

Publications in Math-Net.Ru Citations
2020
1. E. S. Shishkin, E. S. Kislitsyn, “Protocol for certifying cloud computations integrity”, Proceedings of ISP RAS, 32:4 (2020),  115–132  mathnet
2018
2. E. S. Shishkin, “Verifying functional properties of smart contracts using symbolic model-checking”, Proceedings of ISP RAS, 30:5 (2018),  265–288  mathnet  elib 1
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024