Daniele Varacca

	2009
16		Matthias Schmalz, Daniele Varacca, Hagen Völzer: Counterexamples in Probabilistic LTL Model Checking for Markov Chains. CONCUR 2009: 587-602
15		Luca Fossati, Daniele Varacca: The Calculus of Handshake Configurations. FOSSACS 2009: 227-241
	2008
14		Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic subtyping for the pi-calculus. Theor. Comput. Sci. 398(1-3): 217-242 (2008)
13		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		Silvia Crafa, Daniele Varacca, Nobuko Yoshida: Compositional Event Structure Semantics for the Internal pi -Calculus. CONCUR 2007: 317-332
11		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		Daniele Varacca, Nobuko Yoshida: Probabilistic pi-Calculus and Event Structures. Electr. Notes Theor. Comput. Sci. 190(3): 147-166 (2007)
	2006
9		Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca: Encoding CDuce in the Cpi-Calculus. CONCUR 2006: 310-326
8		Daniele Varacca, Hagen Völzer: Temporal Logics and Model Checking for Fairly Correct Systems. LICS 2006: 389-398
7		Daniele Varacca, Nobuko Yoshida: Typed Event Structures and the pi-Calculus: Extended Abstract. Electr. Notes Theor. Comput. Sci. 158: 373-397 (2006)
6		Daniele Varacca, Glynn Winskel: Distributing probability over non-determinism. Mathematical Structures in Computer Science 16(1): 87-113 (2006)
5		Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic event structures and domains. Theor. Comput. Sci. 358(2-3): 173-199 (2006)
	2005
4		Hagen Völzer, Daniele Varacca, Ekkart Kindler: Defining Fairness. CONCUR 2005: 458-472
3		Giuseppe Castagna, Rocco De Nicola, Daniele Varacca: Semantic Subtyping for the p-Calculus. LICS 2005: 92-101
	2004
2		Daniele Varacca, Hagen Völzer, Glynn Winskel: Probabilistic Event Structures and Domains. CONCUR 2004: 481-496
	2002
1		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] [16]
10	Hagen Völzer	[2] [4] [5] [8] [11] [16]
11	Glynn Winskel	[2] [5] [6]
12	Nobuko Yoshida	[7] [10] [12]

Colors in the list of coauthors