المؤلفون: Shimon, Yoav Ben, Lahav, Ori, Shoham, Sharon

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

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

المؤلفون: Lotan, Raz, Frenkel, Eden, Shoham, Sharon

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, F.3.1, I.2.2

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

المؤلفون: Frenkel, Eden, Chajed, Tej, Padon, Oded, Shoham, Sharon

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

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

المؤلفون: Elad, Neta, Padon, Oded, Shoham, Sharon

المصدر: Proceedings of the ACM on Programming Languages 8, no. POPL (2024): 970-1000

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

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

المؤلفون: Trabish, David, Rinetzky, Noam, Shoham, Sharon, Sharma, Vaibhav

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

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

المؤلفون: K, Hari Govind V, Garcia-Contreras, Isabel, Shoham, Sharon, Gurfinkel, Arie

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Formal Languages and Automata Theory

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

المؤلفون: Garcia-Contreras, Isabel, K, Hari Govind V, Shoham, Sharon, Gurfinkel, Arie

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

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

المؤلفون: Itzhaky, Shachar, Shoham, Sharon, Vizel, Yakir

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

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

المؤلفون: Wilcox, James R.^Aff9, Feldman, Yotam M. Y.^Aff10, Padon, Oded^Aff11, Shoham, Sharon^Aff10

المساهمون: Goos, Gerhard, Series 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, Yung, Moti, Editorial Board Member^Aff6, Gurfinkel, Arie, editor^Aff7, Ganesh, Vijay, editor^Aff8

المصدر: Computer Aided Verification : 36th International Conference, CAV 2024, Montreal, QC, Canada, July 24–27, 2024, Proceedings, Part II. 14682:71-85

المؤلفون: Itzhaky, Shachar^Aff8, Shoham, Sharon^Aff9, Vizel, Yakir^Aff8

المساهمون: 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, Yung, Moti, Editorial Board Member^Aff6, Weirich, Stephanie, editor^Aff7

المصدر: Programming Languages and Systems : 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part II. 14577:212-241