Pubblicazioni

Crafa, Silvia; Laneve, Cosimo; Sartor, Giovanni, Stipula: a domain specific language for legal contracts, in: Programming Languages and the Law, 2022, pp. 1 - 4 (atti di: 49th ACM SIGPLAN Symposium on Principles of Programming Languages, Philadelphia, USA, 16 January 2022) [Contributo in Atti di convegno]

Khowaja, SA; Dev, K; Qureshi, NMF; Khuwaja, P; Foschini, L, Toward Industrial Private AI: A Two-Tier Framework for Data and Model Security, «IEEE WIRELESS COMMUNICATIONS», 2022, 29, pp. 76 - 83 [Articolo in rivista]

Gheri L.; Lanese I.; Sayers N.; Tuosto E.; Yoshida N., Design-By-Contract for Flexible Multiparty Session Protocols, in: 36th European Conference on Object-Oriented Programming (ECOOP 2022), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 222, pp. 1 - 28 (atti di: 36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, 6 - 10 June 2022) [Contributo in Atti di convegno] Open Access

Fabbretti G.; Lanese I.; Stefani J.-B., Generation of a Reversible Semantics for Erlang in Maude, in: Formal Methods and Software Engineering - 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13478, pp. 106 - 122 (atti di: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, esp, 2022) [Contributo in Atti di convegno] Open Access

Bocchi L.; Lanese I.; Mezzina C.A.; Yuen S., The Reversible Temporal Process Language, in: Formal Techniques for Distributed Objects, Components, and Systems - 42nd {IFIP} {WG} 6.1 International Conference, FORTE 2022, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13273, pp. 31 - 49 (atti di: 42nd IFIP WG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, ita, 2022) [Contributo in Atti di convegno] Open Access

Bucchiarone A.; Guidi C.; Lanese I.; Bencomo N.; Spillner J., A MAPE-K Approach to Autonomic Microservices, in: 2022 IEEE 19th International Conference on Software Architecture Companion, ICSA-C 2022, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2022, pp. 100 - 103 (atti di: 19th IEEE International Conference on Software Architecture Companion, ICSA-C 2022, usa, 2022) [Contributo in Atti di convegno] Open Access

Alex Coto, Franco Barbanera, Ivan Lanese, Davide Rossi, Emilio Tuosto, On Formal Choreographic Modelling: A Case Study in EU Business Processes, in: Leveraging Applications of Formal Methods, Verification and Validation.Verification Principles - 11th International Symposium, ISoLA 2022,Rhodes, Greece, October 22-30, 2022, Proceedings, Part {I}, Cham, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13701, pp. 205 - 219 (atti di: ISOLA 2022, Greece, 22-30 October 2022) [Contributo in Atti di convegno] Open Access

Federico Galli, Giulia Grundler, Alessia Fidelangeli, Andrea Galassi, Francesca Lagioia, Elena Palmieri, Federico Ruggeri, Giovanni Sartor, Paolo Torroni, Predicting outcomes of Italian VAT decisions, in: Legal Knowledge and Information Systems: JURIX 2022, IOS Press, «FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS», 2022, 362, pp. 188 - 193 (atti di: Jurix, Saarbrücken, 14-16 Dicembre 2022) [Contributo in Atti di convegno] Open Access

Moro, G; Valgimigli, L; Rossi, A; Casadei, C; Montefiori, A, Self-supervised Information Retrieval Trained from Self-generated Sets of Queries and Relevant Documents, in: Similarity Search and Applications 15th International Conference, SISAP 2022, Bologna, Italy, October 5–7, 2022, Proceedings, GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, «LECTURE NOTES IN COMPUTER SCIENCE», 2022, 13590, pp. 283 - 290 (atti di: International Conference on Similarity Search and Applications (SISAP), Bologna, Italy, 05/10/2022 - 7/10/2022) [Contributo in Atti di convegno]

Seravalli A.; Busani M.; Venturi S.; Brutti A.; Petrovich C.; Frascella A.; Paolucci F.; Di Felice M.; Lombardi M.; Bellodi E.; Zese R.; Bertasi F.; Balugani E.; Cecaj A.; Gamberini R.; Mamei M.; Picone M., Towards Smart Cities for Tourism: the POLIS-EYE Project, in: 2022 IEEE International Smart Cities Conference (ISC2), New York, IEEE, 2022, pp. 1 - 7 (atti di: ISC 2022, Pafos, Cyprus, September 26-29, 2022) [Contributo in Atti di convegno] Open Access

