Università di Torino

Università di Urbino

Università di Urbino (on-line)

  • programming languages and compilers (09/10)
  • programming languages and compilers (08/09)
  • programming languages and compilers (07/08)
  • programming languages and compilers (06/07)
  • logics (06/07)
  • logics (05/06)

Almaweb

Università di Bologna

Supervisione tesi di laurea
20
Studio prestazionale di uno strumento per l’analisi di sistemi concorrenti
Michele Castrovilli
Corso di Laurea Triennale in Informatica, Università di Torino, A.A. 14/15
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
Made with LESS, CSS, XSLT 2.0, Bootstrap, Open Sans, and Font Awesome. Validate HTML and CSS 3. Check URLs.Modified Thu, 21 Apr 2016.Flag Counter