Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Capecchi, Sara"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Typing access control and secure information flow in sessions
Sara Capecchi
,
Ilaria Castellani
,
Mariangiola Dezani-Ciancaglini
Information and Computation
238
, 2014, pp. 68-105
Global escape in multiparty sessions
Sara Capecchi
,
Elena Giachino
,
Nobuko Yoshida
Leibniz International Proceedings in Informatics (LIPIcs)
8
, 2010, pp. 338-351
Amalgamating sessions and methods in object-oriented languages with generics
Sara Capecchi
,
Mario Coppo
,
Mariangiola Dezani-Ciancaglini
,
Sophia Drossopoulou
,
Elena Giachino
Theoretical Computer Science
410
(2-3), 2009, pp. 142-167