المؤلفون: Cruz-Filipe, Luís, Kostopoulou, Sofia, Montesi, Fabrizio, Vistrup, Jonas^{Aff1, IDs0060702401321x_cor4}

المصدر: Computing. :1-27

المؤلفون: Cruz-Filipe, Luís, Graversen, Eva, Montesi, Fabrizio, Peressotti, Marco

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

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

المؤلفون: Bogaerts, Bart^Aff27, Cruz-Filipe, Luís^Aff28

المساهمون: Goos, Gerhard, Series Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, van Leeuwen, Jan, Series Editor^Aff3, Hutchison, David, Editorial Board Member^Aff4, Kanade, Takeo, Editorial Board Member^Aff5, Kittler, Josef, Editorial Board Member^Aff6, Kleinberg, Jon M., Editorial Board Member^Aff7, Kobsa, Alfred, Series Editor^Aff8, Mattern, Friedemann, Editorial Board Member^Aff9, Mitchell, John C., Editorial Board Member^Aff10, Naor, Moni, Editorial Board Member^Aff11, Nierstrasz, Oscar, Series Editor^Aff12, Pandu Rangan, C., Editorial Board Member^Aff13, Sudan, Madhu, Series Editor^Aff14, Terzopoulos, Demetri, Editorial Board Member^Aff15, Tygar, Doug, Editorial Board Member^Aff16, Weikum, Gerhard, Series Editor^Aff17, Vardi, Moshe Y, Series Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Capretta, Venanzio, editor^Aff24, Krebbers, Robbert, editor^Aff25, Wiedijk, Freek, editor^Aff26

المصدر: Logics and Type Systems in Theory and Practice : Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. 14560:84-99

المؤلفون: Cruz-Filipe, Luís, Lugović, Lovro, Montesi, Fabrizio

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

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

المؤلفون: Cruz-Filipe, Luís, Montesi, Fabrizio

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

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

المؤلفون: Cruz-Filipe, Luís, Montesi, Fabrizio, Peressotti, Marco

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

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

المؤلفون: Kjær, Bjørn Angel, Cruz-Filipe, Luís, Montesi, Fabrizio

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

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

المؤلفون: Cruz-Filipe, Luis, Larsen, Kim S., Montesi, Fabrizio, Safina, Larisa

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

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

المؤلفون: Cruz-Filipe, Luís, Graversen, Eva, Lugović, Lovro, Montesi, Fabrizio, Peressotti, Marco

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

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

المؤلفون: Cruz-Filipe, Luís^Aff10, Kostopoulou, Sofia^Aff10, Montesi, Fabrizio^Aff10, Vistrup, Jonas^Aff10

المساهمون: 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, Papadopoulos, George A., editor^Aff7, Rademacher, Florian, editor^Aff8, Soldani, Jacopo, editor^Aff9

المصدر: Service-Oriented and Cloud Computing : 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24–25, 2023, Proceedings. 14183:3-18