di.unito.it / luca padovani / teaching

Universitą di Torino

Universitą di Urbino

Universitą di Urbino (percorso on-line)

Almaweb

Universitą di Bologna

words of wisdom

 more

supervisione tesi di laurea

19
Type reconstruction for the deadlock-free and lock-free linear π-calculus
Andrea Tosatto
Corso di Laurea Magistrale in Informatica, Universitą di Torino, A.A. 13/14
18
A type system for deadlock analysis in functional, concurrent, and communicating programs
Luca Novara
Corso di Laurea Magistrale in Informatica, Universitą di Torino, A.A. 13/14
17
Ricostruzione di tipi per sessioni binarie
Federico Angaramo
Corso di Laurea Triennale in Informatica, Universitą di Torino, A.A. 12/13
16
Ricostruzione di tipi per il progresso di sessioni binarie
Paolo Inaudi
Corso di Laurea Triennale in Informatica, Universitą di Torino, A.A. 12/13
15
Types for Leak Detection in a Session-Oriented Functional Programming Language
Andrea Tosatto
Corso di Laurea Triennale in Informatica, Universitą di Torino, A.A. 11/12
14
MiniSing#: un modello formale di Sing# basato su session type e ownership type
Chiara Messa
Corso di Laurea Magistrale in Informatica, Universitą di Torino, A.A. 09/10
13
Misura della similaritą di programmi funzionali mediante isomorfismi di tipi
Filippo Silvestri
Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 08/09
12
Implementazione di un linguaggio funzionale in un linguaggio ad oggetti puro
Iacopo Pazzaglia
Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 08/09
11
Minimizzazione di tipi comportamentali per servizi Web
Marco Tagnani
Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 07/08
10
Gestione di glifi composti in un tool per la resa di documenti MathML
Nicola Rossi
Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 06/07
9
Analisi e implementazione di costrutti linguistici per la generazione di siti Web dinamici
Paride Dominici
Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 06/07
8
Composizione ed elaborazione di documenti MathML e SVG
Alessandro Appeddu
Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 06/07
7
Type checking di attributi XML in PiDuce
Gabriele Damia Paciarini
Corso di Laurea Triennale in Informatica Applicata, Universitą di Urbino, A.A. 06/07
6
Analisi e implementazione di un algoritmo di pattern matching in PiDuce
Andrea Spagnolo
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 04/05
5
Formattazione di tabelle MathML: specifica ed implementazione
Marco Querzč
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 04/05
4
Sviluppo di un componente grafico per la resa di testo strutturato
Alessandro Ranocchini
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 04/05
3
CORBA Implementation of an Interactive Component for MathML
Pouria Masoudi
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 03/04
2
Progetto e sviluppo di stylesheet modulari per la presentazione di markup matematico
Francesco Caroti
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 03/04
1
Sviluppo di una implementazione DOM (moduli Core ed Events)
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 00/01

supervisione tirocini

6
Backend PostScript per GtkMathView
Nicola Rossi
Corso di Laurea in Informatica Applicata, Universitą di Urbino, A.A. 06/07
5
Supporto di attributi XML in PiDuce
Gabriele Damia Paciarini
Corso di Laurea in Informatica Applicata, Universitą di Urbino, A.A. 06/07
4
Formattazione di tabelle MathML: specifica ed implementazione
Marco Querzč
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 04/05
3
Sviluppo di un componente grafico per la resa di testo strutturato
Alessandro Ranocchini
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 04/05
2
Supporto alla formattazione di simboli matematici in una libreria per il layout di testo Unicode
Pouria Masoudi
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 02/03
1
Sviluppo di un editor interattivo per formule matematiche codificate in MathML
Paolo Marinelli
Corso di Laurea in Informatica, Universitą di Bologna, A.A. 02/03
made using LESS CSS XSLT 2.0 validate XHTML 1.1 CSS 3 URLs modified Fri, 14 Nov 2014Flag Counter