Pubblicazioni

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: Proceedings of the International Joint Conference on Neural Networks, 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, Pontifical Gregorian University, ita, 2025) [Contributo in Atti di convegno]

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]

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]

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), 2025) [Contributo in Atti di convegno]

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]

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, Volume 21, Issue 4, pp. 1 - 35 [Articolo in rivista]

Dal Lago, Ugo; Hoshino, Naohiko; Pistone, Paolo, On the Metric Nature of (Differential) Logical Relations, in: Leibniz International Proceedings in Informatics, LIPIcs, 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]

Dal Lago, Ugo, Counting Qubits and Gates: Resource Analysis in Quantum Programming Languages, in: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming, 2025, pp. 1 - 3 (atti di: 27th International Symposium on Principles and Practice of Declarative Programming, Rende, Calabria, Italy, September 2025) [Riassunto (Abstract)]

Panarelli, Marco; Galassi, Andrea; Lagioia, Francesca; Liepina, Ruta; Lippi, Marco; Pałka, Przemysław; Sartor, Giovanni, Is It Worth Using LLMs for Unfair Clause Detection in Terms of Service?, in: Proceedings of the Twentieth International Conference on Artificial Intelligence and Law, New York, Association for Computing Machinery, 2025, pp. 1 - 11 (atti di: 20th International Conference on Artificial Intelligence and Law (ICAIL 2025), Chicago, IL, USA, 16/06/2025) [Contributo in Atti di convegno]

Sekiyama, Taro; Dal Lago, Ugo; Unno, Hiroshi, On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs, «PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES», 2025, 9, pp. 3726 - 3754 [Articolo in rivista]

Mazzocca, Carlo; Mora, Alessio; Romandini, Nicolò; Montanari, Rebecca; Bellavista, Paolo, I Trained That! Client-Side Proof of Participation in Federated Learning, «CLUSTER COMPUTING», 2025, 28, pp. 1 - 12 [Articolo in rivista]

Costagliola, Andrea Roberta; Mazzocca, Carlo; Bujari, Armir; Montanari, Rebecca; Bellavista, Paolo, VESPACE: A verifiable blockchain-based data space solution to empower the data economy, «COMPUTER COMMUNICATIONS», 2025, 239, pp. 1 - 10 [Articolo in rivista]

Nunziati, Gabriele; Fiandrino, Claudio; Foschini, Luca; Bellavista, Paolo, Monitoring 5G Core Networks Vulnerabilities With eBPF, «IEEE NETWORKING LETTERS», 2025, 7, pp. 220 - 223 [Articolo in rivista]

Zhang, Weishan; Bellavista, Paolo; Zhou, Xiaokang; Wang, Chonggang; Lu, Qinghua, Guest Editorial. Introduction to the Special Issue on Responsible and Federated Foundation Models for Industrial IoT, «IEEE INTERNET OF THINGS JOURNAL», 2025, 12, pp. 39181 - 39184 [Articolo in rivista]

Staffolani, Alessandro; Darvariu, Victor-Alexandru; Bellavista, Paolo; Musolesi, Mirco, A Cost-Aware Adaptive Bike Repositioning Agent Using Deep Reinforcement Learning, «IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS», 2025, 26, pp. 4923 - 4933 [Articolo in rivista]

Sun, Gang; Niyato, Dusit; Wang, Jiacheng; Fonseca, Nelson; Bellavista, Paolo; Yeh, Shu-ping, Guest Editorial: Applications of Large Language Models in Internet of Things, «IEEE INTERNET OF THINGS MAGAZINE», 2025, 8, pp. 14 - 16 [Articolo in rivista]

Qaisar, Muhammad Umar Farooq; Yuan, Weijie; Bellavista, Paolo; Ashraf Chaudhry, Shehzad; Han, Guangjie; Ahmed, Adeel, R 2 Com: Reliable and Resilient Communication in Duty-Cycled SDN-Based WSN for Urban Traffic Monitoring in Intelligent Transportation Systems, «IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS», 2025, 26, pp. 19661 - 19678 [Articolo in rivista]