Calendario sessioni di laurea e scadenze

I prossimi appelli di laurea sono previsti nelle seguenti date:
  • giovedì 27 ottobre 2016, ore 14:30
  • giovedì 22 dicembre 2016, ore 10:00
  • giovedì 23 marzo 2017, ore 14:30
  • giovedì 27 aprile 2017, ore 10:00
  • giovedì 13 luglio 2017, ore 14:30
  • giovedì 21 settembre 2017, ore 14:30

 

Archivio appelli laurea passati

Quello che segue è l'elenco (in ordine cronologico inverso) dei lavori di tesi discussi negli appelli di laurea passati:

 

Appello di laurea del 27 aprile 2017
Commissione:  Alessandro Dal Palù (pres.), Lucia Alessandrini, Roberto Alfieri, Roberto Bagnara, Francesco Di Renzo, Luciano Marchio', Enea Zaffanella.
 

Dott. Cattabiani Isacco
Progettazione e realizzazione di una libreria .NET per l’utilizzo di QSiLibrary tramite piattaforma Forge
Relatore: Federico Bergenti

Dott. Cojocaru Iulian
Un’esplorazione di metodi per stimare la somiglianza tra frasi
Relatore: Federico Bergenti

Dott. Mazzara Nicola
Riorganizzazione del processo di condivisione dati in ambito sanitario
Relatore: Roberto Alfieri

Dott. Sania Yassine
Analisi logica di profili genetici
Relatore: Alessandro Dal Palù

Appello di laurea del 23 marzo 2017
Commissione:  Alessandro Dal Palù (pres.), Roberto Alfieri, Giulio Destri, Francesco Di Renzo, Gianfranco Rossi, Armando Sternieri, Enea Zaffanella.

Dott. Benini Francesco
Progettazione e implementazione di un sistema per la raccolta dati con finalita’ di task management
Relatore: Armando Sternieri Correlatore: Tesi Giovacchino

Dott. Bertoli Federico
Applicazioni iOS: analisi dei linguaggi di programmazione utilizzati e sviluppi futuri della piattaforma
Relatore: Roberto Alfieri

Dott. Bisbano Andrea
Uno strumento per il confronto sistematico di alberi di sintassi astratta
Relatore: Enea Zaffanella

Dott. Demina Olga
Progettazione e implementazione di un’applicazione mobile per giochi a quiz didattici
Relatore: Federico Bergenti

Dott. Gargano Riccardo
Un’applicazione web per statistiche sugli esami degli studenti
Relatore: Enea Zaffanella

Dott. Gravina Alessandro
Progettazione e implementazione di un’applicazione web per la gestione della capacity di gruppi di lavoro
Relatore: Armando Sternieri Correlatore: Tesi Giovacchino

Dott. Leoni Alessandro
Studio e sperimentazione dell’integrazione di un interprete Prolog nella piattaforma Amuse
Relatore: Federico Bergenti

Dott. Levaia Varvara
Analisi semantica di documenti clinici: costruzione e utilizzo di una base di conoscenza
Relatore: Giulio Destri

Dott. Poggi Francesco
Progettazione e realizzazione di un’applicazione android per il rilevamento della posizione di utenti collegati ad una rete wi-fi
Relatore: Federico Bergenti Correlatore: Stefania Monica

Dott. Schianchi Mattia
Creazione di un’appliczione per l’analisi di post sulle pagine Facebook
Relatore: Federico Bergenti Correlatore: Somacher Matteo

Appello di laurea del 22 dicembre 2016
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Luciano Marchio', Gianfranco Rossi, Alessandro Zaccagnini.

Dott. Balzani Silvia
Sperimentazione di un approccio basato su pianificazione dinamica multilivello alla gestione dei processi aziendali
Relatore: Federico Bergenti

Dott. Etta Gabriele
La persistenza poliglotta: analisi di un'applicazione in un contesto aziendale
Relatore: Enea Zaffanella

Dott. Fabiano Francesco
Analisi della ripartizione di carico in un ambiente MPI
Relatore: Alessandro Dal Palù

Dott. Garavaglia Renato Eugenio
Analisi e ottimizzazione di un codice GPU per simulazione shallow water
Relatore: Alessandro Dal Palù

Dott. Ndiaye Lamine
Interfacce multi-device a programmi complessi
Relatore: Giulio Destri

Dott. Pattarini Lorenzo
Implementaione del crivello quadratico
Relatore: Alessandro Zaccagnini Correlatore: Enea Zaffanella

Dott. Petrone Veronica
Interfacce a programmi complessi in ambito web e mobile
Relatore: Giulio Destri

