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
22
Michele Monticone
Implementazione di un algoritmo per l'inferenza di tipi comportamentali da bytecode Java
Corso di Laurea Triennale in Informatica, Università di Torino, A.A. 16/17
21
Massimo Beltramo
Implementazione di un algoritmo per la decisione del sottotipo comportamentale di oggetti concorrenti
Corso di Laurea Triennale in Informatica, Università di Torino, A.A. 15/16
20
Michele Castrovilli
Studio prestazionale di uno strumento per l’analisi di sistemi concorrenti
Corso di Laurea Triennale in Informatica, Università di Torino, A.A. 14/15
19
Andrea Tosatto
Type reconstruction for the deadlock-free and lock-free linear π-calculus
Corso di Laurea Magistrale in Informatica, Università di Torino, A.A. 13/14
18
Luca Novara
A type system for deadlock analysis in functional, concurrent, and communicating programs
Corso di Laurea Magistrale in Informatica, Università di Torino, A.A. 13/14
17
Federico Angaramo
Ricostruzione di tipi per sessioni binarie
Corso di Laurea Triennale in Informatica, Università di Torino, A.A. 12/13
16
Paolo Inaudi
Ricostruzione di tipi per il progresso di sessioni binarie
Corso di Laurea Triennale in Informatica, Università di Torino, A.A. 12/13
15
Andrea Tosatto
Types for Leak Detection in a Session-Oriented Functional Programming Language
Corso di Laurea Triennale in Informatica, Università di Torino, A.A. 11/12
14
Chiara Messa
MiniSing#: un modello formale di Sing# basato su session type e ownership type
Corso di Laurea Magistrale in Informatica, Università di Torino, A.A. 09/10
13
Filippo Silvestri
Misura della similarità di programmi funzionali mediante isomorfismi di tipi
Corso di Laurea Triennale in Informatica Applicata, Università di Urbino, A.A. 08/09
12
Iacopo Pazzaglia
Implementazione di un linguaggio funzionale in un linguaggio ad oggetti puro
Corso di Laurea Triennale in Informatica Applicata, Università di Urbino, A.A. 08/09
11
Marco Tagnani
Minimizzazione di tipi comportamentali per servizi Web
Corso di Laurea Triennale in Informatica Applicata, Università di Urbino, A.A. 07/08
10
Nicola Rossi
Gestione di glifi composti in un tool per la resa di documenti MathML
Corso di Laurea Triennale in Informatica Applicata, Università di Urbino, A.A. 06/07
9
Paride Dominici
Analisi e implementazione di costrutti linguistici per la generazione di siti Web dinamici
Corso di Laurea Triennale in Informatica Applicata, Università di Urbino, A.A. 06/07
8
Alessandro Appeddu
Composizione ed elaborazione di documenti MathML e SVG
Corso di Laurea Triennale in Informatica Applicata, Università di Urbino, A.A. 06/07
7
Gabriele Damia Paciarini
Type checking di attributi XML in PiDuce
Corso di Laurea Triennale in Informatica Applicata, Università di Urbino, A.A. 06/07
6
Andrea Spagnolo
Analisi e implementazione di un algoritmo di pattern matching in PiDuce
Corso di Laurea in Informatica, Università di Bologna, A.A. 04/05
5
Marco Querzè
Formattazione di tabelle MathML: specifica ed implementazione
Corso di Laurea in Informatica, Università di Bologna, A.A. 04/05
4
Alessandro Ranocchini
Sviluppo di un componente grafico per la resa di testo strutturato
Corso di Laurea in Informatica, Università di Bologna, A.A. 04/05
3
Pouria Masoudi
CORBA Implementation of an Interactive Component for MathML
Corso di Laurea in Informatica, Università di Bologna, A.A. 03/04
2
Francesco Caroti
Progetto e sviluppo di stylesheet modulari per la presentazione di markup matematico
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 Wed, 02 Nov 2016.Flag Counter