dblp.uni-trier.dewww.uni-trier.de

Daniele Gorla

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
27EEDaniele Gorla: Towards a Unified Approach to Encodability and Separation Results for Process Calculi. CONCUR 2008: 492-507
26EERocco 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
25EEPietro Cenciarelli, Daniele Gorla, Emilio Tuosto: Network Applications of Graph Bisimulation. ICGT 2008: 131-146
24EEDaniele Gorla: On the Relative Expressive Power of Ambient-Based Calculi. TGC 2008: 141-156
23EEDaniele Gorla: Comparing communication primitives via their relative expressive power. Inf. Comput. 206(8): 931-952 (2008)
2007
22EEDaniele Gorla: Synchrony vs Asynchrony in Communication Primitives. Electr. Notes Theor. Comput. Sci. 175(3): 87-108 (2007)
21EEDaniele Gorla, Catuscia Palamidessi: Preface. Electr. Notes Theor. Comput. Sci. 194(1): 1-2 (2007)
20EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)
19EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Global computing in a dynamic network of tuple spaces. Sci. Comput. Program. 64(2): 187-204 (2007)
2006
18EEDaniele Gorla: On the Relative Expressive Power of Asynchronous Communication Primitives. FoSSaCS 2006: 47-62
17EEDaniele Gorla, Matthew Hennessy, Vladimiro Sassone: Inferring dynamic credentials for rôle-based trust management. PPDP 2006: 213-224
16EEChiara Braghin, Daniele Gorla, Vladimiro Sassone: Role-based access control for a distributed calculus. Journal of Computer Security 14(2): 113-155 (2006)
15EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)
14EERocco De Nicola, Daniele Gorla, Rosario Pugliese: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006)
2005
13EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172
12EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14
11EERocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238
10EEDaniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing CoRR abs/cs/0506061: (2005)
9EERocco De Nicola, Daniele Gorla, Rosario Pugliese: On the Expressive Power of Klaim-based Calculi. Electr. Notes Theor. Comput. Sci. 128(2): 117-130 (2005)
8EEDaniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Electr. Notes Theor. Comput. Sci. 138(1): 23-42 (2005)
7EEDaniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science 1(3): (2005)
2004
6EEChiara Braghin, Daniele Gorla, Vladimiro Sassone: A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60
5EEDaniele Gorla, Rosario Pugliese: Controlling data movement in global computing applications. SAC 2004: 1462-1467
2003
4EELorenzo 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
3EEDaniele Gorla, Rosario Pugliese: Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132
2EEDaniele Gorla, Rosario Pugliese: Enforcing Security Policies via Types. SPC 2003: 86-100
2002
1EEMichele Boreale, Daniele Gorla: On Compositional Reasoning in the Spi-calculus. FoSSaCS 2002: 67-81

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)