A

Albertini, Mattia (2025) Type Checking in Rust per il kernel di Lean 4. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Alfieri, Patrick (2025) Privacy-Aware Methodologies For Person Re-Identification. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Altini, Davide (2025) Efficienza e risparmio nei test di sicurezza: Automazione e progettazione dei VAPT con Esseca. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile

Amato, Alessio (2025) Il Ruolo del Product Owner: L’Impatto degli LLM. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Ammirabile, Diego Roberto (2025) Ottimizzazione di Reti Neurali per EdgeAI su Satelliti: Quantizzazione e Pruning applicata all'astronomia ad alta energia. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Ayache, Omar (2025) Resource Estimation of Quantum Programs through Type Inference: QuRA and Shor’s Algorithm. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

B

Ballo, Simone (2025) Tomografia traslazionale 3D per lo screening bagagli con riduzione degli artefatti tramite Residual U-Net. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Barbieri, Diego (2025) A Study on Applications of Homomorphic Encryption in Privacy-Preserving Protocols. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Benassi Trenta, Alessandro Maria (2025) Rilevazione di Ransomware attraverso Leaky Bucket. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Benatti, Alice (2025) Cybersecurity delle reti WiFi e MQTT. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Berselli, Leonardo (2025) Super-Risoluzione di Immagini Satellitari Multispettrali tramite Modelli di Deep Learning. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Bertapelle, Brando (2025) Ottimizzazione di Congetture per la Gestione di Affermazioni Ipotetiche nei Triplestore RDF. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Betti, Gabriel (2025) Scalabilità di piattaforme di monitoraggio per infrastrutture informatiche complesse, centralizzazione e orchestrazione. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Brajevic, Enis (2025) Towards the Watermarking of Large Language Models: A Survey. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

C

Casalini, Serena (2025) Distributed Broadcast Encryption: Implementazione e Analisi delle Prestazioni. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Colacicco, Laura (2025) Human-Computer Interaction: Emozioni, Estetica e Persuasione per un Design Ottimale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

D

De Simone, Ivan (2025) Progettazione e implementazione di un meccanismo per associare access token OAuth al certificato X.509 di un client. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Dervishi, Erik (2025) Stipula Workbench: An Integrated Environment to Design, Analyze, and Execute Stipula Code. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Di Giacomo, Gianluca (2025) Epicurio: un’applicazione mobile per la raccomandazione e la pianificazione dei pasti. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Donati, Davide (2025) Applicazioni di Circuiti Quantistici Variabili nell'Imputazione di Dati Mancanti in Dataset Complessi. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

F

Fabrizio, Daniela (2025) Sviluppo e integrazione di un’applicazione Web per mostrare dati di simulazione in ambito manifatturiero. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Ferrarini, Mattia (2025) Von Neumann’s Self-Reproducing Automaton: How a Theory is Born. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Fiorellino, Andrea (2025) Applicazione di tecniche di Deep Learning per rilevamento non invasivo di crepe su edifici in muratura: un caso di studio reale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Folli, Simone (2025) Studio e implementazione di un flusso operativo per la crash detection tramite dispositivi mobili. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Forciniti, Giuseppe (2025) Apprendimento di lingue straniere attraverso IA. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Fornaciari, Giacomo (2025) Gestione di un sistema HSS tramite Maximum Entropy Inverse Reinforcement Learning. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Fornaini, Matteo (2025) Foundation and Frontiers in Visual Place Recognition: Advancing Architecture Evaluation and Adaptive Memory Learning. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

G

Giarrusso, Lorenzo (2025) Using Large Language Models to Derive Prognostic Indices from Emergency Department Records: A Retrospective Study. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Giovannini, Pietro (2025) Sviluppo di un'applicazione web per l'analisi e la gestione delle vulnerabilità software a supporto dell'area managed services di un system integrator. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile

Guidi, Marco (2025) Smart Insurance decentralizzate: progettazione e sviluppo di un sistema basato su blockchain per la gestione automatica di polizze parametriche. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

H

Hryshchenko, Oleksandra (2025) Essence in Azione: Teoria e Strumenti per l’Insegnamento dell’Ingegneria del Software. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

L

