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="Crafa, Silvia"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A logic for true concurrency
Paolo Baldan
,
Silvia Crafa
Journal of the ACM
61
(4), 2014, pp. 24: 1-36
Probabilistic bisimulation and simulation algorithms by abstract interpretation
Silvia Crafa
,
Francesco Ranzato
Lecture Notes in Computer Science
6756
, 2011, pp. 295-306
Controlling information release in the
\pi
-calculus
Silvia Crafa
,
Sabina Rossi
Information and Computation
205
(8), 2007, pp. 1235-1273
Communication and mobility control in boxed ambients
Michele Bugliesi
,
Silvia Crafa
,
Massimo Merro
,
Vladimiro Sassone
Information and Computation
202
(1), 2005, pp. 39-86
Secrecy in untrusted networks
Michele Bugliesi
,
Silvia Crafa
,
Amela Prelic
,
Vladimiro Sassone
Lecture Notes in Computer Science
2719
, 2003, pp. 969-983
Communication interference in mobile boxed ambients
Michele Bugliesi
,
Silvia Crafa
,
Massimo Merro
,
Vladimiro Sassone
Lecture Notes in Computer Science
2556
, 2002, pp. 71-84