 | 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.
Agliada, Nicola and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2001) [BM Tesi I 0033]. - Simulazione e co-simulazione hardware e software per la progettazione di sitemi digitali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Aldà, Roberto and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2004) [BM Tesi I 0148]. - Il test funzionale di sistemi programmabili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Allegri, Andrea and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0241]. - Basi di dati semistrutturate multimediali : progettazione e realizzazione di un sistema basato su DBMS XML nativi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Alloro, Mauro and Belussi, Alberto (rel.) and Biscaro, Roberto (correl.) and Bellomi, Francesco (correl.) (2002) [BM Tesi I 0009]. - Metodologie per il clustering non supervisionato di documenti in linguaggio naturale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ambrosi, Alessandro and Tanca, Letizia (rel.) and Posenato, Roberto (correl.) (1998) [BM Tesi I 0102]. - Realizzazione del sito della Facoltà di Scienze MM.FF.NN. di Verona : utilizzo della metodologia RMM. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Antonioli, Alberto and Tecchiolli, Giampietro (rel.) and Brancato, Beniamino (correl.) (2000) [BM Tesi I 0064]. - Analisi di feature multiscala per la mammografia assistita dal calcolatore (CAM). Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Aprile, Michele and Fusiello, Andrea (rel.) (2002) [BM Tesi I 0194]. - Metodi di segregazione oggetti-sfondo per la rappresentazione stratificata di sequenze video. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Arduini, Claudio and Segala, Roberto (rel.) (2002) [BM Tesi I 0204]. - Un protocollo di pagamento elettronico basato su curve ellittiche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Azzoni, Paolo and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2001) [BM Tesi I 0018]. - Tecniche semiformali di verifica per il test funzionale di dispositivi hardware. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Babbi, Claudia and Posenato, Roberto (rel.) (2004) [BM Tesi I 0248]. - Studio delle reti di Hopfield lagrangiane aumentate per la risoluzione dell'insieme di indipendenza massimo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Badinelli, Laura and Murino, Vittorio (rel.) and Rocchesso, Davide (rel.) (2001) [BM Tesi I 0003]. - Sonorizzazione di forme di oggetti. 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.
Baldi, Michele and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1997) [BM Tesi I 0139]. - WG-Log, un linguaggio di interrogazione per il World Wide Web : un'architettura distribuita per la risoluzione di query. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Baltieri, Claudio and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0010]. - Una metodologia di progetto ad alto livello di dispositivi di rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Barana, Michele and Scollo, Giuseppe (rel.) and Antoniol, Giuliano (correl.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0088]. - Uso di metodologie algebriche per l'ingegneria del software ed il paradigma ad oggetti. 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.
Bellomi, Francesco and Bellin, Gianluigi (rel.) (2000) [BM Tesi I 0063]. - Un prototipo di linguaggio basato sul pattern matching per lo sviluppo di strategie per la ricerca di dimostrazioni. 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.
Benamati, Stefano and Tanca, Letizia (rel.) and Tecchiolli, Giampietro (correl.) (1997) [BM Tesi I 0132]. - Sviluppo di un ambiente software interattivo per l'addestramento e la validazione di architetture neurali basate sul processore totem. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Benedetti, Carlo and Murino, Vittorio (rel.) and Fiorini, Paolo (correl.) (2000) [BM Tesi I 0062]. - Architettura per il controllo di sistemi di teleoperazione con ritardo variabile. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bernardelli, Nicola and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) and Rossato, Rosalba (correl.) (2004) [BM Tesi I 0224]. - Regole di associazione per documenti XML : definizione e valutazione di indici di similarià strutturale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bernardi, Mauro and Segala, Roberto (rel.) (2003) [BM Tesi I 0220]. - Il sistema informativo delle borse merci : analisi ed implementazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bertagnoli, Monica and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2004) [BM Tesi I 0225]. - Studio e realizzazione di un'interfaccia per la mosaicatura di immagini mediante la tecnica di progettazione centrata sull'utente. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bertolotto, Giammaria and Forte, Bruno (rel.) and Morato, Laura (correl.) (1998) [BM Tesi I 0135]. - Approccio probabilistico nella decompressione algoritmica dei dati immagine : ottimalità e problema inverso. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bezzornia, Tullio and Tecchiolli, Giampietro (rel.) and Brancato, Beniamino (correl.) (1999) [BM Tesi I 0077]. - Metodi per l'analisi di mammogrammi digitali basati su features multiscala. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bianchi, Michele and Forte, Bruno (rel.) (1998) [BM Tesi I 0111]. - Modellazione di IFS in image processing. 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.
Biasi, Chiara and Tanca, Letizia (rel.) and Dovier, Agostino (correl.) and Gastaldello, Guido (correl.) (1998) [BM Tesi I 0110]. - Sviluppo di un sistema informativo presso un'azienda di soluzioni informatiche distribuita geograficamente : applicazioni realizzate. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bicego, Manuele and Tecchiolli, Giampietro (rel.) and Tessari, Gino (correl.) and Bettinelli, Marco (correl.) (1999) [BM Tesi I 0076]. - Realizzazione e sviluppo di un sistema di classificazione degli odori basato su array di sensori chimici. 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.
Bissoli, Roberto and Veneziani, Alessandro (rel.) and Saleri, Fausto (correl.) (2000) [BM Tesi I 0065]. - Studio numerico della propagazione delle onde di velocità e pressione in un distretto vascolare con proprietà viscoelastiche. 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.
Bombassei, Francesco and Biscaro, Roberto (rel.) and Tanca, Letizia (rel.) and Ferro, Ruggero (correl.) and Taddeo, Patrizia (correl.) (1998) [BM Tesi I 0086]. - L'analisi della conoscenza mediante strumenti ontologici in un approccio sistematico alla disciplina del knowledge management. 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.
Bonato, Luca and Cristani, Matteo (rel.) (1999) [BM Tesi I 0096]. - Ragionamento spaziale qualitativo con vincoli : tecniche e metodi per la integrazione di conoscenza morfologica e mereotopologica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bonato, Roberto and Bellin, Gianluigi (rel.) (2000) [BM Tesi I 0061]. - Uno studio sull'apprendibilità delle grammatiche di Lambek rigide. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bonedomane, Simone and Fummi, Franco (rel.) and Quaglia, Davide (correl.) (2005) [BM Tesi I 0281]. - Realizzazione di un algoritmo di routing per una rete di sensori : valutazione delle prestazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bonfà, Andrea and Belussi, Alberto (rel.) and Bresciani, Paolo (correl.) (1999) [BM Tesi I 0094]. - Un traduttore per la dichiarazione di basi di conoscenza per una interfaccia evoluta a basi di dati. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Borboni, Cristina and Solitro, Ugo (rel.) and Priami, Corrado (correl.) (1999) [BM Tesi I 0069]. - *-Calculus : verso un'interpretazione logica dei processi distribuiti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bortoletto, Nicola and Fiorini, Paolo (rel.) (2000) [BM Tesi I 0053]. - PA* : un pianificatore euristico completo per scali ferroviari. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Botturi, Debora and Fiorini, Paolo (rel.) and Martelli, Sandra (correl.) (2000) [BM Tesi I 0052]. - Metodo geometrico per la determinazione dello spazio di lavoro di un manipolatore seriale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Braggio, Massimo and Tanca, Letizia (rel.) and Belussi, Alberto (correl.) (1998) [BM Tesi I 0109]. - Un sistema per la gestione dei siti strategici sul territorio del comune di Verona : problematiche e soluzioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Brazzarola, Marco and Fummi, Franco (rel.) (1999) [BM Tesi I 0075]. - Il problema della riduzione del consumo di potenza in circuiti con caratteristiche di autocollaudo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Briozzi, Enrico and Pica, Angelo (rel.) (1998) [BM Tesi I 0087]. - Tecniche adattive per il controllo dell'errore nella soluzione di problemi monodimensionali mediante il metodo degli elementi finiti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Brojanigo, Alberto and Manca, Vincenzo (rel.) (2004) [BM Tesi I 0233]. - Modelli simbolici di reazioni oscillanti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Brotto, Andrea and Cristani, Matteo (rel.) (2002) [BM Tesi I 0188]. - Una ontologia formale per la classificazione degli artefatti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Brunelli, Alessandro and Segala, Roberto (rel.) (2005) [BM Tesi I 0226]. - Reti di ordinamento. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Brunelli, Marco and Combi, Carlo (rel.) (2005) [BM Tesi I 0283]. - Basi di dati e web : progettazione e realizzazione di un'applicazione per la gestione orientata al cliente della revisione di veicoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Bukovitz, Michele and Segala, Roberto (rel.) (2004) [BM Tesi I 0240]. - Combinazione di tecniche di model checking e theorem proving applicate al modello probabilistico. 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.
Butturini, Sonia and Murino, Vittorio (rel.) and Bicego, Manuele (correl.) (2002) [BM Tesi I 0189]. - Catene di Markov a stati nascosti per il riconoscimento di gesti 2D. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cailotto, Stefano and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2000) [BM Tesi I 0051]. - Progetto incrementale con capacità di tolleranza ai guasti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Caldrer, Stefano and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2001) [BM Tesi I 0006]. - Sintesi di viste da immagini non calibrate con parallasse. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Calò, Christian and Murino, Vittorio (rel.) and Fenzi, Alberto (rel.) and Tognoni, Gilberto (correl.) (2000) [BM Tesi I 0056]. - Stima della visibilità in autostrada : un approccio basato sull'elaborazione delle immagini. 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.
Campion, Gianni and Fiorini, Paolo (rel.) and Martelli, Sandra (correl.) (2000) [BM Tesi I 0058]. - Metodo di calibrazione per robot manipolatori basato su una telecamera mobile. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Caramaschi, Ermes and Rocchesso, Davide (rel.) and Borin, Gianpaolo (correl.) (2004) [BM Tesi I 0234]. - Un modello fisico del pianoforte per la sintesi del suono. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Caricasole, Paolo and Combi, Carlo (rel.) and D'Onofrio, Mirko (correl.) (2005) [BM Tesi I 0282]. - Gestione di informazioni da esami ecografici : modellazione e gestione di aspetti temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Carlini, Marco and Rocchesso, Davide (rel.) (2001) [BM Tesi I 0019]. - Studio di un modello di frizione per la sintesi del suono in tempo reale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cason, Eros and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0011]. - Impatto tecnologico dei sistemi per la videoconferenza sulle reti IP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cassini, Luca and Murino, Vittorio (rel.) (1999) [BM Tesi I 0092]. - Determinazione automatizzata del profilo di dissoluzione di principi attivi mediante impiego di fibre ottiche. 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.
Castellani, Loris and Damiani, Ernesto (rel.) and Combi, Carlo (rel.) and Breda, Francesco (correl.) (2001) [BM Tesi I 0002]. - Host to web & wireless : un modello di piattaforma multiprotocollo per rispondere alle nuove esigenze di eBusiness. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Castellani, Umberto and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (1999) [BM Tesi I 0097]. - Elaborazione di immagini basate su un approccio probabilistico : Markov Random Field per il restauro di immagini stereo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Castelletti, Ruben and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Lestani, Maurizio (correl.) (1998) [BM Tesi I 0130]. - Un servizio per la gestione distribuita delle immagini di interesse patologico. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ceglie, Sara and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2001) [BM Tesi I 0014]. - Composizione di immagini con parallasse. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ceresola, Silvia and Fusiello, Andrea (rel.) and Belussi, Alberto (correl.) and Bicego, Manuele (correl.) (2002) [BM Tesi I 0178]. - Aggiornamento semi-automatico di mappe vettoriali di aree urbane. 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.
Ciresa, Mirko and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2002) [BM Tesi I 0163]. - Inseguimento e stima della posizione spaziale di mani in sequenze video. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Colombari, Andrea and Fusiello, Andrea (rel.) (2002) [BM Tesi I 0190]. - Tecniche per la costruzione di panorami cilindrici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Colombari, Omar and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0221]. - Definizione di viste su dati semistrutturati. 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.
Cordioli, Bruno and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Doria, Ilaria (correl.) and Tomasi, Mario (correl.) (1998) [BM Tesi I 0108]. - Un sistema informativo commerciale per l'estrazione dei dati aziendali sintetici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cordioli, Daniele and Combi, Carlo (rel.) and Alemanni, Marco (correl.) and Biscaro, Roberto (correl.) (2002) [BM Tesi I 0172]. - XML per la consultazione di dati di supporto alla produzione gestiti con sistemi legacy. 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.
Corubolo, Fabio and Segala, Roberto (rel.) (2002) [BM Tesi I 0166]. - La crittografia su smart card : analisi di standard, tecnologie, sistemi : sviluppo in ambiente javacard della crittografia ellittica nei campi primi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cosma, Claudio and Fiorini, Paolo (rel.) (2001) [BM Tesi I 0015]. - Un algoritmo per la localizzazione di un robot saltatore. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Costa, Alessio and Giacobazzi, Roberto (rel.) and Biscaro, Roberto (rel.) and Mordà, Claudio (correl.) (1999) [BM Tesi I 0072]. - Portali aziendali : studio, realizzazione e sperimentazione di un modello entropico per la classificazione dei documenti e la distribuzione della conoscenza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Costa, Riccardo and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Allegri, Gabriele (correl.) (1998) [BM Tesi I 0112]. - Progetto e realizzazione di servizi transazionali basati su patterna. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Cristofaletti, Sonia and Murino, Vittorio (rel.) and Tecchiolli, Giampietro (correl.) (2001) [BM Tesi I 0024]. - Algoritmi per l'elaborazione ed il riconoscimento delle impronte digitali per sistemi di calcolo ad elevata integrazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Daducci, Alessandro and Posenato, Roberto (rel.) (2004) [BM Tesi I 0249]. - Analisi e simulazione di un modello genetico nel caso di popolazione finita. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dal Degan, Mattia and Combi, Carlo (rel.) (2004) [BM Tesi I 0227]. - Progettazione concettuale di documenti XML : progettazione e realizzazione di moduli per un ambiente basato su diagrammi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dal Palù, Alessandro and Giacobazzi, Roberto (rel.) and Dovier, Agostino (correl.) and Pontelli, Enrico (correl.) and Ranjan, Desh (correl.) (2002) [BM Tesi I 0202]. - New optimal algorithms on pointer machines. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dalfini, Silvio and Murino, Vittorio (rel.) and Bicego, Manuele (correl.) (2002) [BM Tesi I 0258]. - Tecniche per la segmentazione e classificazione di immagini telerilevate. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dalle Vedove, Alessandro and Fiorini, Paolo (rel.) (2000) [BM Tesi I 0050]. - Un approccio geometrico alla pianificazione di moto in presenza di incertezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Danzi, Francesca and Pica, Angelo (rel.) and Tecchiolli, Giampietro (correl.) (2001) [BM Tesi I 0023]. - Metodi di addestramento basati su algoritmi evolutivi per reti neurali pseudo-logaritmiche. 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 Munari, Renato and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Oliboni, Barbara (correl.) (2000) [BM Tesi I 0074]. - Uno studio sull'interrogazione di più documenti XML connessi da link. 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.
Degani, Sara and Combi, Carlo (rel.) and Rossato, Rosalba (correl.) (2004) [BM Tesi I 0228]. - Specifica algebrica di granularità temporali : uno studio di operatori algebrici basato su un recente formalismo logico. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Delpari, Riccardo and Cettolo, Mauro (rel.) and Antoniol, Giuliano (correl.) (1998) [BM Tesi I 0083]. - Interfaccia grafica e monitoraggio di un sistema per la comunicazione vocale multilingua : analisi, progetto e realizzazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dong Seon, Cheng and Burattini, Emilio (rel.) and De Poli, Mario (correl.) (2002) [BM Tesi I 0179]. - Programmazione visuale : una soluzione ai problemi time-critical nei sistemi di acquisizione dati in fisica nucleare. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Dongili, Monica and Belussi, Alberto (rel.) and Dovier, Agostino (correl.) and Previato, Paolo (correl.) (1999) [BM Tesi I 0091]. - LIMS : una metodologia di progettazione di un sistema informatico convalidato per un'azienda farmaceutica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Donà, Antonia and Giacobazzi, Roberto (rel.) and Serafini, Luciano (corre.) (1999) [BM Tesi I 0073]. - Aggiornamento di dati interdipendenti nei multidatabase : modello formale e metodo di calcolo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Drago, Nicola and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0116]. - Un sistema basato su mediatori per la gestione di metainformazioni eterogenee : struttura e gestione dei mediatori. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
El Yahyaoui, Farid and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2002) [BM Tesi I 0187]. - Annotazione automatica di descrizioni HDL per la misurazione di statement coverage. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Etrari, Alberto and Fusiello, Andrea (rel.) and Castellani, Umberto (correl.) (2002) [BM Tesi I 0184]. - Registrazione automatica di immagini planari basata sulle caratteristiche salienti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Faccin, Enrico and Combi, Carlo (rel.) and Biscaro, Roberto (correl.) and Bellomi, Francesco (correl.) (2001) [BM Tesi I 0012]. - Clustering non supervisionato di documenti testuali mediante reti neurali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Facciotti, Giancarlo and Fummi, Franco (rel.) and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0034]. - Applicazione di teorie di interpratazione astratta e analisi statica su codici HDL comportamentali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Falamischia, Daniela and Murino, Vittorio (rel.) and Cristani, Marco (correl.) (2004) [BM Tesi I 0235]. - Modellazione e riconoscimento di attività interattive in video sequenze mediante reti di Bayes dinamiche. 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.
Febi, Andrea and Segala, Roberto (rel.) (2003) [BM Tesi I 0173]. - Health level seven : la standardizzazione dei messaggi nei sistemi informativi sanitari. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ferrari, Stefano and Bonacina, Maria Paola (rel.) (2004) [BM Tesi I 0237]. - Procedure di decisione mediante ragionamento automatico equazionale : esperimenti in teoria degli array. 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.
Fin, Alessandro and Tanca, Letizia (rel.) and Cristani, Matteo (correl.) (1998) [BM Tesi I 0085]. - Approccio genetico al ragionamento spazio-temporale con vincoli. 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.
Formica, Claudio and Fiorini, Paolo (rel.) and Bianco, Giovanni (correl.) (2001) [BM Tesi I 0026]. - Localizzazione automatica con riferimenti visuali per robot mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Franchetto, Michele and Biscaro, Roberto (correl.) (2001) [BM Tesi I 0031]. - La clusterizzazione tramite reti neurali autoorganizzanti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Franchini, Matteo and Murino, Vittorio (rel.) and Fiorini, Paolo (correl.) (2000) [BM Tesi I 0054]. - Stabilità e percezione nei sistemi di teleoperazione con ritardo. 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.
Galati, Luciano and Cristani, Matteo (rel.) and Giordano, Massiimo (correl.) and Mazzei, Luca (correl.) (2001) [BM Tesi I 0035]. - Analisi e sviluppo prototipale di una applicazione client/server per transazioni bancarie su palmare. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Galavotti, Matteo and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2001) [BM Tesi I 0008]. - Il test funzionale di interfacce HW/SW. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Gallino, Diego and Tanca, Letizia (rel.) and Tomelleri, Franco (correl.) (1997) [BM Tesi I 0001]. - Un cruscotto aziendale per il settore della distribuzione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Gatti, Enrico and Belussi, Alberto (rel.) and Rago, Salvatore (correl.) (1999) [BM Tesi I 0068]. - Il data mining e la tecnica delle regole di associazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Gazzi, Diego and Tanca, Letizia (rel.) and Cristani, Matteo (correl.) (1998) [BM Tesi I 0122]. - Un sistema informatico per la parcellazione e la fatturazione dei liberi professionisti : progettazione degli archivi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Gherardi, Riccardo and Fusiello, Andrea (rel.) and Castellani, Umberto (correl.) (2004) [BM Tesi I 0264]. - Calcolo della disparità stereo con Markov Random Fiels e stima automatica dei parametri. 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.
Gobbi, Michele and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) and Rocchesso, Davide (correl.) (2001) [BM Tesi I 0036]. - Rendering spaziale sonoro mediante laser pointer. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Governo, Michele Davide and Fiorini, Paolo (rel.) and Bianco, Giovanni (correl.) (2001) [BM Tesi I 0025]. - Mappatura topologica mediante l'utilizzo di campi di potenziale. 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.
Grigoli, Fabio Maria and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0222]. - Un prototipo per la rappresentazione in XML di dati semistrutturati temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Guadagnini, Davide and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Giardini, Paolo (correl.) (1998) [BM Tesi I 0107]. - Gestione documentale mediante acquisizione, ricomposizione e archiviazione di oggetti multimediali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Guarnieri, Franco and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2000) [BM Tesi I 0049]. - Riconoscimento di oggetti tramite invarianti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Guarnieri, Michele and Fiorini, Paolo (rel.) (2000) [BM Tesi I 0059]. - Analisi e controllo di formazioni di robot autonomi in movimento. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Guglielmi, Laura and Giacobazzi, Roberto (rel.) and Merro, Massimo (correl.) and Mastroeni, Isabella (correl.) (2004) [BM Tesi I 0236]. - Non interferenza astratta per programmi concorrenti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Gugole, Adriano and Belussi, Alberto (rel.) and Posenato, Roberto (correl.) (2002) [BM Tesi I 0205]. - Studio e sviluppo di applicazione Web per la gestione di basi di dati mediante generatori automatici. 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.
Iacono, Gianluca and Murino, Vittorio (rel.) (2001) [BM Tesi I 0004]. - Metodi avanzati di classificazione di immagini per il riconoscimento di volti modellati con funzioni B-Spline multilivello. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Insaccanebbia, Fabio and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1997) [BM Tesi I 0138]. - WG-Log, un linguaggio di interrogazione per il World Wide Web : prototipo di schema robot. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Lanza, Valeria and Tanca, Letizia (rel.) and Cristani, Matteo (correl.) (1998) [BM Tesi I 0104]. - Aspetti computazionali del ragionamento sul movimento di oggetti fisici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Lavarini, Nico and Dovier, Agostino (rel.) and Quintarelli, Elisa (correl.) (2000) [BM Tesi I 0060]. - Estensione della semantica logica per linguaggi grafici di interrogazione di dati semistrutturati e risoluzione efficiente basata sul model-checking. 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.
Letis, Martin and Poncino, Massimo (rel.) and Loghi, Mirko (correl.) (2004) [BM Tesi I 0285]. - Prestazioni e consumo energetico di protocolli di coerenza della cache in sistemi multiprocessore su singolo chip. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Lonardi, Matteo and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0118]. - MAWS, Mobile Agent Web Searching : un nuovo metodo di analisi dell'informazione. 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.
Lotto, Matteo and Combi, Carlo (rel.) (2004) [BM Tesi I 0243]. - Progettazione di basi di dati temporali multidimensionali : metodi e tecniche per la traduzione di schemi concettuali temporali in schemi logici con vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Lovato, Geremia and Biscaro, Roberto (rel.) and Tanca, Letizia (rel.) and Ferro, Ruggero (correl.) and Taddeo, Patrizia (correl.) (1999) [BM Tesi I 0079]. - Il knowledge retrieval mediante l'uso di strumenti ontologici in un approccio sistematico al knowledge management. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Macelloni, Michele and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Guardalben, Giovanni (correl.) (1998) [BM Tesi I 0121]. - HS I_Services : un sistema per l'accesso a database remoti via intranet/internet. 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.
Mancini, Michele and Fiorini, Paolo (rel.) and Cosma, Claudio (correl.) (2004) [BM Tesi I 0242]. - Mappatura di ambienti interni con scanner laser. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Manganotto, Filippo and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0239]. - Progettazione concettuale di dati XML. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marchesini, Massimo and Tanca, Letizia (rel.) and Dovier, Agostino (correl.) and Gastaldello, Guido (correl.) (1998) [BM Tesi I 0106]. - Sviluppo di un sistema informativo presso un'azienda di soluzioni informatiche distribuita geograficamente : progetto ed organizzazione della rete. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marcolungo, Diego and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0251]. - Generazione di bytecode anomali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marcon, Michele and Priami, Corrado (rel.) (2001) [BM Tesi I 0027]. - Definizione di semantiche parametrizzate per micro agenti mobili. 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.
Marconcini, Riccardo and Combi, Carlo (rel.) and Balestrin, Daniele (correl.) (2004) [BM Tesi I 0252]. - Metodologie per la progettazione di business process : una proposta basata su BPMN e BPEL. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Margoni, Andrea and Rocchesso, Davide (rel.) (2002) [BM Tesi I 0177]. - 3D sonic browser : un sistema per la navigazione immersiva multimodale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marogna, Bruno and Tanca, Letizia (rel.) and Cristani, Matteo (correl.) (1998) [BM Tesi I 0120]. - Un sistema informatico per la parcellazione e la fatturazione dei liberi professionisti : l'interazione con l'utente. 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.
Martini, Cristiana and Giacobazzi, Roberto (rel.) and Mazzei, Luca (correl.) and Martignano, Maurizio (correl.) (2001) [BM Tesi I 0020]. - Il ruolo di SOAP e le problematiche della sicurezza nei servizi web : analisi, proposte e realizzazione di un protocollo per l'integrazione della firma digitale in SOAP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Roberto and Pica, Angelo (rel.) and Tecchiolli, Giampietro (correl.) (2001) [BM Tesi I 0029]. - Analisi delle proprietà delle reti neurali in aritmetica pseudo-logaritmica ed addestramento con la ricerca tabù reattiva. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Stefano and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0021]. - Modellazione di protocolli di rete per la sintesi automatica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Martini, Stefano and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0140]. - MAWS Mobile Agent Web Searching : una nuova struttura per la ricerca su Web. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Marzotto, Roberto and Fusiello, Andrea (rel.) (2002) [BM Tesi I 0180]. - Tecniche globali per la composizione di immagini. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Maschi, Alessandro and Murino, Vittorio (rel.) (2002) [BM Tesi I 0185]. - Riconoscimento di forme elementari con il metodo degli autospazi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Mastroeni, Isabella and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0037]. - Costruzione sistematica di semantiche mediante interpretazione astratta. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Mattern, Nikolaus and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2001) [BM Tesi I 0013]. - Sintesi di viste da una singola immagine non calibrata. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Mazzi, Anna and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0115]. - Un sistema basato su mediatori per la gestione di metainformazioni eterogenee : la comunicazione tra mediatori. 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.
Migliorini, Sara and Belussi, Alberto (rel.) and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2004) [BM Tesi I 0229]. - GeoMTGM : un modello dei dati semistrutturati per la gestione di informazioni geografiche, multimediali e temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Monguzzi, Marco and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Basagni, Stefano (correl.) (1997) [BM Tesi I 0134]. - Algoritmi di clustering per reti wireless. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Montieni, Simone and Fiorini, Paolo (rel.) and Botturi, Debora (correl.) (2004) [BM Tesi I 0238]. - Robotica cooperativa : moto vincolato di robot autonomi eterogenei. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Montolli, Andrea and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Macelloni, Marco (correl.) (1998) [BM Tesi I 0105]. - BPWeb : un servizio di internet home banking euro conforme. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Moscarelli, Luigi and Poncino, Massimo (rel.) (2004) [BM Tesi I 0256]. - Ottimizzazione del consumo energetico in algoritmi di scheduling real-time per server aperiodici. 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.
Mura, Simone and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0119]. - Sviluppo di piattaforme distribuite per la fornitura di servizi in rete geografica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Mutinelli, Elena and Tanca, Letizia (rel.) and Cristani, Matteo (correl.) (1998) [BM Tesi I 0128]. - Sviluppo ed analisi di algoritmi per il ragionamento spaziale qualitativo con reti di vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
montresor, Zeno and Forte, Bruno (rel.) (1998) [BM Tesi I 0129]. - Un nuovo approccio alla ricostruzione volumetrica da dati immagine NMR : teoria ed applicazioni. 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.
Negretto, Flavio and Combi, Carlo (rel.) (2004) [BM Tesi I 0286]. - Tecniche di compressione per basi di dati. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Nori, Michele and Bresciani, Paolo (rel.) (1998) [BM Tesi I 0127]. - Un'interfaccia evoluta per l'interrogazione di basi di dati fondata su logiche descrittive. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Nottegar, Chiara and Tanca, Letizia (rel.) and Priami, Corrado (rel.) (1997) [BM Tesi I 0136]. - Analisi comparata di paradigmi per agenti mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Nottegar, Matteo and Combi, Carlo (rel.) (2004) [BM Tesi I 0253]. - Granularità, indeterminatezza e precondizioni nel ragionamento su azioni e cambiamento : una proposta basata sull'event calculus. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Oliboni, Barbara and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0103]. - La rappresentazione dell'informazione semistrutturata mediante il linguaggio WG-Log : interrogazione di fonti di dati in Lorel. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Oliosi, Enrico and Giacobazzi, Roberto (rel.) (2004) [BM Tesi I 0211]. - Tecniche di program slicing ed interpretazione astratta nel testing regressivo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Olivieri, Germana and Rocchesso, Davide (rel.) and Ottaviani, Laura (correl.) (2004) [BM Tesi I 0265]. - Percezione di suoni di sintesi : caratterizzazione psicoacustica del rotolamento. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Olivieri, Simone and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0246]. - Analisi critica della decompilazione di Java bytecode. 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.
Orsatti, Lorenzo and Fiorini, Paolo (rel.) (2004) [BM Tesi I 0294]. - Modelli deformabili di organi per applicazioni in ambito medico. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ortolani, Davide and Combi, Carlo (rel.) (2003) [BM Tesi I 0146]. - XML e linguaggi di interrogazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ottaviani, Laura and Rocchesso, Davide (rel.) (2000) [BM Tesi I 0057]. - Separazione di segnale vocale da scene acustiche complesse. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pagani, Gian Pietro and Fiorini, Paolo (rel.) (2000) [BM Tesi I 0048]. - Pianificazione di traiettorie in spazi multidimensionali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pannullo, Donato and Murino, Vittorio (rel.) and Cristani, Marco (correl.) (2004) [BM Tesi I 0266]. - Modellazione di video sequenze mediante modelli grafici generativi : applicazione al problema della super-risoluzione. 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.
Pasut, Giacomo and Combi, Carlo (rel.) and Alemanni, Marco (correl.) and Biscaro, Roberto (correl.) (2002) [BM Tesi I 0174]. - Basi di dati XML e sistemi legacy : consultazione di specifiche tecniche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pavani, Walter and Fummi, Franco (rel.) and Martignano, Maurizio (correl.) (2000) [BM Tesi I 0047]. - Tecniche per la realizzazione di sistemi embedded distribuiti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pedot, Nicola and Bresciani, Paolo (rel.) (1998) [BM Tesi I 0126]. - Un sistema per la modellazione concettuale di basi di dati integrato da servizi di logica descrittiva. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pellegrini, Andrea and Tecchiolli, Giampietro (correl.) (2000) [BM Tesi I 0055]. - Calcolo della disparità basato sulla differenza di fase realizzato in aritmetica intera su architettura PSP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Perazzolo, Andrea and Forte, Bruno (1997) [BM Tesi I 0082]. - IDFS : un nuovo approccio alla compressione e decompressione dei dati immagine : teoria ed applicazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Perazzolo, Marco and Segala, Roberto (rel.) (2002) [BM Tesi I 0197]. - Virus : basi e concetti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Perbellini, Giovanni and Fummi, Franco (rel.) and Sartori, Alvise (correl.) (2000) [BM Tesi I 0046]. - Generazione automatica di descrizioni VHDL parametriche per processori IP-Core. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Peroni, Alessandro and Fummi, Franco (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0045]. - Il test funzionale per sistemi digitali basato su programmazione logica con vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Persegato, Marco and Combi, Carlo (rel.) (2002) [BM Tesi I 0198]. - JAVA e XML per tecnologie mobili : fondamenti e prove sperimentali su informazioni cliniche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pertile, Giovanna and Pica, Angelo (rel.) and Veneziani, Alessandro (correl.) (2002) [BM Tesi I 0206]. - Modellistica matematico-numerica per lo studio dell'assorbimento di soluti nel sangue e nelle pareti vascolari. 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.
Petterlini, Roberto and Cristani, Matteo (rel.) and Gavioli, Ilario (correl.) (2002) [BM Tesi I 0207]. - Una metodologia di sviluppo per ontologie di dominio sul Web : la filiera commerciale automobilistica come caso di studio. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Piccinini, Nicola and Bellin, Gianluigi (rel.) (2000) [BM Tesi I 0044]. - Tecniche di teoria della dimostrazione per l'identificazione di prove della logica classica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Piccoli, Maria Maddalena and Priami, Corrado (rel.) and Dovier, Agostino (rel.) (1999) [BM Tesi I 0067]. - Unificazione isiemistica e semantica operazionale della concorrenza. 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.
Pigozzo, Stefano and Combi, Carlo (rel.) and Febi, Andrea (correl.) (2004) [BM Tesi I 0257]. - Progettazione e sviluppo di un modulo software per l'acquisizione, l'archiviazione, la modifica e la gestione di immagini, integrabile in gestionali per il trattamento di dati clinici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Polettini, Nicola and Rocchesso, Davide (rel.) and Avanzini, Federico (correl.) (2002) [BM Tesi I 0199]. - Progettazione di suoni di allarme. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Polloni, Chiara and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0089]. - Un approccio formale alla sicurezza in ambienti distribuiti e mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Poltronieri, Andrea and Antoniol, Giuliano (rel.) and Rigodanza, Alessandro (correl.) (1998) [BM Tesi I 0080]. - Ambiente visuale dedicato alla realizzazione di software per il controllo di reti di P.L.C. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pongiluppi, Wilmer and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2000) [BM Tesi I 0043]. - Elaborazione di dati acustici tridimensionali per la ricostruzione di scene subacquee. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Possato, Nicola and Fusiello, Andrea (rel.) and Castellani, Umberto (correl.) (2002) [BM Tesi I 0176]. - Modellazione di oggetti con stereo binoculare. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pozzo, Andrea and Combi, Carlo (rel.) (2004) [BM Tesi I 0230]. - Interrogazione di basi di dati temporali multidimensionali : progettazione e realizzazione di un prototipo basato su MySQL. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Prandi, Davide and Segala, Roberto (rel.) and Giacobazzi, Roberto (correl.) (2002) [BM Tesi I 0167]. - Sistemi ibridi e interpretazione astratta. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Prandini, Marco and Combi, Carlo (rel.) (2004) [BM Tesi I 0231]. - Vincoli su dati semistrutturati temporali : progettazione e realizzazione di un sistema per la specifica di vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Prando, Roberto and Combi, Carlo (rel.) (2002) [BM Tesi I 0175]. - Sistemi di basi di dati per documenti XML. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Pravadelli, Graziano and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2000) [BM Tesi I 0042]. - Simulazione di errore per descrizioni VHDL e systemC per il test funzionale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Premier, Germano and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0125]. - Progetto e implementazione di un Trader CORBA basato su tecniche di soft computing. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Quaglia, Paolo and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Allegri, Gabriele (correl.) (1998) [BM Tesi I 0113]. - Corporate intranet/extranet : servizi applicativi. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Quintarelli, Elisa and Tanca, Letizia (rel.) and Dovier, Agostino (correl.) (1998) [BM Tesi I 0090]. - WG-Log : semantiche operazionali e proprietà logiche. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Raimondi, Daniele and Belussi, Alberto (rel.) (2002) [BM Tesi I 0181]. - Un sistema per l'aggiornamento dei dati geografici guidato dai vincoli di integrità. 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.
Ranalter, Kurt and Bellin, Gianluigi (rel.) (2001) [BM Tesi I 0028]. - Una semantica di Kripke per la logica intuizionistica della prammatica ILP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ranzi, Elena and Combi, Carlo (rel.) (2004) [BM Tesi I 0223]. - Compressione di serie temporali per interrogazioni approssimate. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Righetti, Alessandro and Tecchiolli, Giampietro (rel.) (1999) [BM Tesi I 0071]. - Realizzazione di un sistema per la distribuzione del calcolo neurale sul sistema parallelo TotemFarm. 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.
Riva, Nicola and Tanca, Letizia (rel.) and Priami, Corrado (correl.) (1998) [BM Tesi I 0084]. - Assiomatizzazione della bisimulazione markoviana per processi mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Romani, Davide and Forte, Bruno (rel.) (1997) [BM Tesi I 0145]. - Trasformata frattale IDFS su uno schema finito. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Ronchetti, Luca and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) and Castellani, Umberto (correl.) (2001) [BM Tesi I 0016]. - Tecniche di registrazione di sequenze di immagini acustiche di profondità. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Rossato, Rosalba and Combi, Carlo (rel.) and Oliboni, Barbara (correl.) (2002) [BM Tesi I 0208]. - MTGM : un modello dei dati semistrutturati per la gestione di informazioni multimediali e temporali. 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.
Rossignoli, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0245]. - Analisi di non ciclicità per strutture dati ricorsive. 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.
Ruggeri, Alberto and Fummi, Franco (rel.) and Drago, Nicola (correl.) (2001) [BM Tesi I 0007]. - Valutazione di sistemi operativi embedded e relative applicazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Sabbadini, Massimo and Fusiello, Andrea (rel.) (2002) [BM Tesi I 0182]. - Ricostruzione volumetrica da sagome. 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.
Saluth, Luca Agha Mohammadi and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0247]. - Analisi di classe con informazione di raggiungibilità. 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.
Sandrini, Federico and Belussi, Alberto (rel.) (2002) [BM Tesi I 0191]. - Un sistema per il controllo della consistenza spaziale nell'attività di aggiornamento di una base dati geografica. 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.
Sartor, Luca and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) and Rocchesso, Davide (correl.) (2002) [BM Tesi I 0192]. - Rendering spaziale sonoro mediante ricostruzione stereo. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Savio, Cristian and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Varotto, Marco (correl.) (1998) [BM Tesi I 0124]. - DSQ - Digital Signature Quercia : un sistema per la gestione di firma elettronica in ambiente distribuito. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Scalco, Christian and Fummi, Franco (rel.) (2004) [BM Tesi I 0213]. - Requisiti hardware e software per applicazioni per dispositivi wireless. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Scudiero, Thomas and Giacobazzi, Roberto (rel.) (2004) [BM Tesi I 0210]. - Abstract program slicing. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Secci, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0250]. - Analisi di sharing per java bytecode. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Serafini, Sandro and Tanca, Letizia (rel.) and Posenato, Roberto (correl.) and Damiani, Ernesto (correl.) (1997) [BM Tesi I 0133]. - WG-Log, un linguaggio di interrogazione per il World Wide Web : studio e implementazione di algoritmi per la risoluzione delle query. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Signoretto, Denis and Fummi, Franco (rel.) and Fin, Alessandro (correl.) (2001) [BM Tesi I 0038]. - Generazione del test funzionale per architetture basate su IP-Core. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Signoretto, Mirko and Fummi, Franco (rel.) (2000) [BM Tesi I 0041]. - Generazione del test funzionale per descrizioni hardware-software basata su tecniche di giustificazione. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Spiller, Stefano and Spoto, Nicola Fausto (rel.) (2004) [BM Tesi I 0244]. - Analisi statiche per la stack inspection. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Stefani, Marco and Tanca, Letizia (rel.) and Dovier, Agostino (rel.) (1999) [BM Tesi I 0066]. - Algoritmi per il partizionamento stabile : realizzazione e applicazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Stella, Daniele and Combi, Carlo (rel.) (2002) [BM Tesi I 0201]. - XML e protocolli per i servizi web : fondamenti e prove di utilizzo. 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.
Tabarelli, Mirko and Rocchesso, Davide (rel.) (2002) [BM Tesi I 0200]. - Visualizzazione e sonorizzazione di dati multivariati. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tacchella, Paolo and Giacobazzi, Roberto (rel.) (2001) [BM Tesi I 0017]. - Analisi di flussi di informazione sicura in programmi logici. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Taurasi, Massimo and Mazzei, Luca (rel.) and Mazzoni, Giuliano (correl.) (1999) [BM Tesi I 0098]. - Progetto di un applicativo client-server con modifica trasparente delle funzionalità. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tessari, Andrea and Combi, Carlo (rel.) (2004) [BM Tesi I 0030]. - Gestione di aspetti temporali nei sistemi di workflow : una proposta basata su openflow e oracle. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tolin, Michele and Combi, Carlo (rel.) (2004) [BM Tesi I 0232]. - Vincoli su dati semistrutturati temporali : progettazione e realizzazione di un sistema per la verifica di vincoli. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tomba, Gianni and Pica, Angelo (rel.) and Cristani, Matteo (correl.) and Ruffino, Lorenzo (correl.) (1998) [BM Tesi I 0123]. - Un sistema per il controllo e la gestione della rintracciabilità di prodotto in ambiente industriale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tommasini, Nicola and Priami, Corrado (rel.) (1999) [BM Tesi I 0093]. - Un ambiente per network management con utilizzo di agenti mobili. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Tosco, Giorgia and Fusiello, Andrea (rel.) and Monzini, Carlo (rel.) (2002) [BM Tesi I 0203]. - Animazione morphing dinamica. 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.
Triolo, Enrico and Priami, Corrado (rel.) and Mazzei, Luca (correl.) (2001) [BM Tesi I 0039]. - Un sistema per la pubblicazione in rete di cataloghi di servizi distribuiti in ambienti eterogenei mediante SOAP. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Truschelli, Nicola and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0099]. - INTEL-LOAD, un sitema di loadbalancing intelligente applicato al servizio di naming CORBA. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Valinetti, Alberto and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2000) [BM Tesi I 0040]. - Tecniche di inseguimento di un modello per la realtà aumentata. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Vantini, Stefano and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1999) [BM Tesi I 0078]. - Integrazione basata su CORBA di un sistema di interrogazione per fonti eterogenee. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Vasari, Michela and Combi, Carlo (rel.) and Sbarbati, Andrea (correl.) and Marzola, Pasquina (correl.) (2004) [BM Tesi I 0254]. - Aspetti temporali e multimediali nella gestione di dati relativi ad esperimenti basati su risonanza magnetica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Vasaturo, Massimo and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Vignotti, Davide (correl.) (1997) [BM Tesi I 0137]. - Un ambiente distribuito per l'automazione sanitaria. 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.
Vedovi, Ilaria and Fummi, Franco (rel.) and Pravadelli, Graziano (correl.) (2004) [BM Tesi I 0212]. - Analisi della correlazione tra copertura di guasto funzionale e proprietà temporali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Veneri, Elisa and Giacobazzi, Roberto (rel.) and Dovier, Agostino (correl.) (2000) [BM Tesi I 0032]. - Programmazione con vincoli di sicurezza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Veronese, Davide and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0114]. - Esprimere l'informazione semistrutturata mediante il linguaggio WG-Log : rappresentazione di dati tramite il modello OEM. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Verzini, Giulio and Rocchesso, Davide (rel.) and Fontana, Federico (correl.) (2002) [BM Tesi I 0193]. - Resa della posizione tridimensionale di una sorgente acustica virtuale. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Vignola, Diego and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0101]. - Un nuovo metodo di interconnessione e di ricerca distribuita per trader CORBA. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Vivarelli, Roberto and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) (1998) [BM Tesi I 0100]. - Tecniche di costruzione di applicazioni object-oriented su RDBMS. 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 Collini, Amos (correl.) (2004) [BM Tesi I 0214]. - Realizzazione di un software embedded per un sistema di misure automatiche su wafer. 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.
Zambotto, Demis and Fiorini, Paolo (rel.) (2002) [BM Tesi I 0186]. - Architettura di controllo per un teleoperatore con manipolatore con giunto flessibile. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zampieri, Marco and Combi, Carlo (rel.) and Murino, Vittorio (rel.) and Sbarbati, Andrea (correl.) and Marzola, Pasquina (correl.) and Castellani, Umberto (correl.) (2004) [BM Tesi I 0255]. - Visualizzazione ed analisi di dati scientifici : progettazione e realizzazione di strumenti per il supporto di esperimenti di risonananza magnetica. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zampini, Marco and Bombieri, Nicola (rel.) and Guarnieri, Valerio (correl.) (2009) [BM Tesi I 0005]. - Sintesi di modelli TLM verso RTL nel flusso di progettazione dei sistemi embedded. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zangani, Ivan and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Varotto, Marco (correl.) and Mazzei, Luca (controrel.) (1997) [BM Tesi I 0081]. - Architetture per servizi di remote banking. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zannone, Nicola and Segala, Roberto (rel.) (2002) [BM Tesi I 0169]. - Un'analisi simbolica per la verifica di protocolli di autenticazione a stati infiniti. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zanoni, Nicola and Combi, Carlo (rel.) and D'Onofrio, Mirko (correl.) (2005) [BM Tesi I 0284]. - Gestione di informazione da esami ecografici : modellazione e gestione di interrogazioni visuali. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zanotti, Mirko and Giacobazzi, Roberto (rel.) and Solitro, Ugo (controrel.) (2001) [BM Tesi I 0022]. - Derivazione di tipi di sicurezza mediante interpretazione astratta. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zardini, Martina and Fummi, Franco (rel.) and Tecchiolli, Giampietro (correl.) (2002) [BM Tesi I 0209]. - Validazione di algoritmi di riconoscimento di impronte digitali su sistemi ad elevata integrazione (SOC). 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.
Zendrini, Diego and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Rodegheri, Giovanni (correl.) (1997) [BM Tesi I 0131]. - Un sistema di distribuzione per prodotti assicurativi basato su tecnologia internet/intranet. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zivelonghi, Enrico and Murino, Vittorio (rel.) and Fusiello, Andrea (correl.) (2002) [BM Tesi I 0183]. - Movie X : un ambiente immersivo e interattivo per l'esplorazione di dati video. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zocca, Andrea and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Oliboni, Barbara (correl.) (2000) [BM Tesi I 0095]. - Estrazione automatica e riorganizzazione di Document Type Definitions per documenti XML ben formati. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zoccatelli, Claudio and Murino, Vittorio (rel.) and Fogolari, Federico (correl.) (2002) [BM Tesi I 0195]. - Stima dei punteggi di allineamento per sequenze proteiche non omologhe. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zorzella, Michele and Tanca, Letizia (rel.) and Damiani, Ernesto (correl.) and Vicentini, Pietro (correl.) (1998) [BM Tesi I 0117]. - Un sistema di gestione dei servizi sociali basato su internet/extranet. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zuliani, Paolo and Priami, Corrado (rel.) (1999) [BM Tesi I 0070]. - Supporto linguistico per strand spaces. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Zuliani, Simone and Priami, Corrado (rel.) (2002) [BM Tesi I 0196]. - Generatore parametrico di interpreti per calcoli con mobilità. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
