Pubblicazioni
-
Barthe, G; Crubille, R; Dal Lago, U; Gavazzo, F, On Feller Continuity and Full Abstraction, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 826 - 854 [Articolo in rivista] Open Access
-
Ugo Dal Lago; Reinhard Kahle; Isabel Oitavem, Implicit recursion-theoretic characterizations of counting classes, «ARCHIVE FOR MATHEMATICAL LOGIC», 2022, 61, pp. 1129 - 1144 [Articolo in rivista]
-
Ugo Dal Lago; Francesco Gavazzo, Effectful program distancing, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2022, 6, pp. 1 - 30 [Articolo in rivista] Open Access
-
Barthe, Gilles; Dal Lago, Ugo; Malavolta, Giulio; Rakotonirina, Itsaka, Tidy: Symbolic Verification of Timed Cryptographic Protocols, in: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, New York, Association for Computing Machinery, 2022, pp. 263 - 276 (atti di: 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022) [Contributo in Atti di convegno] Open Access
-
Barbanera F.; Lanese I.; Tuosto E., On Composing Communicating Systems, in: Proceedings 15th Interaction and Concurrency Experience, Open Publishing Association, 2022, 365, pp. 53 - 68 (atti di: 15th Interaction and Concurrency Experience, ICE 2022, Lucca, 17th June 2022) [Contributo in Atti di convegno] Open Access
-
Ugo Dal Lago; Giulia Giusti, On Session Typing, Probabilistic Polynomial Time, and Cryptographic Experiments, in: 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland., Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 243, pp. 1 - 18 (atti di: 33rd International Conference on Concurrency Theory, CONCUR 2022., Warsaw, Poland, September 12-16, 2022) [Contributo in Atti di convegno] Open Access
-
Ugo Dal Lago; Furio Honsell; Marina Lenisa; Paolo Pistone, On Quantitative Algebraic Higher-Order Theories, in: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, August 2-5, 2022, Haifa, Israel., «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2022, 228, pp. 1 - 18 (atti di: 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022., Haifa, Israel, August 2-5, 2022.) [Contributo in Atti di convegno] Open Access
-
Melissa Antonelli; Ugo Dal Lago; Paolo Pistone, Curry and Howard Meet Borel, in: In Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '22), New York, Association for Computing Machinery, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno] Open Access
-
Beniamino Accattoli; Ugo Dal Lago; Gabriele Vanoni, Reasonable Space for the Lambda-Calculus, Logarithmically, in: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS '22)., New York, Association for Computing Machinery, «PROCEEDINGS - SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE», 2022, pp. 1 - 13 (atti di: LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science., Haifa, Israel., August 2 - 5, 2022.) [Contributo in Atti di convegno] Open Access
-
Sovrano, Francesco; Vitali, Fabio, Generating User-Centred Explanations via Illocutionary Question Answering: From Philosophy to Interfaces, «ACM TRANSACTIONS ON INTERACTIVE INTELLIGENT SYSTEMS», 2022, 12, pp. 1 - 32 [Articolo in rivista] Open Access
-
Bononi L.; Donatiello L.; Longo D.; Massari M.; Montori F.; Stacchio L.; Marfia G., Digital Twin Collaborative Platforms: Applications to Humans-in-the-loop Crafting of Urban Areas, «IEEE CONSUMER ELECTRONICS MAGAZINE», 2022, 1, pp. 1 - 8 [Articolo in rivista] Open Access
-
Stacchio L.; Angeli A.; Lisanti G.; Marfia G., Applying deep learning approaches to mixed quantitative-qualitative analyses, in: ACM International Conference Proceeding Series, 2022, pp. 161 - 166 (atti di: 2nd ACM Conference on Information Technology for Social Good, GoodIT 2022, Limassol, 7-9 settembre 2022) [Contributo in Atti di convegno] Open Access
-
Grasselli C.; Melis A.; Rinieri L.; Berardi D.; Gori G.; Al Sadi A., An Industrial Network Digital Twin for enhanced security of Cyber-Physical Systems, in: 2022 International Symposium on Networks, Computers and Communications (ISNCC), IEEE, 2022, pp. 1 - 7 (atti di: International Symposium on Networks, Computers and Communications (ISNCC), Shenzhen, CN, 19-22 July 2022) [Contributo in Atti di convegno]
-
Danilo Pianini, Message from the Special Event Chairs, in: 022 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C), New York City, IEEE, 2022, pp. 17 - 17 [Breve introduzione]
-
Lv, ZH; Ota, K; Lloret, J; Xiang, W; Bellavista, P, Complexity Problems Handled by Advanced Computer Simulation Technology in Smart Cities 2021, «COMPLEXITY», 2022, 2022, pp. 1 - 3 [Articolo in rivista] Open Access
-
Costantini, A; Di Modica, G; Ahouangonou, JC; Duma, DC; Martelli, B; Galletti, M; Antonacci, M; Nehls, D; Bellavista, P; Delamarre, C; Cesini, D, IoTwins: Toward Implementation of Distributed Digital Twins in Industry 4.0 Settings, «COMPUTERS», 2022, 11, pp. 67 - 84 [Articolo in rivista] Open Access
-
Herrera, JL; Galan-Jimenez, J; Foschini, L; Bellavista, P; Berrocal, J; Murillo, JM, QoS-Aware Fog Node Placement for Intensive IoT Applications in SDN-Fog Scenarios, «IEEE INTERNET OF THINGS JOURNAL», 2022, 9, pp. 13725 - 13739 [Articolo in rivista] Open Access
-
Aloqaily, M; Kanhere, S; Bellavista, P; Nogueira, M, Special Issue on Cybersecurity Management in the Era of AI, «JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT», 2022, 30, pp. 1 - 7 [Articolo in rivista]
-
Khowaja, SA; Dev, K; Khuwaja, P; Pham, QV; Qureshi, NMF; Bellavista, P; Magarini, M, IIFNet: A Fusion-Based Intelligent Service for Noisy Preamble Detection in 6G, «IEEE NETWORK», 2022, 36, pp. 48 - 54 [Articolo in rivista]
-
Kim, H; Ben-Othman, J; Mokdad, L; Bellavista, P, A Virtual Emotion Detection Architecture With Two-Way Enabled Delay Bound toward Evolutional Emotion-Based IoT Services, «IEEE TRANSACTIONS ON MOBILE COMPUTING», 2022, 21, pp. 1172 - 1181 [Articolo in rivista]