The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Daniele Gorla: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Global Computing in a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:157-172 [Conf]
  2. Chiara Braghin, Daniele Gorla, Vladimiro Sassone
    A Distributed Calculus for Ro^le-Based Access Control. [Citation Graph (0, 0)][DBLP]
    CSFW, 2004, pp:48-60 [Conf]
  3. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Pattern Matching over a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:1-14 [Conf]
  4. Michele Boreale, Daniele Gorla
    On Compositional Reasoning in the Spi-calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2002, pp:67-81 [Conf]
  5. Daniele Gorla
    On the Relative Expressive Power of Asynchronous Communication Primitives. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2006, pp:47-62 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:88-150 [Conf]
  7. Daniele Gorla, Rosario Pugliese
    Resource Access and Mobility Control with Dynamic Privileges Acquisition. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:119-132 [Conf]
  8. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Basic Observables for a Calculus for Global Computing. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1226-1238 [Conf]
  9. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
    Inferring dynamic credentials for rôle-based trust management. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:213-224 [Conf]
  10. Daniele Gorla, Rosario Pugliese
    Controlling data movement in global computing applications. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:1462-1467 [Conf]
  11. Daniele Gorla, Rosario Pugliese
    Enforcing Security Policies via Types. [Citation Graph (0, 0)][DBLP]
    SPC, 2003, pp:86-100 [Conf]
  12. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
    Security Policies as Membranes in Systems for Global Computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:138, n:1, pp:23-42 [Journal]
  13. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    On the Expressive Power of Klaim-based Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:117-130 [Journal]
  14. Chiara Braghin, Daniele Gorla, Vladimiro Sassone
    Role-based access control for a distributed calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2006, v:14, n:2, pp:113-155 [Journal]
  15. Daniele Gorla, Matthew Hennessy, Vladimiro Sassone
    Security Policies as Membranes in Systems for Global Computing. [Citation Graph (0, 0)][DBLP]
    Logical Methods in Computer Science, 2005, v:1, n:3, pp:- [Journal]
  16. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Confining data and processes in global computing applications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:57-87 [Journal]
  17. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Global computing in a dynamic network of tuple spaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:2, pp:187-204 [Journal]
  18. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    On the expressive power of KLAIM-based calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:387-421 [Journal]
  19. Daniele Gorla
    Synchrony vs Asynchrony in Communication Primitives. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:87-108 [Journal]
  20. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Basic observables for a calculus for global computing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:10, pp:1491-1525 [Journal]

  21. Towards a Unified Approach to Encodability and Separation Results for Process Calculi. [Citation Graph (, )][DBLP]


  22. From Flow Logic to Static Type Systems for Coordination Languages. [Citation Graph (, )][DBLP]


  23. Depletable Channels: Dynamics and Behaviour. [Citation Graph (, )][DBLP]


  24. Network Applications of Graph Bisimulation. [Citation Graph (, )][DBLP]


  25. On the Relative Expressive Power of Ambient-Based Calculi. [Citation Graph (, )][DBLP]


  26. Security Policies as Membranes in Systems for Global Computing [Citation Graph (, )][DBLP]


  27. Proceedings 16th International Workshop on Expressiveness in Concurrency [Citation Graph (, )][DBLP]


  28. Preface. [Citation Graph (, )][DBLP]


  29. Preface. [Citation Graph (, )][DBLP]


  30. On the Relative Expressive Power of Calculi for Mobility. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002