Pubblicazioni

Dennunzio, Alberto; Formenti, Enrico; Margara, Luciano; Riva, Sara, On solving basic equations over the semiring of functional digraphs, «DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE», 2025, vol. 27:3, pp. 1 - 15 [Articolo in rivista]

Ben Ramdhane, F.; Dennunzio, A.; Margara, L.; Menara, G., Structural Properties of Non-Linear Cellular Automata: Permutivity, Surjectivity, and Reversibility, in: CEUR Workshop Proceedings, CEUR-WS, «CEUR WORKSHOP PROCEEDINGS», 2025, 4039, pp. 224 - 229 (atti di: 26th Italian Conference on Theoretical Computer Science, ICTCS 2025, Campus of Pescara, at the Department of Economic Studies of the University of Chieti-Pescara, ita, 2025) [Contributo in Atti di convegno]

Palmirani, Monica; Papalia, Ludovico; Bomprezzi, Chantal; Arruzzoli, Arianna; Zichichi, Mirko; Ferretti, Stefano, Multi-level Architecture for Separation of Powers in Legislative Process, in: Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT2025), 2025, pp. 1 - 13 (atti di: Proceedings of the Seventh Distributed Ledger Technology Workshop (DLT2025), Pizzo (VV), 12-14 giugno 2025) [Contributo in Atti di convegno] Open Access

Bravetti, Mario; Padovani, Luca; Zavattaro, Gianluigi, A Sound and Complete Characterization of Fair Asynchronous Session Subtyping, in: Leibniz International Proceedings in Informatics, LIPIcs, OKTAVIE-ALLEE, WADEM, 66687, GERMANY, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 348, pp. 1 - 17 (atti di: 36th International Conference on Concurrency Theory (CONCUR 2025), Aarhus, Denmark, August 26-29, 2025) [Contributo in Atti di convegno]

D'Angelo, Gabriele; Ferretti, Stefano; Marzolla, Moreno, Performance Evaluation of a Self-Clustering Heuristic for Adaptive PADS, in: 2025 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Los Alamitos, CA, IEEE Computer Society, 2025, pp. 1 - 8 (atti di: 29th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), Prague, Czech Republic, Sept. 17 2025 to Sept. 19 2025) [Contributo in Atti di convegno]

Raayatpanah, Mohammad Ali; Weise, Thomas; Elias, Jocelyne; Martignon, Fabio; Pimpinella, Andrea, A Mixed-Integer Linear Programming Approach for Congestion-Aware Optimized NFV Deployment, in: Proceedings of the International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 1 - 8 (atti di: 23rd International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks, WiOpt 2025, swe, 2025) [Contributo in Atti di convegno]

Elias, Jocelyne; Martignon, Fabio; Pimpinella, Andrea, Optimizing Relay Placement and Multi-Hop Routing for Smart Meter Networks, in: 2025 23rd Mediterranean Communication and Computer Networking Conference, MedComNet 2025, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., «MEDITERRANEAN COMMUNICATION AND COMPUTER NETWORKING CONFERENCE», 2025, pp. 1 - 6 (atti di: 23rd Mediterranean Communication and Computer Networking Conference, MedComNet 2025, ita, 2025) [Contributo in Atti di convegno]

Raayatpanah, Mohammad Ali; Elias, Jocelyne; Martignon, Fabio; Pimpinella, Andrea; Poss, Michaël, Resilient NFV Service Chains under Energy-Aware Attacks: A Bilevel Optimization Approach, in: Proceedings - 2025 IEEE International Conference on Smart Computing, SMARTCOMP 2025, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 219 - 221 (atti di: 11th IEEE International Conference on Smart Computing, SMARTCOMP 2025, irl, 2025) [Contributo in Atti di convegno]

Rosa, Lorenzo; Calvio, Alessandro; Garbugli, Andrea; Foschini, Luca, A QoS-Aware Data Distribution Platform for Edge-Based Vehicular Digital Twins in Smart Cities, in: IEEE Wireless Communications and Networking Conference, WCNC, 345 E 47TH ST, NEW YORK, NY 10017 USA, Institute of Electrical and Electronics Engineers Inc., «IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE», 2025, pp. 1 - 6 (atti di: 2025 IEEE Wireless Communications and Networking Conference, WCNC 2025, ita, 2025) [Contributo in Atti di convegno]

