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

Number of views:
This page:52
Abstract pages:281
Full texts:211
References:58
Speciality: 01.01.00 (Mathematics)
Birth date: 23.07.1989
E-mail:

https://www.mathnet.ru/eng/person33646
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-0604-2645

Publications in Math-Net.Ru Citations
2020
1. L. A. Merkin-Janson, R. M. Rezin, N. K. Vasilyev, “Architecture of the formally-verified distributed ledger system innochain”, Model. Anal. Inform. Sist., 27:4 (2020),  472–487  mathnet 2
2. V. A. Kukharenko, K. V. Ziborov, R. F. Sadykov, A. V. Naumchev, R. M. Rezin, L. A. Merkin-Janson, “InnoChain: a distributed ledger for industry with formal verification on all implementation levels”, Model. Anal. Inform. Sist., 27:4 (2020),  454–471  mathnet 5
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024