المؤلفون: Khyzha, Artem, Lahav, Ori

مصطلحات موضوعية: Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/2111.03881

المؤلفون: Khyzha, Artem, Lahav, Ori

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2010.13593

المؤلفون: 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

المؤلفون: Khyzha, Artem, Attiya, Hagit, Gotsman, Alexey

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/1908.03179

المؤلفون: Khyzha, Artem^{Aff9, Aff10}, Lahav, Ori^Aff9

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Sergey, Ilya, editor^Aff8

المصدر: 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

المؤلفون: Khyzha, Artem, Attiya, Hagit, Gotsman, Alexey, Rinetzky, Noam

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/1801.04249

المؤلفون: Khyzha, Artem, Dodds, Mike, Gotsman, Alexey, Parkinson, Matthew

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1701.05463

المؤلفون: Khyzha, Artem, Gotsman, Alexey, Parkinson, Matthew

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1609.01171

المؤلفون: Khyzha, Artem^Aff14, Dodds, Mike^Aff15, Gotsman, Alexey^Aff14, Parkinson, Matthew^Aff16

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Yang, Hongseok, editor^Aff13

المصدر: 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

المؤلفون: Khyzha, Artem^Aff17, Gotsman, Alexey^Aff17, Parkinson, Matthew^Aff18

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, Fitzgerald, John, editor^Aff13, Heitmeyer, Constance, editor^Aff14, Gnesi, Stefania, editor^Aff15, Philippou, Anna, editor^Aff16

المصدر: FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. 9995:426-443