Cerca per relatore della tesi | |
Risultati da
1 a 12 di 86
| Autore |
Titolo |
Corso di studi |
Relatore |
| IPPOLITO, SIMONA |
Progetto e realizzazione di uno strumento di trasformazione del bytecode Java per una verifica efficiente |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| STILLI, SIMONE |
Progetto di uno strumento di trasformazione del ByteCode Java per la verifica efficiente su JavaCard. |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| FINELLI, FILIPPO |
Progetto di uno strumento di trasformazione del ByteCode Java per la verifica efficiente su JavaCard. |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| PUNTONI, GABRIELE |
Progetto e implementazione di uno strumento per la verifica della sicurezza delle informazioni nel Bytecode Java |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| FACCA, MAURIZIO |
Progetto e implementazione di uno strumento per la verifica della sicurezza delle informazioni nel Bytecode Java |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| PROVENZANO, NICOLA ALESSANDRO |
Progettazione e sviluppo di uno strumento per la tutela della riservatezza delle informazioni in applicazioni .NET |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| CASAMASSIMA, GIANFRANCO |
Uno strumento per la verifica delle subroutine nel bytecode Java per sistemi con risorse limitate |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| AGOSTINI, MANOLA |
Uno strumento basato sulle reti di Petri per determinare le dipendenze di programmi concorrenti |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| TINARI, LIVIANA |
Progettazione di un database per la verifica della sostenibilità dell'offerta formativa dell'Università di Pisa. |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
| BARONCELLI, LAURA |
Insulin-like growth factor I media gli effetti dell'arricchimento ambientale sul sistema visivo |
SCIENZE BIOLOGICHE |
Berardi
, Nicoletta
|
| SPOLIDORO, MARIA |
Studio dell'interazione tra matrice extracellulare e sistema inibitorio nella plasticità visiva del ratto adulto |
SCIENZE BIOLOGICHE |
Berardi
, Nicoletta
|
| VESTRINI, RICCARDO |
Progetto e realizzazione di un sistema per la rilevazione di exploit polimorfici |
INGEGNERIA INFORMATICA |
De Francesco
, Nicoletta
|
