Daniele Varacca

2009
15	EE	Luca Fossati, Daniele Varacca: The Calculus of Handshake Configurations. FOSSACS 2009: 227-241
2008
14	EE	Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1-3): 217-242 (2008)
13	EE	Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Jovanka Pantovic, Daniele Varacca: Security types for dynamic web data. Theor. Comput. Sci. 402(2-3): 156-171 (2008)
2007
12	EE	Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332
11	EE	Matthias Schmalz, Hagen Völzer, Daniele Varacca: Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. FSTTCS 2007: 532-543
10	EE	Daniele Varacca, Nobuko Yoshida: Probabilistic pi-Calculus and Event Structures. Electr. Notes Theor. Comput. Sci. 190(3): 147-166 (2007)
2006
9	EE	Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca: Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326
8	EE	Daniele Varacca, Hagen Völzer: Temporal Logics and Model Checking for Fairly Correct Systems. LICS 2006: 389-398
7	EE	Daniele Varacca, Nobuko Yoshida: Typed Event Structures and the pi-Calculus: Extended Abstract. Electr. Notes Theor. Comput. Sci. 158: 373-397 (2006)
6	EE	Daniele Varacca, Glynn Winskel: Distributing probability over non-determinism. Mathematical Structures in Computer Science 16(1): 87-113 (2006)
5	EE	Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3): 173-199 (2006)
2005
4	EE	Hagen Völzer, Daniele Varacca, Ekkart Kindler: Defining Fairness. CONCUR 2005: 458-472
3	EE	Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic Subtyping for the p-Calculus. LICS 2005: 92-101
2004
2	EE	Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic Event Structures and Domains. CONCUR 2004: 481-496
2002
1	EE	Daniele Varacca: The Powerdomain of Indexed Valuations. LICS 2002: 299-

Coauthor Index

1	Giuseppe Castagna	[3] [9] [14]
2	Silvia Crafa	[12]
3	Mariangiola Dezani-Ciancaglini	[9] [13]
4	Luca Fossati	[15]
5	Silvia Ghilezan	[13]
6	Ekkart Kindler	[4]
7	Rocco De Nicola	[3] [14]
8	Jovanka Pantovic	[13]
9	Matthias Schmalz	[11]
10	Hagen Völzer	[2] [4] [5] [8] [11]
11	Glynn Winskel	[2] [5] [6]
12	Nobuko Yoshida	[7] [10] [12]

Colors in the list of coauthors