Pubblicazioni

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]

Géza Kulcsár; Pál Varga; Marek S. Tatara; Federico Montori; Michel A. Iñigo; Gianvito Urgese; Paolo Azzoni, Modeling an Industrial Revolution: How to Manage Large-Scale, Complex IoT Ecosystems?, in: Proceedings of 2021 IFIP/IEEE International Symposium on Integrated Network Management (IM), New York, Institute of Electrical and Electronics Engineers Inc., 2021, pp. 896 - 901 (atti di: 2021 IFIP/IEEE International Symposium on Integrated Network Management (IM), Bordeaux, France, 17-21 May 2021) [Contributo in Atti di convegno] Open Access

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), Dagstuhl, Germany, Schloss Dagstuhl, «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] Open Access

Bacchiani L.; Bravetti M.; Giallorenzo S.; Mauro J.; Talevi I.; Zavattaro G., Microservice Dynamic Architecture-Level Deployment Orchestration, in: Coordination Models and Languages. COORDINATION 2021, 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, June 14–18, 2021) [Contributo in Atti di convegno] Open Access

Giallorenzo S.; Montesi F.; Peressotti M.; Rademacher F.; Sachweh S., Jolie and LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices, in: Coordination Models and Languages. COORDINATION 2021, 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, June 14–18, 2021) [Contributo in Atti di convegno] Open Access

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

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]

Luca Serena, Mirko Zichichi, Gabriele D'Angelo, Stefano Ferretti, Simulation of Hybrid Edge Computing Architectures, in: Proceedings of the 2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2021, Piscataway, New Jersey, IEEE, 2021, pp. 1 - 8 (atti di: 2021 IEEE/ACM 25th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Valencia, Spain, 27-29 September, 2021) [Contributo in Atti di convegno] Open Access

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), «... EUROPEAN CONFERENCE ON NETWORKS AND COMMUNICATIONS», 2021, pp. 187 - 192 (atti di: Joint 30th European Conference on Networks and Communications and 3rd 6G Summit, EuCNC/6G Summit 2021, Porto, Portugal, 8-11 June 2021) [Contributo in Atti di convegno] Open Access

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, «IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS», 2021, pp. 1 - 6 (atti di: IEEE International Conference on Communications - ICC 2021, Montreal, Canada, 14-23 June 2021) [Contributo in Atti di convegno] Open Access

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

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]

Bujari A.; Corradi A.; Foschini L.; Patera L.; Sabbioni A., Enhancing the Performance of Industry 4.0 Scenarios via Serverless Processing at the Edge, in: IEEE International Conference on Communications, Institute of Electrical and Electronics Engineers Inc., «IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS», 2021, pp. 1 - 6 (atti di: 2021 IEEE International Conference on Communications, ICC 2021, Montreal, Canada, 2021) [Contributo in Atti di convegno]

Bellavista P.; Fogli M.; Foschini L.; Giannelli C.; Patera L.; Stefanelli C., QoS-Enabled Semantic Routing for Industry 4.0 based on SDN and MOM Integration, in: IEEE International Conference on High Performance Switching and Routing, HPSR, IEEE Computer Society, 2021, 2021, pp. 1 - 6 (atti di: 22nd IEEE International Conference on High Performance Switching and Routing, HPSR 2021, Paris, France, 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