Pubblicazioni

Ferretti, S.; Cassano, L.; Cialone, G.; D'Abramo, J.; Imboccioli, F., Decentralized coordination for resilient federated learning: A blockchain-based approach with smart contracts and decentralized storage, «COMPUTER COMMUNICATIONS», 2025, 236, pp. 1 - 25 [Articolo in rivista] Open Access

Bedogni, L.; Ferretti, S., Smart Contract Coordinated Privacy Preserving Crowd-Sensing Campaigns, in: Proceedings - IEEE Consumer Communications and Networking Conference, CCNC, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 1 - 4 (atti di: 22nd IEEE Consumer Communications and Networking Conference, CCNC 2025, usa, 2025) [Contributo in Atti di convegno] Open Access

Sakayori, Ken; Sangiorgi, Davide, Extensional and Non-extensional Functions as Processes, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, 21, pp. 25:1 - 25:52 [Articolo in rivista] Open Access

Hirschkoff, Daniel; Quémerais, Iwan; Sangiorgi, Davide, First-Order Store and Visibility in Name-Passing Calculi, in: 36th International Conference on Concurrency Theory (CONCUR 2025), OKTAVIE-ALLEE, WADEM, 66687, GERMANY, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 348, pp. 1 - 21 (atti di: 36th International Conference on Concurrency Theory, CONCUR 2025, Aarhus, Denmark, 2025) [Contributo in Atti di convegno] Open Access

Pennino, Federico; Sette, Davide; Attisano, David; Gabbrielli, Maurizio, A Dual-Encoder framework for Enhancing Driving Behavior and Mission Profiling Characterization, in: 2025 International Joint Conference on Neural Networks (IJCNN), IEEE, 2025, pp. 1 - 7 (atti di: International Joint Conference on Neural Networks, Roma, RM, Italia, June 30 - July 5, 2025) [Contributo in Atti di convegno]

Pennino, Federico; Gurioli, Andrea; Gabbrielli, Maurizio, Trajectory-Embedded Matryoshka Representation Learning for Enhanced Similarity Analysis, in: ESANN 2025 proceedings, 2025, pp. 597 - 602 (atti di: European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning, Bruges, Belgium, 3-25 April 2025) [Contributo in Atti di convegno] Open Access

Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide, Proof Techniques for Behavioural Relations Based on Unique-Solutions of Equations and Inequations, in: Rebeca for Actor Analysis in Action, Cham, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, 15560, pp. 425 - 439 (atti di: Rebeca for Actor Analysis in Action - Essays Dedicated to Marjan Sirjani, Västerås, Sweden, 9 Aprile 2025) [Contributo in Atti di convegno]

Laneve, C.; Veschetti, A., A stochastic analysis of the Gasper protocol, «COMPUTER COMMUNICATIONS», 2025, 236, pp. 1 - 13 [Articolo in rivista] Open Access

Gurioli, A.; Gabbrielli, M.; Zacchiroli, S., Is This You, LLM? Recognizing AI-written Programs with Multilingual Code Stylometry, in: 2025 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2025, *, pp. 394 - 405 (atti di: SANER, Montreal, 4-7 March 2025) [Contributo in Atti di convegno]

Sabbioni, Andrea; Ciraci, Fabio Antonello; Bujari, Armir; Bellavista, Paolo, SLICES SCC-Blueprint: A Reference Architecture for Serverless Cloud Continuum Research, in: 2025 IEEE Conference on Standards for Communications and Networking (CSCN), New York, IEEE, 2025, pp. 1 - 6 (atti di: 2025 IEEE Conference on Standards for Communications and Networking (CSCN), Bologna, 15-17 Settembre) [Contributo in Atti di convegno] Open Access

Vitali, Anna; Amadini, Roberto; Gabbrielli, Maurizio, Fixture Layout Optimization in Wood Industry: A Case Study, in: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, New York, Association for Computing Machinery, 2025, pp. 1 - 7 (atti di: International Symposium on Principles and Practice of Declarative Programming, Rende, Italy, 10/09/2025) [Contributo in Atti di convegno] Open Access

