Pubblicazioni

Evangelista, D.; Morotti, E.; Colombo Serra, S.; Luo, P.; Valbusa, G.; Bianchi, D., LIP-CAR: A Learned Inverse Problem Approach for Medical Imaging with Contrast Agent Reduction, in: Medical Image Computing and Computer Assisted Intervention – MICCAI 2025, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 15970, pp. 369 - 379 (atti di: Medical Image Computing and Computer Assisted Intervention, Daejeon, South Korea, September 23–27, 2025) [Contributo in Atti di convegno]

Loreti, Daniela; Leone, Davide; Borghesi, Andrea, Duration-Informed Workload Scheduler, in: Lecture Notes in Computer Science, Springer Cham, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16091 LNCS, pp. 3 - 14 (atti di: 40th International Conference on High Performance Computing, ISC High Performance 2025, Hamburg, Germany, 10-13 June 2025) [Contributo in Atti di convegno]

Manhaeve, Robin; Giannini, Francesco; Ali, Mehdi; Azzolini, Damiano; Bizzarri, Alice; Borghesi, Andrea; Bortolotti, Samuele; De Raedt, Luc; Dhami, Devendra; Diligenti, Michelangelo; Dumančić, Sebastijan; Faltings, Boi; Gentili, Elisabetta; Gerevini, Alfonso; Gori, Marco; Guns, Tias; Homola, Martin; Kersting, Kristian; Lehmann, Jens; Lombardi, Michele; Lorello, Luca; Marconato, Emanuele; Melacci, Stefano; Passerini, Andrea; Paul, Debjit; Riguzzi, Fabrizio; Teso, Stefano; Yorke-Smith, Neil; Lippi, Marco, Benchmarking in Neuro-Symbolic AI, in: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16059 LNAI, pp. 238 - 249 (atti di: 4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, chn, 2024) [Contributo in Atti di convegno]

Sangiorgi, Davide, Unique-Solution of Equations in Higher-Order Process Calculi with Passivation, in: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16065 LNCS, pp. 68 - 85 (atti di: Components Operationally: Reversibility and System Engineering, Lille, Francia, 16 Giugno 2025) [Contributo in Atti di convegno]

Arruzzoli, Arianna; Zichichi, Mirko; Palmirani, Monica; Papalia, Ludovico; Bomprezzi, Chantal; Ferretti, Stefano, A Multi-Chain Approach to Transparent and Accountable Legislative Processes, in: Proceedings of the 59th Hawaii International Conference on System Sciences, 2026, pp. 2216 - 2225 (atti di: 59th Hawaii International Conference on System Sciences, Maui, 5-8 gennaio 2026) [Contributo in Atti di convegno] Open Access

Turra, Riccardo; Simoncini, Matteo; Monteagudo, Henrique Piñeiro; Pjetri, Aurel; Salti, Samuele; Taccari, Leonardo, VS-Sim: A Synthetic Dataset for Viewpoint Shift Robustness, in: Lecture Notes in Computer Science, Springer Science and Business Media Deutschland GmbH, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16167, pp. 507 - 519 (atti di: 23rd International Conference on Image Analysis and Processing, ICIAP 2025, ita, 2025) [Contributo in Atti di convegno]

Alejandro Goyo, Manuel; Frisoni, Giacomo; Moro, Gianluca; Sartori, Claudio, Enhancing Representation Learning for Content-Based Information Retrieval: A Knowledge-Enhanced Geometric Approach, in: Knowledge-Enhanced Information Retrieval: Second International Workshop, KEIR 2025, Lucca, Italy, April 10, 2025, Revised Selected Papers, Springer, 2026, 16086 LNCS, pp. 36 - 68 (atti di: Knowledge-Enhanced Information Retrieval: Second International Workshop, KEIR 2025 @ ECIR 2025, Lucca, Italy, April 10, 2025) [Contributo in Atti di convegno]

Laneve, Cosimo, The Stipula Platform: A Workbench for Programming and Analyzing Legal Contracts, in: Journeys Between Formal Methods and the Railway Industry, «LECTURE NOTES IN COMPUTER SCIENCE», 2026, 16470, pp. 160 - 177 (atti di: Journeys Between Formal Methods and the Railway Industry, PISA, 28/11/2025) [Contributo in Atti di convegno]