Libralesso, Alessandro (2025) ShashGuru Bridging Chess Engines and Large Language Models for Human-Interpretable Analysis. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Licchelli, Francesco (2025) JolieGraph: uno strumento per l'analisi delle comunicazioni di servizi Jolie. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Lin, Jinxiufu (2025) Watermarking per la lingua cinese semplificato: un'analisi preliminare. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Lorenzato, Alex (2025) Studio sul gioco del Domino a due giocatori. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Luppi, Filippo (2025) Design e sviluppo di un W3C Web of Things servient per Android tramite l'utilizzo della libreria kotlin-wot. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

M

Marincas, Petru Marcel (2025) simulazione del variational quantum eigensolver applicato a problemi di ottimizzazione. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Marinelli, Alice (2025) Sulla Crittoanalisi Logica e il Cifrario Leggero SIMECK. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Marro, Nicole Sabrina (2025) Il data binding nelle web app: un'analisi comparativa. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Medhat, Saad Farqad (2025) Data Visualization e Digital Wellbeing: App Mobile per analizzare l’impatto dei dati e della loro visualizzazione. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Molari, Mauro (2025) Valutazione della capacità dei large language model di simulare vari livelli di abilità. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Murer, Fabio (2025) Experiments on KVM-based system call virtualization. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Musiani, Samuele (2025) ImagiNet: a network simulator based on VDE. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

N

Niouer, Ahmed (2025) AI-DRIVEN TEST AUTOMATION: L’evoluzione del Software Testing nell’era dell’Intelligenza Artificiale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile

O

Oulato, Sharone (2025) Bilanciare Ottimalità e Privacy: un’Analisi della Privacy Differenziale nel Contesto Combinatorio. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile

P

Panella, Giuseppe (2025) Documentare API Web: analisi dello standard OpenAPI e applicazione ad un caso di studio. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Paris, Manuel (2025) Sviluppo di uno Smart Contract IOTA. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Peronese, Lorenzo (2025) Deep Learning nel Paradigma SDN: Anomaly Detection in Sistemi Industriali. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Pischetola, Emanuele (2025) Miglioramenti di Saharian: Un Approccio Pratico per l'Accessibilità Web. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Po, Leonardo (2025) Modelli Diffusivi per la Generazione di Immagini Mediche. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Poluzzi, Annalisa (2025) Motori di Gioco a Confronto: Analisi Comparativa e Tecnologie Emergenti. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Polverini, Mattia (2025) TARO-sport: un’estensione di TARO per l’analisi di eventi sportivi. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Porcedda, Iacopo (2025) Gestione delle immagini, delle tabelle e dei package in un editor di documenti legali basato su Akoma Ntoso. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Prato, Alessio (2025) Embedded Object Detection su ESP32-S3: ottimizzazione e deployment per l’Edge. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

R

Ravaglia, Beatrice (2025) Applicazione dei modelli di diffusione all’inpainting e al restauro di immagini. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Ravveduto, Alessandro (2025) An analysis of the current limitation and future directions of AI applied to the legal domain based on a SLR and early prototyping. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Roversi, Gianpaolo (2025) ontology for nature-based solutions. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile

S

Sami, Pietro (2025) Watermarking techniques applied to Data Flooding against Ransomware. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Santilli, Andrea (2025) Sicurezza e Testing della tecnologia mobile di quinta generazione. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile

Sarti, Davide (2025) Segmentazione automatica di frane su immagini aeree. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Severini, Alessandro (2025) Green Coding, programming languages and more. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Sperti, Gianluca (2025) Declouding per Immagini Satellitari: Un approccio 2D-2.5D-3D. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

T

Tomaiuolo, Alessandro (2025) Un’Analisi del Design di un Linguaggio Coreografico per Architetture Serverless. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Tomba, Francesco (2025) Approcci di deep learning per l’interpolazione delle proiezioni nella ricostruzione tomografica. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Torsani, Giulia (2025) Denoising Diffusion Models nella ricostruzione di immagini tomografiche. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento ad accesso riservato.

Tosadori, Chiara (2025) Pensare in codice :una rassegna sistematica della letteratura sui rapporti tra programmazione e abilità cognitive. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Turrini, Federico (2025) Sviluppo di un’app client per un sistema assicurativo basato su Blockchain e monitoraggio IoT. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

X

Xu, Li (2025) Esplorazione dell'albero di gioco della Dama Cinese. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Z

Zuffi, Matteo (2025) Digital Forensics in Microsoft Azure: metodologie, strumenti e sfide dell'investigazione nel Cloud. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile