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
[2]
Hilfe
Suche: Author="Varacca, Daniele"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Defining fairness in reactive and concurrent systems
Hagen Völzer
,
Daniele Varacca
Journal of the ACM
59
(3), 2012, pp. 13: 1-37
Typed event structures and the linear
\pi
-calculus
Daniele Varacca
,
Nobuko Yoshida
Theoretical Computer Science
411
(19), 2010, pp. 1949-1973
Semantic subtyping for the pi-calculus
Giuseppe Castagna
,
Rocco De Nicola
,
Daniele Varacca
Theoretical Computer Science
398
(1-3), 2008, pp. 217-242
Security types for dynamic web data
Mariangiola Dezani-Ciancaglini
,
Silvia Ghilezan
,
Jovanka Pantović
,
Daniele Varacca
Theoretical Computer Science
402
(2-3), 2008, pp. 156-171
Model checking almost all paths can be less expensive than checking all paths
Matthias Schmalz
,
Hagen Völzer
,
Daniele Varacca
Lecture Notes in Computer Science
4855
, 2007, pp. 532-543
Probabilistic event structures and domains
Daniele Varacca
,
Hagen Völzer
,
Glynn Winskel
Theoretical Computer Science
358
(2-3), 2006, pp. 173-199