A Provably Correct Compilation of Functional Languages into Scripting Languages

Por P. Giannini, A. Shaqiri
Publicado em 2017-06-01

A Calculus of Evolving Objects

Por M. Dezani-Ciancaglini, P. Giannini, O. Nierstrasz
Publicado em 2008-12-01

Voz e trabalho: estudo dos condicionantes das mudanças a partir do discurso de docentes

Por Mariana P. Biserra, Susana P. P. Giannini, Renata Paparelli, Leslie P. Ferreira
Publicado no Saúde e Sociedade (2014)