Machado Toffolo, M.; Prandi, C.; Goffredo, S.; Marini, M.; Grilli, F., Effect of extreme rainfall events in the Mar Menor lagoon (SE, Spain): the use of a smartbuoy for environmental monitoring, «JOURNAL OF OPERATIONAL OCEANOGRAPHY», 2025, 18, pp. 150 - 163 [Articolo in rivista]

Pellegrini, Lorenzo; Cozzolino, Davide; Pandolfini, Serafino; Maltoni, Davide; Ferrara, Matteo; Verdoliva, Luisa; Prati, Marco; Ramilli, Marco, AI-GenBench: A New Ongoing Benchmark for AI-Generated Image Detection, in: 2025 International Joint Conference on Neural Networks (IJCNN), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS OF ... INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS», 2025, pp. 1 - 9 (atti di: 2025 International Joint Conference on Neural Networks, IJCNN 2025, Rome, Italy, 30 June 2025 - 05 July 2025) [Contributo in Atti di convegno] Open Access

Marro, Samuele; Evangelista, Davide; Angelo Huang, X.; La Malfa, Emanuele; Lombardi, Michele; Wooldridge, Michael J., Language Models Are Implicitly Continuous, in: The Thirteenth International Conference on Learning Representations, 2025, pp. 1 - 41 (atti di: ICLR2025 - The Thirteenth International Conference on Learning Representations, Singapore EXPO, 24/04/2025 - 28/04/2025) [Contributo in Atti di convegno] Open Access

Magnani, Gabriele; Cattaneo, Daniele; Denisov, Lev; Tagliavini, Giuseppe; Agosta, Giovanni; Cherubin, Stefano, Synergistic Memory Optimisations: Precision Tuning in Heterogeneous Memory Hierarchies, «IEEE TRANSACTIONS ON COMPUTERS», 2025, 74, pp. 3168 - 3180 [Articolo in rivista] Open Access

Mirsalari, Seyed Ahmad; Fariselli, Marco; Bijar, Léo; Paci, Francesco; Benini, Luca; Tagliavini, Giuseppe, Enabling Real-Time Streaming Temporal Convolution Network Inference on Ultra-Low-Power Microcontrollers, in: Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI, New York (USA), IEEE Computer Society, 2025, pp. 1 - 6 (atti di: 28th IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2025, Kalamata (Greece), 06-09 luglio 2025) [Contributo in Atti di convegno]

Jebali, Fatma; Andriamisaina, Caaliph; Jan, Mathieu; Ecker, Wolfgang; Egert, Florian; Fischer, Bernhard; Burrello, Alessio; Pagliari, Daniele Jahier; Vinco, Sara; Tagliavini, Giuseppe; Feldner, Ingo; Mauderer, Andreas; Sauer, Axel; Kristmundsson, Arnór; Schober, Alexander; Bernier, Téo; Käyrä, Matti; Schlichtmann, Ulf; Jonack, Rocco, Multi-Partner Project: Advancing the EDA Tools Landscape for the European RISC-V Ecosystem in TRISTAN, in: 2025 Design, Automation & Test in Europe (DATE), Institute of Electrical and Electronics Engineers Inc., «PROCEEDINGS - DESIGN, AUTOMATION, AND TEST IN EUROPE CONFERENCE AND EXHIBITION», 2025, pp. 1 - 6 (atti di: 2025 Design, Automation and Test in Europe Conference, DATE 2025, Lione (Francia), 31 March 2025 - 02 April 2025) [Contributo in Atti di convegno] Open Access

Roccetti, Marco, The fear of AI: A simple story of complexity, «ANNALES. PROCEEDINGS OF THE ACADEMY OF SCIENCES OF BOLOGNA. CLASS OF PHYSICAL SCIENCE», 2025, 3, pp. 137 - 148 [Articolo in rivista] Open Access

Baillot, Patrick; Lago, Ugo Dal; Kop, Cynthia; Vale, Deivid, A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations, «LOGICAL METHODS IN COMPUTER SCIENCE», 2025, 21, pp. 1 - 35 [Articolo in rivista] Open Access

Dal Lago, Ugo; Hoshino, Naohiko; Pistone, Paolo, On the Metric Nature of (Differential) Logical Relations, in: 10th International Conference on Formal Structures for Computation and Deduction. FSCD 2025, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 337, pp. 1 - 22 (atti di: 10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, 2025) [Contributo in Atti di convegno] Open Access