Delzanno, G.; Laneve, C.; Sangnier, A.; Zavattaro, G., Decidability Problems for Micro-Stipula, in: C. Di Giusto, A. Ravara, Coordination Models and Languages (COORDINATION 2025), GEWERBESTRASSE 11, CHAM, CH-6330, SWITZERLAND, SPRINGER INTERNATIONAL PUBLISHING AG, 2025, 15731 LNCS, pp. 133 - 152 (atti di: International Conference on Coordination Models and Languages 2025, Lille, France, June 17–19, 2025) [Contributo in Atti di convegno]

Raimondi, Bianca; Giallorenzo, Saverio; Gabbrielli, Maurizio, Affordably Fine-tuned LLMs Provide Better Answers to Course-specific MCQs, in: Proceedings of the ACM Symposium on Applied Computing, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, 2025, pp. 32 - 39 (atti di: 40th Annual ACM Symposium on Applied Computing, SAC 2025, Catania, Italy, 2025) [Contributo in Atti di convegno]

Giallorenzo, Saverio; Goretti, Francesco, Breadth-first Cycle Collection Reference Counting: Theory and a Rust Smart Pointer Implementation, in: Proceedings of the ACM Symposium on Applied Computing, 1601 Broadway, 10th Floor, NEW YORK, NY, UNITED STATES, Association for Computing Machinery, 2025, pp. 1412 - 1420 (atti di: 40th Annual ACM Symposium on Applied Computing, SAC 2025, Catania, Italia, 2025) [Contributo in Atti di convegno]

De Palma, G.; Giallorenzo, S.; Mauro, J.; Trentin, M.; Zavattaro, G., Affinity-aware Serverless Function Scheduling, in: Proceedings - 2025 IEEE 22nd International Conference on Software Architecture, ICSA 2025, 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA, Institute of Electrical and Electronics Engineers Inc., 2025, pp. 49 - 59 (atti di: 22nd IEEE International Conference on Software Architecture, ICSA 2025, Odense, Denmark, 2025) [Contributo in Atti di convegno]

De Palma, Giuseppe; Giallorenzo, Saverio; Heideker, Alexandre; Trentin, Matteo; Trotta, Angelo; Zavattaro, Gianluigi, Distributed serverless function scheduling in ad-hoc drone networks, «AD HOC NETWORKS», 2025, 178, pp. 1 - 22 [Articolo in rivista]

De Palma, Giuseppe; Giallorenzo, Saverio; Mauro, Jacopo; Trentin, Matteo; Zavattaro, Gianluigi, Reachability Analysis of Function-as-a-Service Scheduling Policies, in: Integrated Formal Methods. IFM 2025, «LECTURE NOTES IN COMPUTER SCIENCE», 2025, pp. 226 - 247 (atti di: Integrated Formal Methods, Paris, France, 17/11/2025) [Contributo in Atti di convegno]

Venanzi, Riccardo; Colombi, Lorenzo; Tazzioli, Davide; Dahdal, Simon; Tortonesi, Mauro; Foschini, Luca, Collective Intelligence-based Service Migration Enabling Zoom-In Functionality within Industry 5.0, «INTERNET OF THINGS», 2025, 35, pp. 1 - 19 [Articolo in rivista]

Antici, F.; Bartolini, A.; Domke, J.; Kiziltan, Z.; Yamamoto, K., F-DATA: A Fugaku Workload Dataset for Job-centric Predictive Modelling in HPC Systems, «SCIENTIFIC DATA», 2025, 12, pp. 1 - 13 [Articolo in rivista] Open Access

Akgun, O.; Gent, I. P.; Jefferson, C.; Kiziltan, Z.; Miguel, I.; Nightingale, P.; Salamon, A. Z.; Ulrich-Oltean, F., TabID: Automatic Identification and Tabulation of Subproblems in Constraint Models, «THE JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH», 2025, 82, pp. 1999 - 2056 [Articolo in rivista]

Pellegrino, A.; Akgun, O.; Dang, N.; Kiziltan, Z.; Miguel, I., Transformer-Based Feature Learning for Algorithm Selection in Combinatorial Optimisation, in: Leibniz International Proceedings in Informatics, LIPIcs, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, «LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS», 2025, 340, pp. 31:1 - 31:22 (atti di: 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, University of Glasgow, gbr, 2025) [Contributo in Atti di convegno]

Antici, F; Borghesi, A; Domke, J; Kiziltan, Z, UoPC: A User-Based Online Framework to Predict Job Power Consumption in HPC Systems, in: ISC High Performance 2025 Research Paper Proceedings (40th International Conference), 2025, pp. 1 - 12 (atti di: ISC High Performance 2025 (40th International Conference), Hamburg, Germany, 10-13 June 2025) [Contributo in Atti di convegno]