المؤلفون: Manduca, Gianluca, Padovani, Luca, Carosio, Edoardo, Graziani, Giorgio, Stefanini, Cesare, Romano, Donato

المصدر: 2023 IEEE International Workshop on Metrology for Agriculture and Forestry (MetroAgriFor) Metrology for Agriculture and Forestry (MetroAgriFor), 2023 IEEE International Workshop on. :188-193 Nov, 2023

Relation: 2023 IEEE International Workshop on Metrology for Agriculture and Forestry (MetroAgriFor)

المؤلفون: Castellani, Ilaria, Dardha, Ornela, Padovani, Luca, Sangiorgi, Davide

المصدر: EPTCS 387, 2023, pp. 8-25

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

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

المؤلفون: Horne, Ross, Padovani, Luca

المصدر: EPTCS 378, 2023, pp. 26-37

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

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

المؤلفون: Carbone, Marco^Aff26, Castro-Perez, David^Aff27, Ferreira, Francisco^Aff28, Gheri, Lorenzo^Aff29, Jacobsen, Frederik Krogsdal^Aff30, Momigliano, Alberto^Aff31, Padovani, Luca^Aff32, Scalas, Alceste^Aff30, Tirore, Dawit^Aff26, Vassor, Martin^Aff33, Yoshida, Nobuko^Aff33, Zackon, Daniel^Aff34

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, van Leeuwen, Jan, Series Editor^Aff2, Hutchison, David, Editorial Board Member^Aff3, Kanade, Takeo, Editorial Board Member^Aff4, Kittler, Josef, Editorial Board Member^Aff5, Kleinberg, Jon M., Editorial Board Member^Aff6, Kobsa, Alfred, Series Editor^Aff7, Mattern, Friedemann, Editorial Board Member^Aff8, Mitchell, John C., Editorial Board Member^Aff9, Naor, Moni, Editorial Board Member^Aff10, Nierstrasz, Oscar, Series Editor^Aff11, Pandu Rangan, C., Editorial Board Member^Aff12, Sudan, Madhu, Series Editor^Aff13, Terzopoulos, Demetri, Editorial Board Member^Aff14, Tygar, Doug, Editorial Board Member^Aff15, Weikum, Gerhard, Series Editor^Aff16, Vardi, Moshe Y, Series Editor^Aff17, Goos, Gerhard, Founding 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, Castellani, Ilaria, editor^Aff24, Tiezzi, Francesco, editor^Aff25

المصدر: Coordination Models and Languages : 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. 14676:149-158

المؤلفون: Padovani, Luca

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

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

المؤلفون: Ciccone, Luca, Padovani, Luca

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

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

المؤلفون: Ciccone, Luca, Dagnino, Francesco, Padovani, Luca

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

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

المؤلفون: Ciccone, Luca, Dagnino, Francesco, Padovani, Luca

المصدر: In Journal of Logical and Algebraic Methods in Programming June 2024 139

المؤلفون: Ciccone, Luca, Padovani, Luca

المصدر: Logical Methods in Computer Science, Volume 18, Issue 3 (August 31, 2022) lmcs:8335

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

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

المؤلفون: Horne, Ross, Padovani, Luca

المصدر: In Journal of Logical and Algebraic Methods in Programming October 2024 141