المؤلفون: Aldini, Alessandro, Ciabattoni, Agata, Pichler, Dominik, Tagliaferri, Mirko

مصطلحات موضوعية: Computer Science - Logic in Computer Science, 03B42, 03B45, F.4.1

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

المؤلفون: Aldini, Alessandro

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

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

المؤلفون: Aldini, Alessandro, Fazio, Davide, Graziani, Pierluigi, Mascella, Raffaele, Tagliaferri, Mirko

مصطلحات موضوعية: Mathematics - Logic

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

المؤلفون: Aldini, Alessandro, Moreno, Suzana M. B. Maranhao, Seigneur, Jean-Marc

المصدر: 2023 20th Annual International Conference on Privacy, Security and Trust (PST) Privacy, Security and Trust (PST), 2023 20th Annual International Conference on. :1-10 Aug, 2023

Relation: 2023 20th Annual International Conference on Privacy, Security and Trust (PST)

المؤلفون: Esposito, Andrea, Aldini, Alessandro, Bernardo, Marco, Rossi, Sabina

مصطلحات موضوعية: Computer Science - Cryptography and Security

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

المؤلفون: Aldini, Alessandro^Aff8, Graziani, Pierluigi^Aff8, Tagliaferri, Mirko^Aff8

المساهمون: 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, Aldini, Alessandro, editor^Aff7

المصدر: Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops : CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers. 14568:54-71

المؤلفون: Esposito, Andrea^Aff9, Aldini, Alessandro^Aff9, Bernardo, Marco^Aff9

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, Goos, Gerhard, 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, Castiglioni, Valentina, editor^Aff7, Francalanza, Adrian, editor^Aff8

المصدر: Formal Techniques for Distributed Objects, Components, and Systems : 44th IFIP WG 6.1 International Conference, FORTE 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings. 14678:39-59

المؤلفون: Aldini, Alessandro, Curzi, Gianluca, Graziani, Pierluigi, Tagliaferri, Mirko

المصدر: In International Journal of Approximate Reasoning June 2024 169

المؤلفون: Esposito, Andrea^Aff9, Aldini, Alessandro^Aff9, Bernardo, Marco^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, Yung, Moti, Editorial Board Member^Aff6, Huisman, Marieke, editor^Aff7, Ravara, António, editor^Aff8

المصدر: Formal Techniques for Distributed Objects, Components, and Systems : 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19–23, 2023, Proceedings. 13910:57-74

المؤلفون: Aldini, Alessandro^Aff12, Alexander, Samuel Allen^Aff13, Graziani, Pierluigi^Aff12

المساهمون: 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, Masci, Paolo, editor^Aff7, Bernardeschi, Cinzia, editor^Aff8, Graziani, Pierluigi, editor^Aff9, Koddenbrock, Mario, editor^Aff10, Palmieri, Maurizio, editor^Aff11

المصدر: Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops : AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26–30, 2022, Revised Selected Papers. 13765:383-399