Gilberto File`


Professore di Informatica del Dipartimento di Matematica dell'Universita` di Padova
Torre Archimede stanza 404 ala A-B, via Trieste 63, 35121, Padova, Italia.
Telefono: ++39-049-827-1489
Orario di ricevimento studenti: lunedi 14:30-16:30



Corsi tenuti nel 2011-2012 presso le Lauree di I e II livello in Informatica:
 

Interessi di ricerca:

 Pubblicazioni recenti:

A.Cortesi, G.File` and W.Winsborough   The Quotient of an Abstract Interpretation.
Theoretical Computer Science, 202 (1998), 163-192.

Agostino Cortesi, Gilberto File`
Sharing is optimal.
Journal of Logic Programming vol. 38 (3) (1999), pp. 371-386.

Gilberto File`, Francesco Ranzato
The powerset operator on abstract interpretations.
Theoretical Comp. Science,  222 (1999), pp. 77-111.

Dante Baldan, Nicola Civran, Gilberto File`, Francesco Pulvirenti
A simple and General Method for Integrating Abstract
Interpretation in SICStus.
Proceeding of PPDP'99, Paris.

Livio Colussi, Gilberto File`, Alberto Griggio
Precise analysis of pi-calculus in cubic time
Proceedings of IFIP 18th World Computer Congress, TCS2004, Toulouse, Francia.

Gilberto File`, Roberto Vigo
Expressive Power of Definite Clauses for Verifying Authenticity
Proceedings of IEEE, Symposium CSF 2009, Port Jefferson, USA.




mail:  gilberto