Types for BioAmbients

by Sara Capecchi, Angelo Troina
Published 2010-02-01

Information Flow Safety in Multiparty Sessions

by Mariangiola Dezani-Ciancaglini, Ilaria Castellani, Sara Capecchi
Published 2011-08-01

Service-Aware Interactive Presentation of Items for Decision-Making

by Noemi Mauro, Liliana Ardissono, Sara Capecchi, Rosario Galioto
Published 2020-08-01