Farina M; Kostin M; Succi G, Interest identification from browser tab titles: A systematic literature review, «COMPUTERS IN HUMAN BEHAVIOR REPORTS», 2022, 7, pp. 1 - 16 [Articolo in rivista] Open Access

Khusnutdinova A; Evdokimova K; Istomina V; Kruglov A; Succi G, Exploring and Analyzing Insights for Software Process Improvement, in: 2022 IEEE 13th International Conference on Software Engineering and Service Science, 2022, pp. 59 - 66 (atti di: 2022 IEEE 13th International Conference on Software Engineering and Service Science (ICSESS), Beijing, China, 21-23 October, 2022) [Contributo in Atti di convegno]

Moriakov D; Shartdinov I; Kruglov A; Succi G, Team and Process Organization in Software Engineering, in: 2022 IEEE 13th International Conference on Software Engineering and Service Science (ICSESS), 2022, pp. 280 - 283 (atti di: 2022 IEEE 13th International Conference on Software Engineering and Service Science (ICSESS), Beijing, China, 21-23 October, 2022) [Contributo in Atti di convegno]

Davide Rossi; Stefano Zacchiroli, Geographic diversity in public code contributions, in: Proceedings of the 19th International Conference on Mining Software Repositories (MSR '22), New York, IEEE Computer Society, 2022, pp. 80 - 85 (atti di: 19th International Conference on Mining Software Repositories, Pittsburgh, PA, USA, 2022) [Contributo in Atti di convegno] Open Access

Rossi, D; Zacchiroli, S, Worldwide Gender Differences in Public Code Contributions and how they have been affected by the COVID-19 pandemic, in: ICSE-SEIS '22: Proceedings of the 2022 ACM/IEEE 44th International Conference on Software Engineering: Software Engineering in Society, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, IEEE COMPUTER SOC, 2022, pp. 172 - 183 (atti di: 2022 ACM/IEEE 44th International Conference on Software Engineering, Pittsburgh, PA, USA, 2022) [Contributo in Atti di convegno]

Gaudiano, Caterina; Mottola, Margherita; Bianchi, Lorenzo; Corcioni, Beniamino; Cattabriga, Arrigo; Cocozza, Maria Adriana; Palmeri, Antonino; Coppola, Francesca; Giunchi, Francesca; Schiavina, Riccardo; Fiorentino, Michelangelo; Brunocilla, Eugenio; Golfieri, Rita; Bevilacqua, Alessandro, Beyond Multiparametric MRI and towards Radiomics to Detect Prostate Cancer: A Machine Learning Model to Predict Clinically Significant Lesions, «CANCERS», 2022, 14, pp. 1 - 12 [Articolo in rivista] Open Access

Mattia Barbaresi; Andrea Roli, Machine Improvisation Through Generalized Transition Probability Graphs, in: Proceedings of the 1st Workshop on Artificial Intelligence and Creativity, «CEUR WORKSHOP PROCEEDINGS», 2022, pp. 69 - 75 (atti di: CREAI 2022 - Artificial Intelligence and Creativity 2022, Udine, 29/11/2022) [Contributo in Atti di convegno]

Andrea Roli, Robots, Cells and Baroque Music: Creativity as an Emergent Phenomenon, in: Proceedings of the 1st Workshop on Artificial Intelligence and Creativity, «CEUR WORKSHOP PROCEEDINGS», 2022, pp. 31 - 41 (atti di: CREAI 2022 - Artificial Intelligence and Creativity 2022, Udine, 29/11/2022) [Contributo in Atti di convegno]

Bertini, Flavio; Allevi, Davide; Lutero, Gianluca; Calza, Laura; Montesi, Danilo, A Cross-language Dementia Classifier: a Preliminary Study, in: Proceedings of the 2022 IEEE International Conference on Metrology for Extended Reality, Artificial Intelligence and Neural Engineering (MetroXRAINE), 2022, pp. 438 - 443 (atti di: IEEE International Conference on Metrology for Extended Reality, Artificial Intelligence and Neural Engineering, Roma, 26/10/2022) [Contributo in Atti di convegno]

Franceschelli, Giorgio; Musolesi, Mirco, DeepCreativity: measuring creativity with deep learning techniques, «INTELLIGENZA ARTIFICIALE», 2022, 16, pp. 151 - 163 [Articolo in rivista] Open Access