Dott. Riouak Idriss
Uno studio sull'efficacia di checker atuomatici per la modernizzazione di codice c++
Relatore: Enea Zaffanella

Dott. Soncini Filippo
Sperimentazione di tecniche di visione artificiale per il riconoscimento di gesti della mano
Relatore: Federico Bergenti

Appello di laurea del 27 ottobre 2016
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Roberto Bagnara, Alessandro Dal Palù, Mauro Diligenti, Grazia Lotti, Gianfranco Rossi.

Dott. Benedetti Alessandro
On the computation of the NPATH Metric con C-like Languages
Relatore: Roberto Bagnara

Dott. Bergonzani Ivan
Studio del vincolo alldifferent e integrazione in un constraint solver parallelo su GPU
Relatore: Alessandro Dal Palù

Dott. Campari Tommaso
Implementazione di un vincolo table su un CSP solver su GPU
Relatore: Alessandro Dal Palù

Dott. Chiari Michele
Generazione automatica di test per computazioni in virgola mobile con funzioni matematiche trascendenti
Relatore: Roberto Bagnara

Dott. Cipriano Michele
Studio e sperimentazione di tecniche di identificazione elle mani con algoritmi di deep learning
Relatore: Federico Bergenti

Dott. Mazza Pietralberto
Studio di algoritmi per la rappresentazione di dati geografici con multi risoluzione
Relatore: Alessandro Dal Palù

Dott. Bolsi Massimo
Basi di dati temporali in PostgreSQL
Relatore: Enea Zaffanella

Dott. Melioli Riccardo
Sicurezza delle reti informatiche: le vulnerabilita'
Relatore: Roberto Alfieri

Appello di laurea del 22 settembre 2016
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Mauro Diligenti, Armando Sternieri, Gianfranco Rossi.

Dott. Garripoli Severino
Progettazione e realizzazione di una App a supporto di un corretto regime in eta' pediatrica
Relatore: Federico Bergenti

Dott. Grillo Marco
Studio e integrazione tra sistema di ticketing cliente e sistema di gestione interno mediante servizi di condivisione cloud
Relatore: Armando Sternieri Correlatore: Tesi Giovacchino

Dott. Lusoli Leonardo
Sistemi crittografici per applicazioni malevoli
Relatore: Roberto Alfieri

Dott. Savio Sara
Progettazione e realizzazione di un'applicazione per la visualizzazione della posizione di utenti collegati ad una rete wi-fi
Relatore: Federico Bergenti Correlatore: Stefania Monica

Dott. Spadoni Davide
Un motore di ricerca per immagini
Relatore: Alessandro Dal Palù

Appello di laurea del 6 luglio 2016
Commissione: Enea Zaffanella (pres.), Lucia Alessandrini, Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Gianfranco Rossi.

Dott. Cecja Andia
Progettazione e sviluppo di uno strumento a supporto del servizio AM di un Dada Warehouse
Relatore: Armando Sternieri

Dott. Chiastra Andrea
Progettazione e realizzazione di uno strumento di testing per applicazioni web
Relatore: Federico Bergenti

Dott. Cirani Luca
Confidenzialita' delle comunicazioni m2m trea nodi a ridotta capacita' computazionale su reti ipv6
Relatore: Roberto Alfieri Correlatore: Davoli Luca

Dott. Dalla Giovanna Marco
Studio e manutenzione di un sistema di gestione per tassonomie
Relatore: Federico Bergenti Correlatore: Monguidi Mario

Dott. Laliscia Francesco
Studio e sperimentazione della tecnologia WebRTC
Relatore: Federico Bergenti Correlatore: Somacher Matteo

Appello di laurea del 26 aprile 2016
Commissione: Enea Zaffanella (pres.), Lucia Alessandrini, Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Gianfranco Rossi.

Dott. Gianni Arfanotti
Progettazione e realizzazione di un sistema per la gestione di processi in agenzie per il lavoro
Relatore: Federico Bergenti

Dott. Gabriele Labita
Progettazione e realizzazione di un framework per applicazioni su singola pagina
Relatore: Federico Bergenti

Dott. Thomas Milani
Analisi e sviluppo di un sistema di gestione di tassonomie
Relatore: Federico Bergenti Correlatore: Mario Monguidi

Dott. Victoria Nica
Gestione di progetti IT tramite servizi di condivisione cloud
Relatore: Armando Sternieri

Dott. Ayoub Ouarrak
Implementazione del crivello quadratico per la fattorizzazione: backup, benchmark e comunicazione
Relatore: Alessandro Zaccagnini Correlatore: Enea Zaffanella

