Publikacje
Autorzy:
Abhishek Kr Singh, Ori Lahav
Opublikowane w:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Wydawca:
Association for Computing Machinary, Inc.
Autorzy:
Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Opublikowane w:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Wydawca:
Association for Computing Machinary, Inc.
Autorzy:
Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Opublikowane w:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Wydawca:
Association for Computing Machinary, Inc.
Autorzy:
Ori Lahav, Udi Boker
Opublikowane w:
ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Wydawca:
Association for Computing Machinary, Inc.
Autorzy:
Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Opublikowane w:
2023
Wydawca:
CAV
Autorzy:
Yotam Dvir, Ohad Kammar, Ori Lahav
Opublikowane w:
2022
Wydawca:
APLAS
Autorzy:
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Opublikowane w:
2022
Wydawca:
ACM
Autorzy:
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Opublikowane w:
2021
Wydawca:
ACM
Autorzy:
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Opublikowane w:
2022
Wydawca:
Springer
Autorzy:
Artem Khyzha, Ori Lahav
Opublikowane w:
2022
Wydawca:
Springer
Autorzy:
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Opublikowane w:
2021
Wydawca:
ACM
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników