Daniele Gorla

2008
23	EE	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
2007
22	EE	Daniele Gorla: Synchrony vs Asynchrony in Communication Primitives. Electr. Notes Theor. Comput. Sci. 175(3): 87-108 (2007)
21	EE	Daniele Gorla, Catuscia Palamidessi: Preface. Electr. Notes Theor. Comput. Sci. 194(1): 1-2 (2007)
20	EE	Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)
19	EE	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	EE	Daniele Gorla: On the Relative Expressive Power of Asynchronous Communication Primitives. FoSSaCS 2006: 47-62
17	EE	Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Inferring dynamic credentials for rôle-based trust management. PPDP 2006: 213-224
16	EE	Chiara Braghin, Daniele Gorla, Vladimiro Sassone: Role-based access control for a distributed calculus. Journal of Computer Security 14(2): 113-155 (2006)
15	EE	Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)
14	EE	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	EE	Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172
12	EE	Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14
11	EE	Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238
10	EE	Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing CoRR abs/cs/0506061: (2005)
9	EE	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	EE	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	EE	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	EE	Chiara Braghin, Daniele Gorla, Vladimiro Sassone: A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60
5	EE	Daniele Gorla, Rosario Pugliese: Controlling data movement in global computing applications. SAC 2004: 1462-1467
2003
4	EE	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	EE	Daniele Gorla, Rosario Pugliese: Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132
2	EE	Daniele Gorla, Rosario Pugliese: Enforcing Security Policies via Types. SPC 2003: 86-100
2002
1	EE	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	Gian Luigi Ferrari (GianLuigi Ferrari)	[4]
6	René Rydhof Hansen	[23]
7	Matthew Hennessy	[7] [8] [10] [17]
8	Michele Loreti	[4]
9	Eugenio Moggi	[4]
10	Rocco De Nicola	[4] [9] [11] [12] [13] [14] [15] [19] [20] [23]
11	Flemming Nielson	[23]
12	Hanne Riis Nielson	[23]
13	Catuscia Palamidessi	[21]
14	Christian W. Probst	[23]
15	Rosario Pugliese	[2] [3] [4] [5] [9] [11] [12] [13] [14] [15] [19] [20] [23]
16	Vladimiro Sassone	[6] [7] [8] [10] [16] [17]
17	Emilio Tuosto	[4]
18	Betti Venneri	[4]

Colors in the list of coauthors