Go to the University of Bologna homepage
Department of Computer Science and Engineering

Publications

  • 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings] 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) [Contribution to conference proceedings] Open Access

  • Laneve, C.; Veschetti, A., A stochastic analysis of the Gasper protocol, «COMPUTER COMMUNICATIONS», 2025, 236, pp. 1 - 13 [Scientific article] 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings] 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) [Contribution to conference proceedings] 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 [Scientific article]

  • 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) [Contribution to conference proceedings] 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) [Contribution to conference proceedings] 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 [Scientific article] 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) [Contribution to conference proceedings]

  • 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) [Contribution to conference proceedings] 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 [Scientific article] 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 [Scientific article] 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) [Contribution to conference proceedings] Open Access

  • 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) [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: ICAIL '25: Proceedings of the Twentieth International Conference on Artificial Intelligence and Law, New York, ACM- Association for Computing Machinery, 2025, pp. 139 - 149 (atti di: 20th International Conference on Artificial Intelligence and Law (ICAIL 2025), Chicago, IL, USA, 16/06/2025) [Contribution to conference proceedings] Open Access

  • 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 [Scientific article] Open Access

  • 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 [Scientific article] Open Access