Università degli Studi di Parma |
Sede: Parco Area delle Scienze, Indirizzo Internet:
http://www.math.unipr.it/~biblio/ |
|
|
|
|
|
Corso di Laurea in Informatica. |
|
Le Tesi…
a.a. 2004/2005 - Sessione di Laurea del 26 Aprile
2006 |
Bacchi
Irene
«Progettazione di applicazioni per la supervisione di sistemi domotici»
(Relatore Ch.mo Prof.
Giulio Destri)
(Correlatore Ch.mo
Prof. Cesare Chiodelli)
Tesi n. 1
Cimino
Andrea
«Un’implementazione incrementale e su aritmetica esatta del
simplesso primale»
(Relatore Dott. Enea Zaffanella) (Correlatore Ch.mo Prof.
Roberto Bagnara)
Tesi n. 2
Toledi Nadia
«Un’estensione alla libreria JsetL
per il trattamento di vincoli su multi-insiemi.»
(Relatore Ch.mo Prof.
Gianfranco Rossi) (Correlatore Dott. Elio Panegai)
Tesi n. 3
a.a.
2005/2006 - Sessione di Laurea del 20
Settembre 2006 |
Bonardi Danilo
«Uno strumento per la conversione da
OWL a Prolog»
(Relatore Chiar. mo Prof. Ing.
Federico Bergenti)
Tesi n. 4
Celada Anna
«Analisi, progettazione e realizzazione
di un sito web per
(Relatore Ch.mo Prof.
Eduardo Calabrese)
Tesi n. 5
Davide
Masi
«Data Warehouse
per servizi finanziari: progettazione e realizzazione di applicazioni di
business intelligence in ambito DSS.»
(Relatore Ch.mo Prof.
Armando Sternieri) (Correlatore Ing. Davide Diemmi)
Tesi n. 6
a.a. 2005/2006 - Sessione di Laurea del 21 Marzo 2007 |
Alessandro Vincenzi
«Interpretazione astratta di
operatori per la manipolazione di bit in linguaggi imperativi»
(Relatore Ch.mo Prof.
Roberto Bagnara) (Correlatore Ch.mo Prof.
Enea Zaffanella)
Tesi n. 7
a.a. 2005/2006 -
Sessione di Laurea del 26 Aprile 2007 |
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 Ch.mo Prof.
Gianfranco Rossi)
Tesi n. 8
a.a.
2006/2007 -
Sessione di Laurea del 21 Settembre 2007 |
Franchi Enrico
«A contribution to the issue of string
cleanness; a design of an automatic program
transformation
=Un contributo al problema della ‘string cleannes’: design di
trasformazione automatica di programmi »
(Relatore Ch.mo Prof. Roberto Bagnara)
(Correlatore Ch.mo
Prof. Enea Zaffanella)
Corso di Laurea in
Matematica e Informatica.
Tesi triennale n. 9
a.a. 2006/2007
- Sessione di Laurea del 3 Ottobre 2007 |
Amadini Roberto
«Definizione e trattamento del
vincolo di cardinalità insiemistica nella libreria JSetL
»
(Relatore Ch.mo Prof. Gianfranco
Rossi)
Tesi n. 10
a.a. 2006/2007 - Sessione di Laurea del 27 Febbraio 2008 |
Pandini Daniele
«Progettazione e realizzazione in
JAVA di un risolutore di vincoli su domini finiti »
(Relatore Ch.mo Prof. Gianfranco Rossi)
(Correlatore Chiar. mo Prof. Ing.
Federico Bergenti)
Tesi n. 11
a.a. 2006/2007
-
Sessione di Laurea del 26 Marzo 2008 |
Faggiani Luca
«Sincronizzazione tra basi di dati con
tecnologia oracle 10g »
(Relatore Ch.mo Prof. Ing. Giulio
Destri) (Correlatore Ing. Alberto Picca)
Tesi n. 12
Gioia
Alberto
«Problematiche relative
all’introduzione di un sistema di identity and access management federato in una università »
(Relatore Ch.mo Prof. Roberto
Alfieri) (Correlatore Dott. Ing. Marco Panella)
Tesi n. 13
Grossi
Marco
«Nodi di calcolo virtuali on-demand in ambiente Grid »
(Relatore Ch.mo Prof. Roberto
Alfieri) (Correlatore Dott. Davide Salomoni)
Tesi n. 14
a.a. 2006/2007 - Sessione di Laurea
del 22 Aprile 2008 |
Ghinelli Elena
«Studio di strutture
dati per la rappresentazione di mappe di densità di proteine»
(Relatore Dott.
Alessandro Dal Palù)
Tesi n. 15
a.a. 2006/2007 - Sessione di Laurea del 24 Settembre 2008 |
Lodi Rizzini Luca
«Costruzione di protocolli di
comunicazione tra PC e dispositivi di controllo»
(Relatore Ch.mo Prof. Giulio Destri)
(Correlatore: Ing. Cesare Chiodelli)
Tesi n. 16
Filippi
Michele Giacomo
«Un’interfaccia uniforme per la
programmazione con insiemi e vincoli insiemistici in Java»
(Relatore Ch.mo Prof. Gianfranco
Rossi)
Tesi n. 17
Soffia
Stefano
«Definizione ed implementazione di una
analisi di pints-to per linguaggi C-like
»
(Relatore Ch.mo Prof. Roberto Bagnara) (Correlatore Ch.mo Prof.
Enea Zaffanella)
Tesi n. 18
a.a. 2007/2008 - Sessione di Laurea del 25 Febbraio 2009 |
Amaduzzi Riccardo
«Autenticazione di Google Apps con un Identity Server di
Ateneo utilizzando il protocollo SAML»
(Relatore Ch.mo Prof. Roberto
Alfieri) (Correlatore: Dott. Ing. Marco Panella)
Tesi n. 19
Beccari Francesco
«Progetto di gestione
dell’Identità di un sistema di Identity and
Access management di Ateneo»
(Relatore Ch.mo Prof. Roberto
Alfieri) (Correlatore: Dott. Ing. Marco Panella)
Tesi n. 20
Bossi Fabio
«CORAL: a modern C++ library for the manipulation
of Boolean functions»
(Relatore Ch.mo Prof. Roberto Bagnara)
Tesi n. 21
Trabucchi
Fabio
«Analisi Comparativa di Strutture Dati
per
(Relatore
Ch.mo Prof. Ralessandro Dal Palù)
Tesi n. 22
Zanelli Andrea
«Progetto di gestione dell’Accesso
in un sistema di Identity and Access Management di
Ateneo»
(Relatore Ch.mo Prof. Roberto
Alfieri) (Correlatore Dott. Ing. Marco Panella)
Tesi n. 23
a.a. 2007/2008 - Sessione di Laurea del 22 Aprile 2009 |
Bolzoni
Paolo
«Automatic Checking of Coding
Rules»
(Relatore Ch.mo Prof. Roberto Bagnara) (Correlatore: Ch.mo
Prof. Enea Zaffanella)
Tesi n. 24
Gandolfi Chiara
«Una distribuzione Linux con scopi
pedagogici: analisi e progettazione»
(Relatore Ch.mo Prof. Roberto
Alfieri) (Correlatore: Prof. Giulio Destri)
Tesi n. 25
Mutti Leonardo
«Ottimizzazione criteri di scheduling per job multiprocesso
in ambiente GRID»
(Relatore Ch.mo Prof. Roberto
Alfieri)
Tesi n. 26
Pedrelli Luca
«Trattamento uniforme di insiemi, multi-insiemi e liste nella libreria JSetL»
(Relatore Ch.mo Prof. Gianfranco
Rossi)
Tesi n. 27
Sozzi
Fabio
«Progettazione e realizzazione di un
sistema di visione artificiale per il riconoscimento di movimenti residui»
(Relatore Ch.mo Prof. Gianfranco
Rossi)
Tesi n. 28
a.a. 2008/2009 - Sessione di Laurea del 14 Ottobre 2009 |
Bianchi
Simone
«Accesso a basi di dati con una
piattaforma ORM»
(Relatore Ch.mo Prof. Giulio Destri)
(Correlatore: Ing. Alberto Picca)
Tesi n. 29
Zambon Andrea
«Progettazione e realizzazione di uno
strumento per la risoluzione distribuita e decentrata di problemi di
soddisfacimento di vincoli»
(Relatore Chiar. mo Prof. Ing.
Federico Bergenti)
Tesi n. 30
Sironi
Matteo
«Autenticazione centralizzata con il
sistema CAS, integrando un’infrastruttura a chiave pubblica in ambito
universitario»
(Relatore Ch.mo Prof. Roberto
Alfieri) (Correlatore: Ing. Marco Panella)
Tesi n. 31
Quattrocchi Walter
«Classificazione e previsione di sistemi
complessi dinamici: simulazione basata su agente e interaction
pattern»
(Relatore Ch.mo Prof. Federico Bergenti) (Correlatore: Dott. M. Nanni) (Correlatore: Dott.
M. Paolucci)
Tesi n. 32 (specialistica)
Saladino
Rino
«Progettazione e realizzazione di un
prototipo per un servizio WEB per pratiche studenti »
(Relatore Chiar. mo Prof. Ing.
Federico Bergenti)
Tesi n. 33
a.a. 2008/2009 - Sessione di Laurea del 14 Dicembre 2009 |
Dallavalle Filippo
«Progettazione e realizzazione di un
sistema di archiviazione di documenti mediante barcode»
(Relatore Chiar. mo Prof. Ing.
Federico Bergenti)
Tesi n. 34
Fioretto
Ferdinando
«Predizione di strutture proteiche
attraverso l’assemblamento di frammenti e CSP»
(Relatore Ch.mo Prof. Alessandro Dal Palù)
Tesi n. 35
Franchi
Enrico
«Progetto ed implementazione di
algoritmi e strutture dati efficienti per il calcolo del modello well-founded di programmi logici»
(Relatore Ch.mo Prof. Gianfranco
Rossi) (Correlatore: Ch.mo Prof. Alessandro Dal Palù)
Tesi n. 36 (specialistica)
a.a. 2008/2009 - Sessione di Laurea del 28 Aprile 2010 |
Menozzi Luca
«Un sistema WEB di prenotazione basato
sulla programmazione a vincoli»
(Relatore Chiar. mo Prof. Ing.
Federico Bergenti)
Tesi n. 37
Namia Spartaco
«Integrazione di CampusNet
nell’infrastruttura di autenticazione ed autorizzazione della rete GARR
(IDEM) basata su Shibboleth»
(Relatore Ch.mo Prof. Roberto
Alfieri) (Correlatore Ch.mo Prof. Claudio Rivetti)
Tesi n. 38
a.a. 2009/2010 - Sessione di Laurea del 30 Giugno 2010 |
Bisi Alberto
«Analisi e sperimentazione di software
per la produzione di report da sorgenti dati eterogenee»
(Relatore Chiar. mo Prof. Ing.
Federico Bergenti)
Tesi n. 39
Sacchi
Francesco
«Progettazione e realizzazione di un framework per il controllo integrato di dispositivi via
porta seriale, USB e Ethernet »
(Relatore Chiar. mo Prof. Ing. Federico Bergenti)
Tesi n. 40
a.a. 2009/2010 - Sessione di Laurea del 17 Novembre 2010 |
Bossi
Fabio
«Un dominio astratto per l’analisi
dei calcoli in virgola mobile»
= «An
abstract domain for the analysis of floating point computations»
(Relatore Chiar. mo Prof. Roberto Bagnara)
Tesi n. 41 … specialistica
Ferretti
Federico
«Il Data Warehousing
e la tecnologia Oracle Warehouse Builder »
(Relatore Chiar. mo Prof. Giulio Destri) (Correlatore Dott.
Fabio Morsiani)
Tesi n. 42
Poletti Marco
«Progettazione ed implementazione di
matrici sparse basate su struture dati cache-oblivious»
(Relatore Chiar. mo Prof. Enea Zaffanella)
(Correlatore Chiar. mo Prof. Roberto Bagnara)
Tesi n. 43
a.a. 2009/2010 - Sessione di Laurea del 20 Aprile 2011 |
Dallavalle Alberto
«Implementazione di un’interfaccia
standard per la programmazione a vincoli in Java basata sulla libreria JSetL »
(Relatore Chiar. mo Prof. Gianfranco Rossi)
Tesi n. 42
Fontana
Federico
«Business intelligence: un caso di
studio nel settore cosmetico»
(Relatore Chiar. mo Prof. Giulio Destri) (Correlatore Dott.
Fabio Morsiani)
Tesi n. 43
Guglielmetti Lucia
«Progettazione e realizzazione in Java
di programmi di test per la libreria JSetL»
(Relatore Chiar. mo Prof. Gianfranco Rossi)
Tesi n. 44
Martini
Antonio
«Una tecnica per il 3-way merge di modelli basata su XMI»
= «An
XMI-based technique for the 3-way merge of models»
(Relatore Chiar.
mo Prof. Ing. F. Bergenti) (Correlatore Chiar. mo Prof. L. Bendix)
Tesi n. 45… specialistica
a.a. 2010/2011 - Sessione di Laurea del 13 Luglio 2011 |
Nanu Tommaso
«Studio e sviluppo di metodi
computazionali per l’analisi delle conformazioni di molecole»
(Relatore Chiar. mo Prof. Alessandro Dal Palù)
Tesi n. 46
a.a. 2010/2011 - Sessione di Laurea del 9 novembre 2011 |
Amadini Roberto
«Studio e realizzazione in Java di domini
e regole per la risoluzione di vincoli su interi e insiemi di interi»
(Relatore Chiar. mo Prof. Gianfranco Rossi)
Tesi n. 47 …
Specialistica.
Boscolo Andrea Maria
«A web-based configurator
for a software verification framework»
(Relatore Chiar.
mo Prof. Roberto Bagnara) (Correlatore Dott.
Abramo Bagnara)
Tesi n. 48.
a.a. 2010/2011 - Sessione di Laurea del 18 aprile 2012 |
Biselli
Fabio
«Contributo alla Specifica JSR-331
mediante un’Implementazione basata su JSetL»
(Relatore Chiar. mo Prof. Federico Bergenti)
Tesi n. 49.
Da Rin Fioretto Luca
«Studio di algoritmi paralleli per SAT solving su dispositivi GPU. Implementazioni CUDA»
(Relatore Chiar. mo Prof. Alessandro
Dal Palù)
Tesi n. 50.
Demaldè Beatrice
«Sperimentazione delle funzionalità
grafiche di HTML5 mediante il GOOGLE WEB
TOOLKIT»
(Relatore Chiar. mo Prof. Federico Bergenti)
Tesi n. 51.
Gioia
Alberto
«Integrazione locale di una AAI distribuita
su scala geografica, per l’accesso a risorse eterogenee»
(Relatore Chiar. mo Prof. Roberto
Alfieri)
Tesi
n. 52. specialistica.
Longo
Andrea
«Realizzazione di Definite Clause Grammar in Java tramite JSetL »
(Relatore Chiar. mo Prof. Gianfranco
Rossi)
Tesi n. 53.
Davide Vignoli
«Studio e sperimentazione del package interactive wade»
(Relatore Chiar. mo Prof. Federico Bergenti)
Tesi n. 54.
a.a. 2011/2012 - Sessione di Laurea del 10 luglio 2012 |
Bolzoni
Paolo
«Progetto ed implementazione di un
sistema distribuito per calcoli su matrici a valori di semianelli»=
«Design
and implementation of a distributed system for computations on matrices with
values in semirings».
(Relatore Chiar. mo Prof. Federico Bergenti) (Correlatori Prof. Agostino Poggi, Prof. Enrico
Franchi)
Tesi
n. 55. specialistica.
Matteo
Masi
«Progettazione e realizzazione di un
sistema per l’acquisizione e la catalogazione automatica di fax».
(Relatore Chiar. mo Prof. Federico Bergenti)
Tesi n. 56.
Data ultimo aggiornamento 19 novembre 2012 |
Pagine web a cura di Fabrizia Tassoni |