Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Daniele Gorla
2010 – today
- 2013
[c20]- [c19]Ornela Dardha, Daniele Gorla, Daniele Varacca: Semantic Subtyping for Objects and Classes. FMOODS/FORTE 2013: 66-82
- 2012
- [j21]Filippo Bonchi, Sibylle B. Fröschle, Daniele Gorla, Bartek Klin: Preface to special issue: EXPRESS, ICE and SOS 2009. Mathematical Structures in Computer Science 22(2): 123-124 (2012)
- 2010
- [j20]Daniele Gorla: A taxonomy of process calculi for distribution and mobility. Distributed Computing 23(4): 273-299 (2010)
- [j19]Daniele Gorla: Towards a unified approach to encodability and separation results for process calculi. Inf. Comput. 208(9): 1031-1053 (2010)
- [j18]
- [j17]Thomas Hildebrandt, Daniele Gorla: Preface to special issue: Expressiveness in Concurrency 2008. Mathematical Structures in Computer Science 20(1): 1-2 (2010)
- [j16]Rocco De Nicola, Daniele Gorla, Anna Labella: Tree-functors, determinacy and bisimulations. Mathematical Structures in Computer Science 20(3): 319-358 (2010)
- [j15]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. Sci. Comput. Program. 75(6): 376-397 (2010)
- [c18]
- [c17]Michele Boreale, David Clark, Daniele Gorla: A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis. IFIP TCS 2010: 340-354
2000 – 2009
- 2009
- [j14]
- [j13]Daniele Gorla: On the Relative Expressive Power of Calculi for Mobility. Electr. Notes Theor. Comput. Sci. 249: 269-286 (2009)
- [j12]Daniele Gorla, Rosario Pugliese: Dynamic management of capabilities in a network aware coordination language. J. Log. Algebr. Program. 78(8): 665-689 (2009)
- [c16]Pietro Cenciarelli, Daniele Gorla, Ivano Salvo: Depletable Channels: Dynamics and Behaviour. FCT 2009: 50-61
- [e1]Sibylle B. Fröschle, Daniele Gorla (Eds.): Proceedings 16th International Workshop on Expressiveness in Concurrency. EPTCS 8, 2009
- 2008
- [j11]Daniele Gorla: Comparing communication primitives via their relative expressive power. Inf. Comput. 206(8): 931-952 (2008)
- [c15]Daniele Gorla: Towards a Unified Approach to Encodability and Separation Results for Process Calculi. CONCUR 2008: 492-507
- [c14]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
- [c13]Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto: Network Applications of Graph Bisimulation. ICGT 2008: 131-146
- [c12]
- 2007
- [j10]Daniele Gorla: Synchrony vs Asynchrony in Communication Primitives. Electr. Notes Theor. Comput. Sci. 175(3): 87-108 (2007)
- [j9]
- [j8]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic observables for a calculus for global computing. Inf. Comput. 205(10): 1491-1525 (2007)
- [j7]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
- [j6]Chiara Braghin, Daniele Gorla, Vladimiro Sassone: Role-based access control for a distributed calculus. Journal of Computer Security 14(2): 113-155 (2006)
- [j5]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Confining data and processes in global computing applications. Sci. Comput. Program. 63(1): 57-87 (2006)
- [j4]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: On the expressive power of KLAIM-based calculi. Theor. Comput. Sci. 356(3): 387-421 (2006)
- [c11]Daniele Gorla: On the Relative Expressive Power of Asynchronous Communication Primitives. FoSSaCS 2006: 47-62
- [c10]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Inferring dynamic credentials for rôle-based trust management. PPDP 2006: 213-224
- 2005
- [j3]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)
- [j2]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)
- [j1]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. Logical Methods in Computer Science 1(3) (2005)
- [c9]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Global Computing in a Dynamic Network of Tuple Spaces. COORDINATION 2005: 157-172
- [c8]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Pattern Matching over a Dynamic Network of Tuple Spaces. FMOODS 2005: 1-14
- [c7]Rocco De Nicola, Daniele Gorla, Rosario Pugliese: Basic Observables for a Calculus for Global Computing. ICALP 2005: 1226-1238
- [i1]Daniele Gorla, Matthew Hennessy, Vladimiro Sassone: Security Policies as Membranes in Systems for Global Computing. CoRR abs/cs/0506061 (2005)
- 2004
- [c6]Chiara Braghin, Daniele Gorla, Vladimiro Sassone: A Distributed Calculus for Ro^le-Based Access Control. CSFW 2004: 48-60
- [c5]Daniele Gorla, Rosario Pugliese: Controlling data movement in global computing applications. SAC 2004: 1462-1467
- 2003
- [c4]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
- [c3]Daniele Gorla, Rosario Pugliese: Resource Access and Mobility Control with Dynamic Privileges Acquisition. ICALP 2003: 119-132
- [c2]
- 2002
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:04 CEST by the dblp team