A Provably Correct Compilation of Functional Languages into Scripting Languages

by P. Giannini, A. Shaqiri
Published 2017-06-01

A Calculus of Evolving Objects

by M. Dezani-Ciancaglini, P. Giannini, O. Nierstrasz
Published 2008-12-01

Standard Type Soundness for Agents and Artifacts

by F. Damiani, P. Giannini, A. Ricci, M. Viroli
Published 2012-12-01

Anticipating, measuring, and minimizing MEMS mirror scan error to improve laser scanning microscopy's speed and accuracy.

by John P Giannini, Andrew G York, Hari Shroff
Published 2017-01-01

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

by Mariana P. Biserra, Susana P. P. Giannini, Renata Paparelli, Leslie P. Ferreira
Published 2014-09-01

Outcomes and organ dysfunctions of critically ill patients with systemic lupus erythematosus and other systemic rheumatic diseases

by O.T. Ranzani, L.C. Battaini, C.E. Moraes, L.F.L. Prada, J.V. Pinaffi, F.P. Giannini, S.K. Shinjo, L.C.P. Azevedo, M. Park
Published 2011-11-01

Outcomes and organ dysfunctions of critically ill patients with systemic lupus erythematosus and other systemic rheumatic diseases

by O.T. Ranzani, L.C. Battaini, C.E. Moraes, L.F.L. Prada, J.V. Pinaffi, F.P. Giannini, S.K. Shinjo, L.C.P. Azevedo, M. Park
Published 2011-11-01