Pubblicazioni

  • Francesco Faenza; Claudia Canali; Antonella Carbonaro, Evaluating Different Approaches to Closing the Gender Gap at ICT Summer Camps in Italy, in: Proceedings 4th International Conference on Gender Research, 2021, pp. 104 - 113 (atti di: 4th International Conference on Gender Research, online, 21-22June 2021) [Contributo in Atti di convegno]

  • Jennifer Moss Breen; Antonella Carbonaro, Global Impacts of ICT-Qualified Worker Shortage: Exploring the Need for Educational, Firm-based, and Societal Investments in ICT Human Capital, in: Research and Innovation Forum 2021: Managing Continuity, Innovation, and Change in the Post-Covid World: Technology, Politics and Society, Springer International Publishing, 2021, pp. 1 - 8 (atti di: Research and Innovation Forum 2021, online, April 7-9, 2021) [Contributo in Atti di convegno]

  • Francesco Faenza; Claudia Canali; Antonella Carbonaro, ICT Extra-curricular Activities: the “Digital Girls” Case Study for the Development of Human Capital, in: Research and Innovation Forum 2021: Managing Continuity, Innovation, and Change in the Post-Covid World: Technology, Politics and Society, Springer International Publishing, 2021, pp. 1 - 8 (atti di: Research and Innovation Forum 2021, online, April 7-9, 2021) [Contributo in Atti di convegno]

  • Croatti A.; Ricci A., Programming agent-based mobile apps: The JaCa-android framework, in: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), «PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS», 2021, 3, pp. 1712 - 1714 (atti di: 20th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2021, London, UK, 2021) [Contributo in Atti di convegno]

  • Saverio Giallorenzo; Fabrizio Montesi; Marco Peressotti; David Richter; Guido Salvaneschi; Pascal Weisenburger, Multiparty Languages: The Choreographic and Multitier Cases, in: 35th European Conference on Object-Oriented Programming, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference), «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2021, 194, pp. 1 - 27 (atti di: 35th European Conference on Object-Oriented Programming, ECOOP 2021, Aarhus, Denmark (Virtual Conference), July 11-17, 2021) [Contributo in Atti di convegno]

  • 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] Open Access

  • 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]