24 citations · 29 across the 4 of their papers we have counts for
4 papers
Mental state attribution to educational robots: an experience with children in primary school
Cristina Gena, Sara Capecchi
The work presented in this paper was carried out in the context of the project Girls and boys: one day at university promoted by the City of Turin together with the University of T…
Visual and unplugged coding lessons with smart toys
Sara Capecchi, Cristina Gena, Ilaria Lombardi
Our Computer science k-12 education research group and the educational toy company Quercetti have been collaborating together to design and manufacture toys that help stimulate and…
Information Flow Safety in Multiparty Sessions
Sara Capecchi, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
We consider a calculus for multiparty sessions enriched with security levels for messages. We propose a monitored semantics for this calculus, which blocks the execution of process…
Types for BioAmbients
Sara Capecchi, Angelo Troina
The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich thi…