|
Università degli Studi di Parma
|
Sede: Viale G. P. Usberti, 53 A 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 Dott. Ing.
Federico Bergenti)
Tesi n. 4
Celada
Anna
«Analisi,
progettazione e realizzazione di un sito web per la Cooperativa “Il Piccolo
Principe” di Reggio Emilia »
(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 Dott. 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 la Struttura Dati per la Rappresentazione
dello Spazio»
(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
Ch.mo Prof. 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
Ch.mo Prof. 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
Dott. 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)
|
Data ultimo aggiornamento 14
dicembre 2009 |
Pagine web a cura
di Fabrizia Tassoni |