logo SBA

ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Avvisi

  • Per un aggiornamento delle procedure adottate dall'Ateneo in materia di protezione dei dati personali, si è reso necessario oscurare temporaneamente i nomi e i cognomi degli autori delle tesi in ETD.
    Ripristineremo la visibilità del nominativo dell'autore dal 01/10/2026, per garantire la corretta attribuzione della paternità dell'opera. Chi desideri mantenere oscurato il proprio nome e cognome, in qualunque momento può comunicarlo allo staff ETD.
    È stato inoltre necessario oscurare tutti gli indirizzi email degli autori. ETD continuerà a utilizzarli esclusivamente per consentire l'inoltro di richieste relative alle tesi, garantendo l'anonimato del recapito nei confronti dei richiedenti.

Cerca per relatore della tesi

Risultati da 1 a 8 di 8
Titolo Corso di studi Anno di discussione Relatore
Differential privacy for relational algebra: improving the sensitivity bounds via constraint systems. INFORMATICA 2012
Using Pale to generate input in concolic testing INFORMATICA 2012
Programmazione logica con vincoli per la generazione automatica di test su programmi C/C++ INFORMATICA 2011
A Term Rewrite System Framework for Code Carrying Theory INFORMATICA 2011
Secure multi-party contracts for web-services INFORMATICA 2011
Una semantica astratta per l'inferenza dei tipi ed effetti in un linguaggio multi-tier INFORMATICA 2010
XDuce2Js: un compilatore da XDuce a Javascript INFORMATICA 2007
Sull'inferenza di tipi polimorfi INFORMATICA 2007

Nuova ricerca