Publications
Auteurs:
Abhishek Kr Singh, Ori Lahav
Publié dans:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Éditeur:
Association for Computing Machinary, Inc.
Auteurs:
Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Publié dans:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Éditeur:
Association for Computing Machinary, Inc.
Auteurs:
Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Publié dans:
Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Éditeur:
Association for Computing Machinary, Inc.
Auteurs:
Ori Lahav, Udi Boker
Publié dans:
ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Éditeur:
Association for Computing Machinary, Inc.
Auteurs:
Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Publié dans:
2023
Éditeur:
CAV
Auteurs:
Yotam Dvir, Ohad Kammar, Ori Lahav
Publié dans:
2022
Éditeur:
APLAS
Auteurs:
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Publié dans:
2022
Éditeur:
ACM
Auteurs:
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Publié dans:
2021
Éditeur:
ACM
Auteurs:
Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Publié dans:
2022
Éditeur:
Springer
Auteurs:
Artem Khyzha, Ori Lahav
Publié dans:
2022
Éditeur:
Springer
Auteurs:
Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Publié dans:
2021
Éditeur:
ACM
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible