Daniele Gorla

	2009
29		Pietro Cenciarelli, Daniele Gorla, Ivano Salvo: Depletable Channels: Dynamics and Behaviour. FCT 2009: 50-61
28		Thomas Hildebrandt, Daniele Gorla: Preface. Electr. Notes Theor. Comput. Sci. 242(1): 1-2 (2009)
	2008
27		Daniele Gorla: Towards a Unified Approach to Encodability and Separation Results for Process Calculi. CONCUR 2008: 492-507
26		Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese: From Flow Logic to Static Type Systems for Coordination Languages. COORDINATION 2008: 100-116
25		Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto: Network Applications of Graph Bisimulation. ICGT 2008: 131-146
24		Daniele Gorla: On the Relative Expressive Power of Ambient-Based Calculi. TGC 2008: 141-156
23		Daniele Gorla: Comparing communication primitives via their relative expressive power. Inf. Comput. 206(8): 931-952 (2008)
	2007
22		Daniele Gorla: Synchrony vs Asynchrony in Communication Primitives. Electr. Notes Theor. Comput. Sci. 175(3): 87-108 (2007)
21		Daniele Gorla, Catuscia Palamidessi: Preface. Electr. Notes Theor. Comput. Sci. 194(1): 1-2 (2007)
20		Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)
19		Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007)
	2006
18		Daniele Gorla: On the Relative Expressive Power of Asynchronous Communication Primitives. FoSSaCS 2006: 47-62
17		Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Inferring dynamic credentials for rôle-based trust management. PPDP 2006: 213-224
16		Chiara Braghin, Daniele Gorla, Vladimiro Sassone: Role-based access control for a distributed calculus. Journal of Computer Security 14(2): 113-155 (2006)
15		Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)
14		Rocco De Nicola, Daniele Gorla, Rosario Pugliese: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006)
	2005
13		Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172
12		Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14
11		Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238
10		Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing CoRR abs/cs/0506061: (2005)
9		Rocco De Nicola, Daniele Gorla, Rosario Pugliese: On the Expressive Power of Klaim-based Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 117-130 (2005)
8		Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Electr. Notes Theor. Comput. Sci. 138(1): 23-42 (2005)
7		Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science 1(3): (2005)
	2004
6		Chiara Braghin, Daniele Gorla, Vladimiro Sassone: A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60
5		Daniele Gorla, Rosario Pugliese: Controlling data movement in global computing applications. SAC 2004: 1462-1467
	2003
4		Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri: The Klaim Project: Theory and Practice. Global Computing 2003: 88-150
3		Daniele Gorla, Rosario Pugliese: Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132
2		Daniele Gorla, Rosario Pugliese: Enforcing Security Policies via Types. SPC 2003: 86-100
	2002
1		Michele Boreale, Daniele Gorla: On Compositional Reasoning in the Spi-calculus. FoSSaCS 2002: 67-81

Coauthor Index

1	Lorenzo Bettini	[4]
2	Viviana Bono	[4]
3	Michele Boreale	[1]
4	Chiara Braghin	[6] [16]
5	Pietro Cenciarelli	[25] [29]
6	Gian Luigi Ferrari (GianLuigi Ferrari)	[4]
7	René Rydhof Hansen	[26]
8	Matthew Hennessy	[7] [8] [10] [17]
9	Thomas Hildebrandt	[28]
10	Michele Loreti	[4]
11	Eugenio Moggi	[4]
12	Rocco De Nicola	[4] [9] [11] [12] [13] [14] [15] [19] [20] [26]
13	Flemming Nielson	[26]
14	Hanne Riis Nielson	[26]
15	Catuscia Palamidessi	[21]
16	Christian W. Probst	[26]
17	Rosario Pugliese	[2] [3] [4] [5] [9] [11] [12] [13] [14] [15] [19] [20] [26]
18	Ivano Salvo	[29]
19	Vladimiro Sassone	[6] [7] [8] [10] [16] [17]
20	Emilio Tuosto	[4] [25]
21	Betti Venneri	[4]

Colors in the list of coauthors