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

Number of views:
This page:77
Abstract pages:254
Full texts:95
References:23

https://www.mathnet.ru/eng/person134277
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru Citations
2017
1. A. V. Podkopaev, O. Lahav, V. Vafeiadis, “On compilation correctness for a subset of a promising memory model to the ARMv8.3 memory model”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 10:4 (2017),  51–69  mathnet
2. A. V. Podkopaev, O. Lahav, V. Vafeiadis, “Promising compilation to ARMv8.3”, Proceedings of ISP RAS, 29:5 (2017),  149–164  mathnet  elib 1

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