Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Merkin-Janson, Leonid Albertovich
Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2
Presentations: 1

Number of views:
This page:126
Abstract pages:252
Full texts:194
References:40
Professor

https://www.mathnet.ru/eng/person167441
List of publications on Google Scholar
List of publications on ZentralBlatt
https://orcid.org/0000-0002-8427-2200

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

Presentations in Math-Net.Ru
1. Bridging the gap between the modern Computer Science and “traditional” practices in Aerospace Engineering: Our experience with teaching the “C++ for Space Ballistics” program
L. A. Merkin-Janson
Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
December 1, 2023   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024