-
1تقرير
المؤلفون: Khyzha, Artem, Lahav, Ori
مصطلحات موضوعية: Computer Science - Programming Languages
URL الوصول: http://arxiv.org/abs/2111.03881
-
2تقرير
-
3تقرير
المؤلفون: Feldman, Yotam M. Y., Khyzha, Artem, Enea, Constantin, Morrison, Adam, Nanevski, Aleksandar, Rinetzky, Noam, Shoham, Sharon
مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing
URL الوصول: http://arxiv.org/abs/2010.00911
-
4تقرير
-
5كتاب إلكتروني
المؤلفون: Khyzha, ArtemAff9, Aff10, Lahav, OriAff9
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Sergey, Ilya, editorAff8
المصدر: Programming Languages and Systems : 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. 13240:262-289
-
6تقرير
المؤلفون: Khyzha, Artem, Attiya, Hagit, Gotsman, Alexey, Rinetzky, Noam
مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing
URL الوصول: http://arxiv.org/abs/1801.04249
-
7
-
8
-
9كتاب إلكتروني
المؤلفون: Khyzha, ArtemAff14, Dodds, MikeAff15, Gotsman, AlexeyAff14, Parkinson, MatthewAff16
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Yang, Hongseok, editorAff13
المصدر: Programming Languages and Systems : 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings. 10201:639-667
-
10كتاب إلكتروني
المؤلفون: Khyzha, ArtemAff17, Gotsman, AlexeyAff17, Parkinson, MatthewAff18
المساهمون: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Pandu Rangan, C., Series editorAff8, Steffen, Bernhard, Series editorAff9, Terzopoulos, Demetri, Series editorAff10, Tygar, Doug, Series editorAff11, Weikum, Gerhard, Series editorAff12, Fitzgerald, John, editorAff13, Heitmeyer, Constance, editorAff14, Gnesi, Stefania, editorAff15, Philippou, Anna, editorAff16
المصدر: FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. 9995:426-443