Overview
Chronological
Type-Hierarchical
Simple
Help on BibTeX
Update Instructions

Types
Articles
Books
Book parts
In a collection
In proceedings
Technical manuals
Master's thesis
Miscellaneous documents
PhD thesis
Conference proceedings
Technical reports
Unpublished

Authors
Berardi, Stefano
Bettini, Lorenzo
Bono, Viviana
Capecchi, Sara
Chen, Tzu-Chun
Coppo, Mario
Damiani, Ferruccio
De'Liguoro, Ugo
Dezani-Ciancaglini, Mariangiola
Giannini, Paola
Giovannetti, Elio
de' Liguoro, Ugo
Margaria, Ines
Margaria, Tiziana
Padovani, Luca
Paolini, Luca
Piccolo, Mauro
Ronchi Della Rocca, Simona
Roversi, Luca
Schena, Irene
Sciacca, Eva
Spinella, Salvatore
Troina, Angelo
Vercelli, Luca
Zacchi, Maddalena