Appello di laurea del 23 marzo 2016
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Federico Bergenti, Pietro Cozzini, Alessandro Dal Palù, Grazia Lotti, Gianfranco Rossi.
Dott. Amine Abouelfath
Analisi critica di programmi per il docking di proteine
Relatore: Alessandro Dal Palù Correlatore: Pietro Cozzini
Dott. Davide Allevi
Implementazione di specifiche Minizinc tramite il linguaggio Java esteso con la libreria Jsetl
Relatore: Gianfranco Rossi
Dott. Mirko Aloi
Analisi comparativa delle funzionalità di Google Play Game Service e AMUSE
Relatore: Federico Bergenti
Dott. Gianluca Lutero
Estensione della libreria Java Jsetl con vincoli su funzioni parziali
Relatore: Gianfranco Rossi
Dott. Francesco Salvatore
Progettazione e sviluppo di un sistema cloud di monitoraggio di smart objects su reti eterogenee
Relatore: Roberto Alfieri Correlatore: Laura Belli
Appello di laurea del 17 dicembre 2015
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Francesco Di Renzo, Gianfranco Rossi.
Dott. Francesco Bonizzi
Monitoraggio plurifocale di processi asincroni basato su strumenti diagnostici proattivi
Relatore: Federico Bergenti

Dott. Elia Conchione
La sicurezza nelle reti Wireless: stato e prospettive
Relatore: Roberto Alfieri

Dott. Marco Conciatori
Studio di problemi di consenso per automi cellulari sincroni e asincroni
Relatore: Federico Bergenti Correlatore: Stefania Monica
Dott. Danilo Dughetti
Studio e sperimentazione di tecniche per la personalizzazione di applicazioni mobili
Relatore: Federico Bergenti
Dott. Maria Eleonora Fontanesi
Studio delle tecniche di base per applicazioni di realta' aumentata
Relatore: Federico Bergenti
Dott. Fabrizio Leonardi
Studio e sperimentazione sui criteri di usabilita' e di qualita' per i siti Web delle pubbliche amministrazioni
Relatore: Federico Bergenti
Dott. Gianluca Monica
Una semplice astrazione della memoria per l'analisi statica di linguaggi c-like
Relatore: Roberto Bagnara
Dott. Federico Peruzzi
Progettazione e sviluppo di un sistema di rendicontazione aziendale
Relatore: Federico Bergenti
Dott. Giovanni Reno'
Gestire il processo di sviluppo ed evoluzione del software bancario in ambienti multipiattaforma
Relatore: Giulio Destri
Dott. Enrico Schiraldi
Progettazione e realizzazione di un'applicazione Web di front-end per la gestione di processi amministrativi
Relatore: Federico Bergenti

 

