Zobrazeno 1 - 10
of 58
pro vyhledávání: '"Capecchi, Sara"'
Autor:
Gena, Cristina, Capecchi, Sara
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 Turin. We were responsible for two educational activities on robotics a
Externí odkaz:
http://arxiv.org/abs/2303.03927
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 consolidate so-called computational thinking. This approach is inspir
Externí odkaz:
http://arxiv.org/abs/2205.11644
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
EPTCS 64, 2011, pp. 16-30
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 processes as soon as they attempt to leak information. We illustrate the use
Externí odkaz:
http://arxiv.org/abs/1108.4465
Autor:
Capecchi, Sara, Troina, Angelo
Publikováno v:
EPTCS 19, 2010, pp. 103-115
The BioAmbients calculus is a process algebra suitable for representing compartmentalization, molecular localization and movements between compartments. In this paper we enrich this calculus with a static type system classifying each ambient with gro
Externí odkaz:
http://arxiv.org/abs/1002.4066
Autor:
Muthuri, Robert1 (AUTHOR), Capecchi, Sara2 (AUTHOR), Sulis, Emilio2 (AUTHOR) sulis@di.unito.it, Amantea, Ilaria Angela2 (AUTHOR), Boella, Guido2 (AUTHOR)
Publikováno v:
Information Systems & e-Business Management. Mar2022, Vol. 20 Issue 1, p27-55. 29p. 1 Color Photograph, 3 Black and White Photographs, 6 Diagrams, 4 Charts.
Publikováno v:
In Information and Computation November 2014 238:68-105
Autor:
Capecchi, Sara, Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Drossopoulou, Sophia, Giachino, Elena
Publikováno v:
In Theoretical Computer Science 2009 410(2):142-167
Autor:
Baldoni, Matteo, Baroglio, Cristina, Bucciarelli, Monica, Capecchi, Sara, Gandolfi, Elena, Gena, Cristina, Iani', Francesco, Marengo, Elisa, Micalizio, Roberto, Rapp, Amon
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______970::d68f6d70b134ab8144d64253ea931c69
http://hdl.handle.net/2318/1845234
http://hdl.handle.net/2318/1845234