Pubblicazioni

  • Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G., Microservice Dynamic Architecture-Level Deployment Orchestration, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12717, pp. 257 - 275 (atti di: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, 2021) [Contributo in Atti di convegno]

  • Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.; Sachweh S., Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12717, pp. 276 - 284 (atti di: 23rd IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2021 held as part of 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, 2021) [Contributo in Atti di convegno]

  • Gorrieri R., Branching Place Bisimilarity: A Decidable Behavioral Equivalence for Finite Petri Nets with Silent Moves, in: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Heidelberg, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12719, pp. 80 - 99 (atti di: Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, La Valletta, Malta, 14-18 Giugno 2021) [Contributo in Atti di convegno]

  • Arnaldo Cesco; Roberto Gorrieri, A Decidable Equivalence for a Turing-Complete, Distributed Model of Computation, in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Dagsthul, Schloss Dagstuhl -- Leibniz-Zentrum f{"u}r Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 202, pp. 1 - 18 (atti di: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Tallinn, Estonia, 23-27 agosto 2021) [Contributo in Atti di convegno]

  • Aguzzi C.; Gigli L.; Sciullo L.; Trotta A.; Zonzini F.; De Marchi L.; Di Felice M.; Marzani A.; Cinotti T.S., MODRON: A scalable and interoperable web of things platform for structural health monitoring, in: 2021 IEEE 18th Annual Consumer Communications and Networking Conference, CCNC 2021, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 1 - 7 (atti di: 18th IEEE Annual Consumer Communications and Networking Conference, CCNC 2021, usa, 2021) [Contributo in Atti di convegno]

  • Elias, Jocelyne; Martignon, Fabio; Paris, Stefano, Optimal Split Bearer Control and Resource Allocation for Multi-Connectivity in 5G New Radio, in: 2021 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit), 2021, pp. 187 - 192 (atti di: 2021 Joint European Conference on Networks and Communications & 6G Summit (EuCNC/6G Summit), Porto, Portugal, 8-11 June 2021) [Contributo in Atti di convegno]

  • Xiang, Bin; Elias, Jocelyne; Martignon, Fabio; Di Nitto, Elisabetta, Resource Calendaring for Mobile Edge Computing in 5G Networks, in: ICC 2021 - IEEE International Conference on Communications, 2021, pp. 1 - 6 (atti di: ICC 2021 - IEEE International Conference on Communications, Montreal, Canada, 14-23 June 2021) [Contributo in Atti di convegno]

  • Antici, Francesco; Bolognini, Luca; Inajetovic, Matteo Antonio; Ivasiuk, Bogdan; Galassi, Andrea; Ruggeri, Federico, SubjectivITA: An Italian Corpus for Subjectivity Detection in Newspapers, in: CLEF 2021: Experimental IR Meets Multilinguality, Multimodality, and Interaction, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12880, pp. 40 - 52 (atti di: International Conference of the Cross-Language Evaluation Forum for European Languages, Online, 21 September 2021) [Contributo in Atti di convegno]

  • Lorenzo Rosa, Sagar Jha, Ken Birman, DerechoDDS: Efficiently leveraging RDMA for fast and consistent data distribution, in: Proceedings of the 6th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS 2021), 2021, pp. 1 - 4 (atti di: 6th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS 2021), Munich, Germany, 13/09/2021) [Contributo in Atti di convegno]

  • Roccetti M.; Casini L., The role of inter-regional tourism in the spread of COVID-19 in Italy during the 2020 Summer: A confirmatory study, in: GoodIT 2021 - Proceedings of the 2021 Conference on Information Technology for Social Good, Association for Computing Machinery, Inc, 2021, pp. 1 - 6 (atti di: 1st Conference on Information Technology for Social Good, GoodIT 2021, Rome, Italy, 2021) [Contributo in Atti di convegno]

  • Antonelli M.; Dal Lago U.; Pistone P., On Measure Quantifiers in First-Order Arithmetic, in: Connecting with Computability. 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings, Cham, Springer, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2021, 12813, pp. 12 - 24 (atti di: 17th Conference on Computability in Europe, CiE 2021, Online, 2021) [Contributo in Atti di convegno] Open Access

  • Dal Lago U.; Gavazzo F., Resource transition systems and full abstraction for linear higher-order effectful programs, in: 6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021), Dagstuhl, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 195, pp. 1 - 19 (atti di: 6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, arg, 2021) [Contributo in Atti di convegno] Open Access

  • Dal Lago U.; Kahle R.; Oitavem I., A Recursion-Theoretic Characterization of the Probabilistic Class PP, in: 46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021), Dagstuhl, Schloss Dagstuhl - Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 202, pp. 1 - 12 (atti di: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, est, 2021) [Contributo in Atti di convegno] Open Access

  • Accattoli B.; Dal Lago U.; Vanoni G., The Space of Interaction, in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2021, 2021, pp. 1 - 13 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Online, 2021) [Contributo in Atti di convegno]

  • Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Towards cooperative argumentation for MAS: An actor-based approach, in: WOA 2021 – 22nd Workshop “From Objects to Agents”, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2021, 2963, pp. 162 - 177 (atti di: WOA 2021 – 22nd Workshop “From Objects to Agents”,, Bologna, Italy, 1–3 September 2021) [Contributo in Atti di convegno]

  • Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini, On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction, in: WOA 2021 – 22nd Workshop “From Objects to Agents”, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2021, 2963, pp. 29 - 48 (atti di: WOA 2021 – 22nd Workshop “From Objects to Agents”, Bologna, Italy, 1–3 September 2021) [Contributo in Atti di convegno]

  • Andrea Agiollo, Giovanni Ciatto, Andrea Omicini, Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap, in: WOA 2021 – 22nd Workshop “From Objects to Agents”, Aachen, Sun SITE Central Europe, RWTH Aachen University, «CEUR WORKSHOP PROCEEDINGS», 2021, 2963, pp. 98 - 115 (atti di: WOA 2021 – 22nd Workshop “From Objects to Agents”, Bologna, Italy, 1–3 September 2021) [Contributo in Atti di convegno]

  • Gavazzo F.; Faggian C., A Relational Theory of Monadic Rewriting Systems, Part i, in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), New York, Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2021, 2021, pp. 1 - 14 (atti di: 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome, Italy, 2021) [Contributo in Atti di convegno]

  • Vincenzo Lomonaco, Lorenzo Pellegrini, Andrea Cossu, Antonio Carta, Gabriele Graffieti, Tyler L. Hayes, Matthias De Lange, Marc Masana, Jary Pomponi, Gido M. van de Ven, Martin Mundt, Qi She, Keiland Cooper, Jeremy Forest, Eden Belouadah, Simone Calderara, German I. Parisi, Fabio Cuzzolin, Andreas S. Tolias, Simone Scardapane, Luca Antiga, Subutai Ahmad, Adrian Popescu, Christopher Kanan, Joost van de Weijer, Tinne Tuytelaars, Davide Bacciu, Davide Maltoni, Avalanche: an End-to-End Library for Continual Learning, in: Proceedings of the 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition Workshops (CVPRW 2021), 2021, pp. 3595 - 3605 (atti di: 2021 IEEE/CVF Conference on Computer Vision and Pattern Recognition, Virtual, 19-25 Giugno 2021) [Contributo in Atti di convegno]

  • Lorenzo Pellegrini, Vincenzo Lomonaco, Gabriele Graffieti, Davide Maltoni, Continual Learning at the Edge: Real-Time Training on Smartphone Devices, in: ESANN 2021 Proceedings, 2021, pp. 23 - 28 (atti di: 29th European Symposium on Artificial Neural Networks (ESANN), 2021, Bruges, Belgium, 6-8 October 2021) [Contributo in Atti di convegno]