Appello di laurea del 24 settembre 2015
Commissione: Enea Zaffanella (pres.), Lucia Alessandrini, Alessandro Dal Palù, Mauro Diligenti, Luciano Marchio', Gianfranco Rossi, Armando Sternieri.
Dott. Andrea Bolzoni
Studio e sperimentazione di tecniche per la realizzazione di App Ibride
Relatore: Federico Bergenti
Dott. Nazario D'Errico
Progettazione e realizzazione di un sistema di visualizzazione dati georeferenziati
Relatore: Federico Bergenti
Dott. Andrea Segalini
Progettazione e realizzazione di un compilatore per il linguaggio JADEL utilizzando il framework xtext/xbase
Relatore: Federico Bergenti
Dott. Stefano Volta
Progettazione e realizzazione di funzioni avanzate che lavorano su pdf interattivi e realizzazione di un manuale di best practive in sviluppo software
Relatore: Enea Zaffanella
Appello di laurea del 8 luglio 2015
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Giulio Destri, Mauro Diligenti, Gianfranco Rossi
Dott. Luca Alberici
Realizzazione del supporto a Google+ nella piattaforma AMUSE
Relatore: Federico Bergenti
Dott. Bartolomeo Lombardi
Progettazione e Realizzazione di una Applicazione Android per l'Accesso a Learning Management System
Relatore: Federico Bergenti
Dott. Daniel Lombardo
Progettazione e realizzazione di un'applicazione di gestione eventi integrata con il CRM Podio
Relatore: Federico Bergenti
Dott. Amerigo Mancino
Studio e Sperimentazione dell'uso della Forma di Berstein per Problemi di Soddisfacibilità di Vincoli
Relatore: Federico Bergenti
Dott. Valentino Marano
Analisi Statica di Java Bytecode
Relatore: Roberto Bagnara
Appello di laurea del 28 aprile 2015
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi, Armando Sternieri
Dott. Federico Bacchi
Progettazione e Realizzazione di un Editor di Workflow per la Piattaforma WADE
Relatore: Federico Bergenti
Dott. Luca Bernardini
IPv6: stato della migrazione ed introduzione in unipr
Relatore: Roberto Alfieri
Dott. Alessandro Bertoletti
Supporto all'utilizzo di servizi di Social Network nella piattaforma Amuse
Relatore: Federico Bergenti
Dott. Simone Boni
Progetto MaNGOS: un server open source per videogiochi online
Relatore: Enea Zaffanella
Dott. Simone Fanti
Integrazione tra la piattaforma Amuse ed il game engine Unity
Relatore: Federico Bergenti
Dott. Maxim Gaina
Un caso di studio sulla Thread Safety: la Parma Polyhedra Library
Relatore: Enea Zaffanella
Dott. Davide Maselli
Progettazione e realizzazione di uno strumento per la personalizzazione di un Manufacturing Execution System
Relatore: Federico Bergenti
Dott. Erica Morsia
Progettazione e realizzazione di un cruscotto virtuale geolocalizzato per Android
Relatore: Federico Bergenti
Dott. Daniela Pedroni
Progettazione e realizzazione di client mobile per un sistema di gestione di negozi
Relatore: Federico Bergenti
Dott. Sefora Scozzarini
Refactoring di un sistema EDI
Relatore: Armando Sternieri
Dott. Francesco Trombi
Object-Relational Mapping per applicazioni C++
Relatore: Enea Zaffanella
Appello di laurea del 18 marzo 2015
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Giulio Destri, Grazia Lotti, Gianfranco Rossi,
Dott. Alessio Bortolotti
Analisi e progettazione delle regole di traduzione per l'esecuzione del linguaggio a vincoli Charme tramite JSetL
Relatore: Gianfranco Rossi
Dott. Massimiliano Braglia
Progettazione e Realizzazione di un Domain Specific Language per Agenti Software
Relatore: Federico Bergenti
Dott. Sebastian Davrieux
Sperimentazione della Realta' aumentata nella manutenzione di apparati di rete
Relatore: Federico Bergenti
Dott. Lorenzo Furini
Progettazione e sviluppo di un preprocessore Java per la libreria JSetL
Relatore: Gianfranco Rossi
Dott. Paolo Grossi
Una library per la manipolazione di polinomi in forma di Berstein in Java
Relatore: Federico Bergenti
Dott. Ivan Leuzzi
Reingegnerizzazione del sistema di e-commerce in un'azienda italiana di vendita ricambi moto
Relatore: Giulio Destri
Dott. Corrado Lombardi
Impostazione di un processo di Continuous Development per il portale web volagratis.it
Relatore: Giulio Destri
Dott. Francesco Pesare
L'autenticazione nel cloud computing
Relatore: Roberto Alfieri
Dott. Gabriele Ravanetti
Un supporto alla lettura di QR-code nel pacchetto Wade Interactivity
Relatore: Federico Bergenti
Dott. Francesco Pini
Utilizzo della realta' aumentata per il posizionamento indoor relativo a immagini target
Relatore: Federico Bergenti
Appello di laurea del 18 dicembre 2014
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Gianfranco Rossi, Armando Sternieri
Dott. Federica Belli
Classi "Collezione" in Java e JSetL: confronti ed implementazioni
Relatore: Gianfranco Rossi
Dott. Dario Buffagni
Progettazione e realizzazione di un modulo di monitoring per un sistema di approvvigionamento
Relatore: Federico Bergenti
Dott. Davide Cacciavillani
Sistemi e tecniche per l'interazione automatizzata con portali di e-commerce
Relatore: Armando Sternieri
Dott. Camilla Gervanotti
Usabilità del software e misure biometriche, stato dell'arte nell'affective computing
Relatore: Armando Sternieri
Dott. Daniele Rapisarda
Gestione di informazione geografica su dispositivi Android
Relatore: Enea Zaffanella
Dott. Ahmad Shakeel
Vincoli su sequenze: una nuova rappresentazione ed alcuni algoritmi di propagazione
Relatore: Roberto Bagnara,
Appello di laurea del 25 settembre 2014
Commissione: Enea Zaffanella (pres.), Roberto Alfieri, Roberto Bagnara, Alessandro Dal Palu', Giulio Destri, Grazia Lotti, Alessandro Zaccagnini
Dott. Jacopo Freddi
Refactoring per un'applicazione di reportistica: portabilita' ed efficienza
Relatore: Enea Zaffanella
Dott. Giuseppe Mollica
Progettazione e Realizzazione di un Front End Interattivo per JSetL basato su ANTLR
Relatore: Federico Bergenti,
Appello di laurea del 9 luglio 2014
Commissione: Enea Zaffanella (pres.), Federico Bergenti, Alessandro Dal Palu', Mauro Diligenti, Stefania Donnini, Grazia Lotti, Gianfranco Rossi
Dott. Davide Beretta
Progettazione e realizzazione di un emulatore di xerox alto per raspberry pi.
Relatore: Federico Bergenti
Dott. Simone Bertocchi
Sperimentazione di editor di diagrammi per il web e realizzazione di un editor di workflow
Relatore: Federico Bergenti
Dott. Abdullah Siddique
Realtà aumentata: studio e sperimentazione con la library metaio per android.
Relatore: Federico Bergenti
Dott. Matteo Tiscornia
Studio e realizzazione di un sistema di docking su gpu.
Relatore: Alessandro Dal Palu' Correlatore: Pietro Cozzini
Appello di laurea del 25 marzo 2014
Commissione: Enea Zaffanella (pres.), Roberto Bagnara, Federico Bergenti, Stefania Donnini, Grazia Lotti Gianfranco Rossi, Armando Sternieri
Dott. Andrea Casarotto
Studio e sperimentazione di un client VNC basato su HTML5.
Relatore: Federico Bergenti
Dott. Alessio Iotti
Progettazione e realizzazione di un sistema per l'estrazione di informazioni da tavolte tecniche.
Relatore: Federico Bergenti, Correlatore: Luigi Capuzzello
Dott. Laura Savino
Progettazione e realizzazione di un emulatore funzionale di componenti TTL per architetture complesse in linguaggio Java.
Relatore: Federico Bergenti
Dott. Cristiano Serri
Progettazione e realizzazione di una library per agenti context-aware.
Relatore: Federico Bergenti
Dott. Nazareno Antonio Tancredi
Parsing di codice Java per il controllo automatico di conformità a regole di codifica.
Relatore: Roberto Bagnara
Appello di laurea del 19 dicembre 2013
Commissione: Enea Zaffanella (pres.), Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti Gianfranco Rossi, Alessandro Zaccagnini
Dott. Riccardo Monica
Introduzione del Supporto per Behaviour Complessi in un Linguaggio per Agenti Software.
Relatore: Federico Bergenti
Dott. Manuel Rinaldi
Definizione di un Linguaggio di Programmazione Imperativo e Realizzazione di un Prototipo mediante Xtext.
Relatore: Federico Bergenti
Appello di laurea del 2 ottobre 2013
Commissione: Gianfranco Rossi (pres.), Roberto Bagnara, Federico Bergenti, Pietro Cozzini, Alessandro Dal Palù, Grazia Lotti Enea Zaffanella
Dott. Gianmarco Bonezzi
Realizzazione di un'applicazione per lo studio di flessibilità di una proteina.
Relatori: Alessandro Dal Palù, Pietro Cozzini
Dott. Luca Lorati
Progettazione e realizzazione di un sistema di controllo presenze basadto su RDIF.
Relatore: Federico Bergenti
Dott. Francesco Rastelli
Un linguaggio di programmazione per agenti JADE che estende XBase.
Relatore: Federico Bergenti
Dott. Valter Venusti
Progettazione e realizzazione di un sistema di tracciamento ordini e miglioramento del processo di entrata merci mediante RFID.
Relatore: Federico Bergenti
Dott. Francesco Zini
Progettazione e realizzazione di uno strumento per la soluzione di sistemi di disequazioni diofantine mediante la forma di Bernstein.
Relatore: Federico Bergenti
Appello di laurea del 18 luglio 2013
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Laura Bertani, Pietro Cozzini, Alessandro Dal Palù, Grazia Lotti
Dott. Michele Giacobini
Test della libreria JSetL tramite JUnit.
Relatore: Gianfranco Rossi
Dott. Martina Iasoni
Studio e Sperimentazione di Dart e Realizzazione di un'Applicazione di Configurazione.
Relatore: Federico Bergenti
Appello di laurea del 24 aprile 2013
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Laura Bertani, Giulio Destri, Grazia Lotti, Enea Zaffanella.
Dott. Andrea Gandolfi
Sistema di gestione contenuti per portale E-commerce nord-americano.
Relatore: Giulio Destri
Dott. Luca Vallisa
Progettazione e realizzazione di un modulo WADE-Android per l'identificazione di marker.
Relatore: Federico Bergenti
Dott. Riccardo Zangrandi
Automatizzazione e controllo delle soluzioni per i test dello strumento TCK di JSR331.
Relatore: Gianfranco Rossi
Appello di laurea del 18 dicembre 2012
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Laura Bertani, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Federico Folloni
Progettazione e realizzazione mediante gwt di un visualizzatore per la piattaforma WADE.
Relatore: Federico Bergenti
Dott. Giovanni Marescalchi
Sperimentazione di strumenti a supporto degli agenti software in ambiente IOS.
Relatore: Federico Bergenti
Appello di laurea del 17 ottobre 2012
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Pietro Cozzini, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Alessandro Mennillo
Studio e realizzazione di un sistema a vincoli per il Docking.
Relatore: Alessandro Dal Palù
Correlatore: Pietro Cozzini
Appello di laurea del 10 luglio 2012
Commissione: Gianfranco Rossi (pres.), Alessandra Aimi, Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Paolo Bolzoni (laurea specialistica - classe 23/S)
Design and implementation of a distributed system for computations on matrices with entries in semirings.
Relatore: Federico Bergenti
Correlatori: Prof. Agostino Poggi, Dott. Enrico Franchi
Dott. Matteo Masi
Progettazione e realizzazione di un sistema per l'acquisizione e la catalogazione automatica di fax.
Relatore: Federico Bergenti
Appello di laurea del 18 aprile 2012
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Fabio Biselli
Contributo alla Specifica JSR-331 mediante un'Implementazione basata su JSetL.
Relatore: Federico Bergenti
Dott. Luca Da Rin Fioretto
Studio di Algoritmi Paralleli per SAT Solving su Dispositivi GPU.
Relatore: Alessandro Dal Palù
Dott. Beatrice Demaldè
Sperimentazione delle Funzionalità Grafiche di HTML 5 Mediante il Google Web Toolkit.
Relatore: Federico Bergenti
Dott. Alberto Gioia (laurea specialistica - classe 23/S)
Integrazione locale di una AAI distribuita su scala geografica per l'accesso a risorse eterogenee.
Relatore: Roberto Alfieri
Dott. Andrea Longo
Realizzazione di Definite Clause Grammar in Java tramite JSetL.
Relatore: Gianfranco Rossi
Dott. Davide Vignoli
Studio e Sperimentazione del Package Interactive Wade.
Relatore: Federico Bergenti
Appello di laurea del 9 novembre 2011
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Roberto Amadini (laurea specialistica - classe 23/S)
Studio e realizzazione in Java di domini e regole per la risoluzione di vincoli su interi e insiemi di interi.
Relatore: Gianfranco Rossi
Dott. Andrea Maria Boscolo
Un configuratore web-based per un framework di verifica software.
Relatore: Roberto Bagnara
Appello di laurea del 13 luglio 2011
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Tommaso Nanu
Studio e sviluppo di metodi computazionali per l'analisi delle conformazioni di molecole.
Relatori: Alessandro Dal Palù, Pietro Cozzini
Appello di laurea del 20 aprile 2011
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Giulio Destri, Grazia Lotti, Enea Zaffanella.
Dott. Alberto Dallavalle
Implementazione di una interfaccia standard per la programmazione a vincoli in Java basata sulla libreria Jsetl.
Relatore: Gianfranco Rossi
Dott. Federico Fontana
Business intelligence: un caso di studio nel settore cosmetico.
Relatore: Giulio Destri
Dott. Lucia Guglielmetti
Progettazione e realizzazione in Java di programmi di test per la libreria Jsetl.
Relatore: Gianfranco Rossi
Dott. Antonio Martini (laurea specialistica - classe 23/S)
Una tecnica per il 3-way merge di modelli basata su XMI.
Relatore: Federico Bergenti
Appello di laurea del 17 novembre 2010
Commissione: Roberto Bagnara (pres.), Laura Bertani, Alessandro Dal Palù, Giulio Destri, Francesco Di Renzo, Grazia Lotti, Enea Zaffanella.
Dott. Fabio Bossi (laurea specialistica - classe 23/S)
Un dominio astratto per l'analisi dei calcoli in virgola mobile.
Relatore: Roberto Bagnara
Dott. Federico Ferretti
Il data warehousing e la tecnologia Oracle Warehouse Builder.
Relatore: Giulio Destri
Dott. Marco Poletti
Progettazione ed implementazione di matrici sparse basate su strutture dati cache-oblivious.
Relatore: Enea Zaffanella
Correlatore: Roberto Bagnara
Appello di laurea del 30 giugno 2010
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Francesco Di Renzo, Grazia Lotti, Enea Zaffanella.
Dott. Alberto Bisi
Analisi e sperimentazione di strumenti per la produzione di report da sorgenti dati eterogenee.
Relatore: Federico Bergenti
Dott. Francesco Sacchi
Progettazione e realizzazione di un framework per il controllo integrato di dispositivi via porta seriale, usb ed ethernet.
Relatore: Federico Bergenti
Appello di laurea del 28 aprile 2010
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Luca Menozzi
Un sistema web di prenotazione basato sulla programmazione a vincoli.
Relatore: Federico Bergenti
Dott. Spartaco Namia
Integrazione di CampusNet nell’infrastruttura di autenticazione ed autorizzazione della rete GARR (IDEM) basata su Shibboleth.
Relatore: Roberto Alfieri
Correlatore: Claudio Rivetti
Appello di laurea del 14 dicembre 2009
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Pietro Cozzini, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Filippo Dallavalle
Progettazione e realizzazione di un sistema di archiviazione documenti mediante barcode.
Relatore: Federico Bergenti
Dott. Ferdinando Fioretto
PSP attraverso l'assemblamento di frammenti e CSP.
Relatore: Alessandro Dal Palù
Dott. Enrico Franchi (laurea specialistica - classe 23/S)
Progetto ed implementazione di algoritmi e strutture dati efficienti per il calcolo del modello well-founded di programmi logici.
Relatori: Gianfranco Rossi, Alessandro Dal Palù
Appello di laurea del 14 ottobre 2009
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Giulio Destri, Enea Zaffanella.
Dott. Simone Bianchi
Accesso a basi di dati con una piattaforma ORM.
Relatore: Giulio Destri
Dott. Rino Saladino
Progettazione e realizzazione di un prototipo per un servizio web per pratiche studenti.
Relatore: Federico Bergenti
Dott. Matteo Sironi
Autenticazione centralizzata con il sistema CAS, integrando un'infrastruttura a chiave pubblica in ambito universitario.
Relatore: Roberto Alfieri
Dott. Andrea Zambon
Progettazione e realizzazione di uno strumento per la risoluzione distribuita e decentralizzata di problemi di soddisfacimento di vincoli.
Relatore: Federico Bergenti
Appello di laurea del 15 luglio 2009
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Giulio Destri, Grazia Lotti, Cristina Reggiani, Enea Zaffanella.
Dott. Walter Quattrociocchi (laurea specialistica - classe 23/S)
Classificazione e Previsione di Sistemi Complessi Dinamici: Simulazione Basata su Agente e Interaction Pattern.
Relatore: Federico Bergenti
Correlatori: Mirco Nanni, Mario Paolucci
Appello di laurea del 22 aprile 2009
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Paolo Bolzoni
Automatic Checking of Coding Rules.
Relatore: Roberto Bagnara
Corelatore: Enea Zaffanella
Dott. Chiara Gandolfi
Una distribuzione Linux con scopi pedagogici: analisi e progettazione.
Relatore: Roberto Alfieri
Corelatore: Giulio Destri
Dott. Leonardo Mutti
Ottimizzazione criteri di scheduling per job multiprocesso in ambiente Grid.
Relatore: Roberto Alfieri
Dott. Luca Pedrelli
Trattamento uniforme di insiemi, multi-insiemi e liste nella libreria Jsetl.
Relatore: Gianfranco Rossi
Dott. Fabio Sozzi
Progettazione e realizzazione di un sistema di visione artificiale per il riconoscimento dei movimenti residui.
Relatore: Fabio Bergenti
Appello di laurea del 25 febbraio 2009
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Francesco Beccari
Progetto di gestione dell’Identità in un sistema di Identity and Access Management di Ateneo.
Relatore: Roberto Alfieri
Corelatore: Marco Panella
Dott. Fabio Bossi
CORAL: a modern C++ library for the manipulation of Boolean functions.
Relatore: Roberto Bagnara
Dott. Fabio Trabucchi
Analisi Comparativa di Strutture Dati per la Rappresentazione dello Spazio.
Relatore: Alessandro Dal Palù
Dott. Andrea Zanelli
Progetto di gestione dell’Accesso in un sistema di Identity and Access Management di Ateneo.
Relatore: Roberto Alfieri
Corelatore: Marco Panella
Appello di laurea del 17 dicembre 2008
Commissione: Gianfranco Rossi (pres.), Alessandra Aimi, Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Riccardo Amaduzzi
Autenticazione di Google Apps con un Identity Server di Ateneo utilizzando il protocollo SAML.
Relatore: Roberto Alfieri
Appello di laurea del 24 settembre 2008
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Giulio Destri, Enea Zaffanella.
Dott. Michele Giacomo Filippi
Un’interfaccia uniforme per la programmazione con insiemi e vincoli insiemistici in Java.
Relatore: Gianfranco Rossi
Dott. Luca Lodi Rizzini
Costruzione di protocolli di comunicazione tra PC e dispositivi di controllo.
Relatori: Giulio Destri, Cesare Chiodelli
Dott. Stefano Soffia
Definizione ed implementazione di una analisi di points-to per linguaggi C-like.
Relatori: Roberto Bagnara, Enea Zaffanella
Appello di laurea del 22 aprile 2008
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Pietro Cozzini, Alessandro Dal Palù, Grazia Lotti, Enea Zaffanella.
Dott. Elena Ghinelli
Studio di strutture dati per la rappresentazione di mappe di densità di proteine.
Relatore: Alessandro Dal Palù
Appello di laurea del 26 marzo 2008
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Federico Bergenti, Alessandro Dal Palù, Giulio Destri, Enea Zaffanella.
Dott. Luca Faggiani
Sincronizzazione tra basi di dati con tecnologia Oracle 10g.
Relatore: Giulio Destri
Dott. Alberto Gioia
Problematiche relative all'introduzione di un sistema di Identity and Access Management federato in una Università.
Relatori: Roberto Alfieri, Ing. Marco Panella
Dott. Marco Grossi
Nodi di calcolo virtuali on-demand in ambiente Grid.
Relatori: Roberto Alfieri, Davide Salomoni
Appello di laurea del 27 febbraio 2008
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Alessandro Dal Palù, Giulio Destri, Grazia Lotti, Enea Zaffanella.
Dott. Daniele Pandini
Progettazione e realizzazione in Java di un risolutore di vincoli su domini finiti.
Relatori: Gianfranco Rossi, Federico Bergenti
Appello di laurea del 3 ottobre 2007
Commissione: Gianfranco Rossi (pres.), Laura Bertani, Pietro Cozzini, Alessandro Dal Palù, Francesco Di Renzo, Gabriele Ricci, Enea Zaffanella.
Dott. Roberto Amadini
Inserimento del vincolo di cardinalità insiemistica nella libreria JSetL.
Relatore: Gianfranco Rossi
Appello di laurea del 26 aprile 2007
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Francesco Di Renzo, Grazia Lotti, Gabriele Ricci, Enea Zaffanella.
Dott. Delia Di Giorgio
Gestione di insiemi ed operazioni insiemistiche in Java tramite l'integrazione tra la libreria JSetL e l'interfaccia Set di Java.
Relatore: Gianfranco Rossi
Appello di laurea del 21 marzo 2007
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Alessandro Dal Palù, Grazia Lotti, Gabriele Ricci, Enea Zaffanella.
Dott. Alessandro Vincenzi
Interpretazione astratta di operatori per la manipolazione di bit in linguaggi imperativi.
Relatori: Roberto Bagnara e Enea Zaffanella
Appello di laurea del 20 settembre 2006
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Federico Bergenti, Eduardo Calabrese, Alessandro Dal Palù, Armando Sternieri, Enea Zaffanella.
Dott. Danilo Bonardi
Uno strumento per la conversione da OWL a Prolog
Relatore: Federico Bergenti
Dott. Anna Celada
Analisi, progettazione e realizzazione di un sito web per la Cooperativa Il Piccolo Principe di Reggio Emilia
Relatore: Eduardo Calabrese
Dott. Davide Masi
Data warehouse per servizi finanziari: progettazione e realizzazione di applicazioni di Business Intelligence in ambito DSS.
Relatore: Armando Sternieri
Appello di laurea del 26 aprile 2006
Commissione: Gianfranco Rossi (pres.), Roberto Alfieri, Roberto Bagnara, Giulio Destri, Grazia Lotti, Gabriele Ricci, Enea Zaffanella.
Dott. Irene Bacchi
Progettazione di applicazioni per la supervisione di sistemi domotici
Relatori: Giulio Destri e Cesare Chiodelli
Dott. Andrea Cimino
Un'implementazione incrementale e su aritmetica esatta del simplesso primale
Relatori: Enea Zaffanella e Roberto Bagnara
Dott. Nadia Toledi
Un'estensione alla libreria JsetL per il trattamento di vincoli su multi-insiemi
Relatori: Gianfranco Rossi e Elio Panegai