Items where Division is "Facoltà di Scienze Matematiche, Fisiche e Naturali > Corso di laurea in Informatica" and Year is 2003

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Autore (Cognome, Nome) | Tipologia pubblicazione | No Grouping
Jump to: A | B | C | D | F | G | L | M | N | O | P | R | S | T | V | X | Z
Number of items: 58.

A

Adami, Luca and Posenato, Roberto (rel.) and Belussi, Alberto (correl.) (2003) [BM Tesi I 0279]. - Studio di fattibilità di conversione di un'applicazione web in un'applicazione enterprise multilivello. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

B

Balasso, Giovanni and Giacobazzi, Roberto (rel.) and Laudanna, Carlo (correl.) (2003) [BM Tesi I 0273]. - Metodi formali per l'analisi di sistemi biochimici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Battaglia, Stefania and Segala, Roberto (rel.) (2003) [BM Tesi I 0170]. - Analisi comparativa degli algoritmi di crittografia simmetrica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Benamati, Lorenzo and Fiorini, Paolo (rel.) and Cosma, Claudio (correl.) (2003) [BM Tesi I 0154]. - Pianificazione di moto mediante l'approccio Flat Potential Field. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Bianco, Luca and Segala, Roberto (rel.) (2003) [BM Tesi I 0171]. - Un nuovo protocollo di traitor tracing adatto alla tv satellitare esistente. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Bighignoli, Luca and Scollo, Giuseppe (rel.) (2003) [BM Tesi I 0149]. - La metodologia GQM : dallo studio del processo lo sviluppo di un prototipo di MSS open source. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Bistaffa, Cristiano and Segala, Roberto (rel.) (2003) [BM Tesi I 0274]. - La protezione del software. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Bombieri, Nicola and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0272]. - Verifica funzionale di sistemi embedded di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Burato, Elisa and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0217]. - Software watermarking. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Busti, Alessandro and Fusiello, Andrea (rel.) and Benedetti, Arrigo (correl.) (2003) [BM Tesi I 0161]. - Autocalibrazione a convergenza globale mediante analisi degli intervalli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Busti, Matteo and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0292]. - Struttura di una architettura per il proof-carrying code. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

C

Camero, Enrico and Fummi, Franco (rel.) and Perbellini, Giovanni (correl.) and Martini, Stefano (correl.) (2003) [BM Tesi I 0259]. - Applicazione per terminali mobili : lato server. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Castellani, Andrea and Fiorini, Paolo (rel.) and Bicego, Manuele (correl.) and Botturi, Debora (correl.) (2003) [BM Tesi I 0162]. - Modello ibrido HMM/SVM per l'analisi e la segmentazione di operazioni complesse in teleoperazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Ciccodicola, Marco and Poncino, Massimo (rel.) (2003) [BM Tesi I 0275]. - Analisi del consumo energetico degli algoritmi di scheduling. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Cordibella, Stefano and Fummi, Franco (rel.) and Perbellini, Giovanni (correl.) and Martini, Stefano (correl.) (2003) [BM Tesi I 0260]. - Applicazione per terminali mobili : lato client. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Corradi, Marco and Combi, Carlo (rel.) (2003) [BM Tesi I 0150]. - Progettazione orientata agli oggetti per la rappresentazione di intervalli espressi con differenti granularità, vaghezza e indeterminatezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

D

De Franceschi, Matteo and Masini, Andrea (rel.) (2003) [BM Tesi I 0267]. - Tipi, dimostrazioni e programmi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

De Sena, Antonio and Rocchesso, Davide (rel.) and De Marchi, Stefano (correl.) (2003) [BM Tesi I 0291]. - La trasformata di Mellin : teoria ed applicazioni all'analisi di segnali audio. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

F

Farenzena, Michela and Fusiello, Andrea (rel.) (2003) [BM Tesi I 0164]. - Calibrazione di una telecamera e triangolazione mediante analisi degli intervalli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Ferri, Emanuele and Scollo, Giuseppe (rel.) (2003) [BM Tesi I 0155]. - Analisi comparata di sistemi di collaborazione in rete, con licenze libere e commerciali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Formaggio, Luca and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0290]. - Una tecnica di co-simulazione accurata temporalmente per sistemi embedded. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Frinzi, Andrea and Rocchesso, Davide (rel.) (2003) [BM Tesi I 0276]. - Interfacce gestuali per l'elaborazione del suono. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

G

Gabrielli, Nicoletta and Cristani, Matteo (rel.) and Segala, Roberto (correl.) (2003) [BM Tesi I 0297]. - Approccio immunologico all'analisi del traffico di rete : meccanismo immunologico. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Giacon, Paolo and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0216]. - Abstract model checking : tecniche di raffinamento automatico attraverso controesempi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Ginepro, Simone and Fiorini, Paolo (rel.) (2003) [BM Tesi I 0156]. - Cooperazione tra un robot mobile e un robot fisso. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Girelli, Daria and Rocchesso, Davide (rel.) and Fontana, Federico (correl.) (2003) [BM Tesi I 0165]. - Validazione psicofisica di uno strumento per la resa acustica della distanza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Gozzi, Matteo and Combi, Carlo (rel.) and Pozzi, Giuseppe (correl.) (2003) [BM Tesi I 0151]. - Modellazione concettuale di workflow temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Grigolato, Giuliano and Giacobazzi, Roberto (rel.) and Mastroeni, Isabella (correl.) (2003) [BM Tesi I 0280]. - Analisi di protocolli crittografici mediante metodi formali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Gusperti, Andrea and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0269]. - Un sistema di tipi di sicurezza per il Java Bytecode. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

L

