Questo elenco serve non tanto ad ricordare tutti i miei passati studenti, che comunque saluto e ringrazio per quel che hanno saputo fare e per quel che mi hanno insegnato, quanto ad orientare i miei futuri studenti sugli argomenti che possono sperare di sviluppare sotto la mia guida.
2002
Pellegrini Swami
La valutazione dell'usabilita' dei siti Web.
Il caso della mappa turistica della retre civica MOnet
Recchi Angelo
Web Usability per Piccole e Medie Imprese: de profundis o nuove opportunita'?
(tesi di Scienze della Comunicazione)
Presutti Valentina
Progettazione software basata su ontologie
Pinciani Paolo
Un ambiente di Web publishing per documenti UML
Genovesi Giuseppe
Analisi e orchestrazione di servizi Web
Grigoletto Federica
Videogiochi e cinema: interattivita', temporalita', tecniche narrative
e modalita' di fruizione (tesi DAMS)
DiSario Piero
Apprendere e Applicare Strategie seguendo un modello cognitivo per il
gioco degli scacchi
Grazioli Guido
Gestione del Carico Computazionale in un Ambiente Geograficamente
Distribuito di tipo GRID
Nicoli David Dante
Problematiche legate alla sicurezza in ASP.NET
Sirocchi Febio
Apprendimento Collaborativo via Web (Requirements for a Virtual Training Centre on Web)
Vuckovic Jaksa
Una Infrastruttura per i Web Service
Beoni Beatrice
Analisi e Progetto di uno strumento di scambio dati, basato su XML,
in ambiente PDM
Carnazza Roberto
Dall'Internet Advertising alle nuove forme di pubblicita' nell'era
della convergenza (Tesi di Scienze della Comunicazione)
2001
Moretti Rocco
Definizione di un modello di qualita' basato su paradigma GQM per
un sito web accademico
Cervesi Bruno
Microsoft .NET: architettura e modulo di accesso ai dati
Zambonelli Alessandro
Piattaforme per Enterprise computing: J2EE e .NET
Baldazzi Roberta
Event Manager Spy: Progettazione di una infrastruttura ad eventi
per un'applicazione ad oggetti COM (tesi esterna).
Folegati Stefano
Da Napster allo spazio Peer-to-peer: diritti, mercato, comunita'
(Tesi di Scienze della Comunicazione).
Gualducci Gianluca
Nuove realta' di comunicazione via rete: criteri di usabilita' dei
portali (Tesi di Scienze della Comunicazione).
Rinaldelli Bruno
Authoring distribuito su HTTP: il protocollo WebDAV.
Patelli Vanna
Project management: un caso di studio (tesi esterna).
Zaniboni Massimo
Un sistema informatico per l'editing cooperativo e la classificazione
di documenti di un laboratorio chimico (tesi esterna).
Monteverdi Alberto
Dentro l'Infodesign. La Qualita' totale nei servizi WWW
(Tesi di Scienze della Comunicazione).
Ansaloni Rino
XML per la gestione dei dati strutturati: un'esperienza.
2000
Citro Rocco
Le mappe cognitive e la navigazione nel World Wide Web
(Tesi di Scienze della Comunicazione).
Saviane Michela
Il futuro della memoria: strumenti di ricerca nel World Wide Web
(Tesi di Scienze della Comunicazione).
Bondi Nico
Firma Digitale: il ruolo della tecnologia nell'interazione
cittadino-Pubblica Amministrazione. L'esperimento
Bolognese: analisi e prospettive
(Tesi di Scienze della Comunicazione).
Stagni Simona
Documenti attivi e mobili con XML
Cortucci Marina
Integrazione di documenti attivi in Mozilla
Fornaciari Simona
Progettazione e realizzazione di un'applicazione aziendale
(tesi esterna)
Arriani Aziz
Applicazioni di XML per il Comercio Elettronico
Candiani Gabriele
Tecnologie Wireless
Diamanti Tiziano
Visualizzazione tridimensionale di modelli digitali del terreno
(tesi esterna)
Manzoni Davide
Coordinazione di documenti attivi XML: un'applicazione di borsa
Olivieri Yuri
Uno strumento per l'elaborazione di documenti ipertestuali
Tambini Massimiliano
Una libreria di componenti per la formattazione di documenti XML (XML-FO)
1999
Ronchi Alessandro
Un ambiente ipertestuale per UML basato su XML
Benatti Elvio
BIZTALK Framework: Uno standard per il commercio elettronico
basato su XML
Benini Alberto
Sistema on-line per la gestione ed il controllo
della Qualita' dei processi aziendali
(tesi esterna)
Villa Silvia
Uno strumento di tipografia digitale per il Web
Fasoli Nicola
Un'applicazione di comunicazione multimediale basata su CORBA
Bedocchi Luca
Progetto e realizzazione di un sistema per il controllo
delle versioni di documenti basato su VTML
Rocca Alessandro
Progetto e implementazione di un meccanismo di supporto
di navigazione ipertestuale per documenti XML
Di Pancrazio Simona
Formalismi di specifica per sistemi mobili
Piergallini Simone
Il progetto Mozilla: esame critico della struttura del programma e
delle strategie adottate per coordinarne la realizzazione
Pirro Patrizia
Supporto al processo di produzione del software: analisi e sviluppo di
un sistema di project tracking
(tesi esterna)
Romagnoli Federica
Analisi e progetto di un configuratore di prodotto
(tesi esterna)
Zoboli Andrea
Groupware e LotusNotes/Domino
1998
Giovannini Andrea
Agenti Mobili in Java e applicazioni di groupware
Zizi Antonello
Integrazione di Servizi: un cliente vocale telefonico per la posta elettronica
Parmigiani Elisa
Progetto e sviluppo di uno strumento per applicazioni CORBA
(tesi esterna)
Flamigni Paolo
Animazione distribuita di specifiche formali
Mascioli Tommaso
Analisi statica di programmi Java
Bergamini Paride
Studio della QoS per Sistemi a Oggetti Distribuiti (CORBA)
Bompani Luca
Documenti Attivi in XML
Pancaldi Stefano
Gestione tramite fogli di stile di documenti ipertestuali in formato XML
Roncarati Milena
Gestione di Dati Finanziari tramite Riscrittura di Documenti XML
DeBonis Gian Luca
Visualizzazione di Diagrammi UML su WWW mediante XML
1997
Castellani Bruno
Un'architettura distribuita per la visita di alberi di gioco (using Linda)
Favre Dimitri
Metriche di progettazione a oggetti: il caso Larch/C++
Sibilio MariaGrazia
Un ciclo di vita del software in Regime di
Assicurazione di Qualità a norma ISO 9001 (tesi esterna)
Busi Gianluca
Coordinazione su WWW: Un'Architettura Basata su
Spazi di Tuple (Paradise/Java)
Valentini Tiziana
Aspetti semantici di Java
Turricchia GBattista
Interoperabilità Java-CORBA: oggetti distribuiti su rete
Marussi Simon
Un'applicazione Java per il Web: gestione di piani di studio
Franzè Francesco
Model checking nel modello di coordinazione PoliS
Zerba Raffaella
Sistemi di workflow: studio analisi e sviluppo (tesi esterna)
Pincelli Paolo
Standard Microsoft di interoperabilità tra oggetti
Gaggi Nicola
Progetto e realizzazione di un architettura di coordinazione
per applicazioni multiagente su WWW (JaCoPo)
Melotti Maura
Progetto e realizzazione di uno strumento di lavoro di gruppo
(tesi esterna)
Cioni Luca
Progettazione orientata agli oggetti in un modellatore tridimensionale
(tesi esterna)
Rizzi Alfredo
Integrazione di HTML con Java per tipografia digitale (Displets)
Caprara Tommaso
Un modello di sviluppo del sw e l'impiego del groupware nella gestione
del processo
(tesi esterna)
1996
Sgubbi Patrizia
Metriche per software di qualità: rassegna
e sviluppo di uno strumento di misura (measuring Larch/C)
Magnani Lucia
Realizzazione su rete di un linguaggio di coordinazione
Zucchini Emiliano
Simulazione mediante automi cellulari(tesi esterna)
Fantini Augusto
Un ambiente di supporto alla progettazione formale:
specifiche di processo e di sistema (Shadow)
DeOtto Massimiliano
Definizione e realizzazione di paradigmi di
simulazione distribuita mediante Linda
Pazzaglia Linda
Il linguaggio di specifica PoliS e una logica basata su TLA
Mazza Mauro
Il linguaggio di specifica PoliS e una logica basata su TLA
Bignozzi Antonio
Coordinazione di agenti attivi su WWW (Jada/Shade)
Toni Benedetto
Machine learning basato su analisi di database.
Il caso del gioco degli scacchi
Sancese Silvio
Coordinazione e calcolo parallelo nell'algoritmo boundary
element method in aerodinamica transonica (using Linda vs PVM)
Berni Stefano
Posta vocale su Internet (Voice mail client)
1995
Zavattaro Gianluigi
Coordinazione: aspetti linguistrici e semantici (Gamma)
Liboni Stefano
Clepsydra - Un metodo formale di sviluppo del software: studio di un esempio
Pulcini Daniele
Compilazione di specifiche formali in un linguaggio logico concorrente
Bartoli Matteo
Compilazione di specifiche formali in un linguaggio logico concorrente
Mascolo Cecilia
Specifica e analisi formale di sistemi distribuiti (using Z and CHAM)
1994
Santi Andrea
Un programma a conoscenza distribuita per il Gioco degli Scacchi
Malan Fabio
Un programma per il gioco del Kriegspiel basato su scelte razionali
(tesi in Economia e Commercio, Univ. di Venezia).
Rossi Davide
Coordinazione e distribuzione nel linguaggio Linear Objects
Foschini Giovanni
Clepsydra - Un metodo formale di sviluppo del software: dalla specifica al progetto
Pensalfini Fabio
Studio e implementazione di metodi adattivi di prefetching per disk cache
Arzeni Rita
Studio e implementazione di metodi adattivi di prefetching per disk cache
1992
Guerrini Nicola
Realizzazione di meccanismi di comunicazione generativa in un sistema
operativo didattico (Linda meets Minix)
Antonini Maria Lucia
Implementazioni su memoria condivisa del linguaggio di coordinazione Linda
Belloni Rino
Implementazioni distribuite del linguaggio di coordinazione Linda
1991
Pompei Sonia
Il linguaggio di coordinazione LOSP
Castellani Stefania
Il linguaggio di coordinazione LOSP
Loreti Gianni
Un metodo di trasformazione di specifiche Z e animazione in Prolog
Tozzi Mirko
Progetto e realizzazione di un programma distribuito di visita di alberi di gioco
1990
Giordano Maddalena
TTCN: un linguaggio per test di conformita di
protocolli. Caratteristiche e compilazione (tesi esterna)
Esposito Roberto
Posta elettronica - stato dell'arte e prospettive
Demontis Rita
Integrazione di analisi semantica in editor di strutture
Castagnetti Tiziana
Compilazione ed esecuzione di un linguaggio logico distribuito (Shared
Prolog)
Montanari Maurizio
Compilazione ed esecuzione di un linguaggio logico distribuito (Shared
Prolog)
Montanari Alberto
Interfaccia grafica per uno strumento CASE generatore di
programmi orientato alla specifica dei report da un database di tipo
reticolare (tesi esterna)
1989
Gravili Paola
Progetto e realizzazione di un ambiente per un linguaggio concorrente didattico
Tamagno Roberto
Progetto e realizzazione di un ambiente per un linguaggio concorrente didattico
Caroti Dario
Specifica e animazione di un database concorrente in Flat Concurrent Prolog
Marcoccio Roberto
Un metodo per la misura della qualità del software: il testing
topologico (tesi esterna)
My home page