, Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" (ISTI), Consiglio Nazionale delle Ricerche (CNR), Pisa, Italia