Lavarini, Roberto and Fummi, Franco (rel.) (2003) [BM Tesi I 0262]. - Analisi e comparazione delle architetture intel e AMD a 32 e 64 bit. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Lonardi, Michelangelo and Segala, Roberto (rel.) (2003) [BM Tesi I 0219]. - Studio di strategie vincenti in giochi concorrenti non deterministici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

M

Magnani, Cristiano and Combi, Carlo (rel.) and Bucalo, Roberto (correl.) and Ferrari, Roberto (correl.) (2003) [BM Tesi I 0157]. - XML per il supporto alla progettazione di sistemi informativi aziendali : generazione di specifiche portabili per la produzione industriale di CAD IT. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Marconcini, Cristina and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0289]. - Relazione tra modelli di guasto a diversi livelli di astrazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Marogna, Emanuele and Giacobazzi, Roberto (rel.) (2003) [BM Tesi I 0215]. - Shape analysis con logica a 3 valori. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Menegolli, Diego and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0288]. - Simulazione di dispositivi embedded di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Merlo, Alessio and Giacobazzi, Roberto (rel.) and Mastroeni, Isabella (correl.) (2003) [BM Tesi I 0296]. - Compressione di astrazioni in model checking. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Moschini, Davide and Fiorini, Paolo (rel.) (2003) [BM Tesi I 0153]. - Stabilità e prestazioni di sistemi di teleoperazione con robot flessibili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

N

Negrente, Alessandro and Fusiello, Andrea (rel.) and Castellani, Umberto (correl.) (2003) [BM Tesi I 0152]. - Studio e realizzazione di un sistema di acquisizione e modellazione tridimensionale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

O

Origano, Stefano and Murino, Vittorio (rel.) and Iacono, Gianluca (correl.) (2003) [BM Tesi I 0295]. - Analisi wavelet e reti neurali per la classificazione di difetti nei tessuti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

P

Parma, Augusto and Segala, Roberto (rel.) (2003) [BM Tesi I 0293]. - Assiomatizzazione completa di semantiche a tracce per processi stocastici nondeterministici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Parolin, Federico and Belussi, Alberto (rel.) (2003) [BM Tesi I 0263]. - Un generatore GML per basi di dati PostgreSQL contenenti dati geografici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Petruccelli, Alex and Spoto, Nicola Fausto (rel.) (2003) [BM Tesi I 0270]. - Rassegna e confronto di compilatori Just in Time per Java. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Pietrangeli, Roberto and Spoto, Nicola Fausto (rel.) (2003) [BM Tesi I 0271]. - Allocazione degli oggetti in regioni per il linguaggio Java. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

R

Rambaldelli, Gianluca and Combi, Carlo (rel.) and Amaddeo, Francesco (correl.) (2003) [BM Tesi i 0144]. - Un sistema per la gestione di cartelle cliniche psichiatriche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Righetti, Mauro and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2003) [BM Tesi I 0268]. - Un approccio algebrico nella gestione di basi di dati temporali semistrutturate : una proposta per la gestione di informazioni a differenti granularità temporali e con indeterminatezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Rigodanzo, Marco and Segala, Roberto (rel.) and Cristani, Matteo (correl.) (2003) [BM Tesi I 0277]. - Approccio immunologico all'analisi del traffico di rete : gestione dei linfociti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Rossi, Angelo Ivan and Murino, Vittorio (rel.) and Iacono, Gianluca (correl.) and De Toni, Giovanni (correl.) (2003) [BM Tesi I 0278]. - Sviluppo di un metodo statistico per la classificazione dei difetti nei tessuti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Roverselli, Marco and Combi, Carlo (rel.) (2003) [BM Tesi I 0143]. - Un sistema multimediale per l'integrazione di oggetti visuali e testuali : associazione di osservazioni alfanumeriche a video. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

S

Sacco, Matteo and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2003) [BM Tesi I 0287]. - Metodologia di test funzionale basata su macchine a stati finiti estese. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Sampietri, Nicola and Segala, Roberto (rel.) (2003) [BM Tesi I 0168]. - Protocollo di votazione elettronica robusto al ricatto. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Sanson, Alberto and Fusiello, Andrea (rel.) and Castellani, Umberto (correl.) (2003) [BM Tesi I 0261]. - Realtà aumentata tramite inseguimento di modelli con telecamere multiple. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Sturla, Simona and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2003) [BM Tesi I 0159]. - Verifica funzionale come supporto all'analisi di completezza di un insieme di proprietà. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

T

Tosoni, Simone and Combi, Carlo (rel.) (2003) [BM Tesi I 0160]. - XML e linguaggi di interrogazione basati su SQL. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

V

Vecchi, Fabrizio and Segala, Roberto (rel.) (2003) [BM Tesi I 0218]. - Applet di analisi di algoritmi di ordinamento. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Vogadori, Alberto and Combi, Carlo (rel.) (2003) [BM Tesi I 0142]. - Un sistema multimediale per l'integrazione di oggetti visuali e testuali : composizione di video. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Voltolini, Francesca and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2003) [BM Tesi I 0141]. - Utilizzo di informazioni gerarchiche per l'ottimizzazione del test funzionale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

X

Xumerle, Luciano and Combi, Carlo (rel.) and Pignatti, Pier Franco (correl.) (2003) [BM Tesi I 0147]. - Un sistema per la gestione dell'informazione nella attività di ricerca su fenotipi complessi in un laboratorio di genetica umana. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

Z

Zecchini, Silvia and Fiorini, Paolo (rel.) and Scollo, Giuseppe (rel.) (2003) [BM Tesi I 0158]. - Architettura software per un sistema di telerobotica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.

This list was generated on Sat Jun 15 11:50:39 2024 CEST.