 | Up a level |
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
