 | Up a level |
Brunelli, Alessandro and Segala, Roberto (rel.) (2005) [BM Tesi I 0226]. - Reti di ordinamento. 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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
