| Towards a unified approach to encodability and separation results for process calculi D Gorla Information and Computation 208 (9), 1031-1053, 2010 | 161 | 2010 |
| The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... Global Computing. Programming Environments, Languages, Security, and …, 2003 | 153 | 2003 |
| Resource access and mobility control with dynamic privileges acquisition D Gorla, R Pugliese International Colloquium on Automata, Languages, and Programming, 119-132, 2003 | 67 | 2003 |
| Towards a unified approach to encodability and separation results for process calculi D Gorla International Conference on Concurrency Theory, 492-507, 2008 | 62 | 2008 |
| Full abstraction for expressiveness: history, myths and facts D Gorla, U Nestmann Mathematical Structures in Computer Science 26 (4), 639-654, 2016 | 53 | 2016 |
| On the expressive power of KLAIM-based calculi R De Nicola, D Gorla, R Pugliese Theoretical Computer Science 356 (3), 387-421, 2006 | 53 | 2006 |
| Doctor: A simple method for detecting misclassification errors F Granese, M Romanelli, D Gorla, C Palamidessi, P Piantanida Advances in Neural Information Processing Systems 34, 5669-5681, 2021 | 50 | 2021 |
| Security policies as membranes in systems for global computing D Gorla, M Hennessy, V Sassone Logical Methods in Computer Science 1, 2005 | 39 | 2005 |
| Basic observables for a calculus for global computing R De Nicola, D Gorla, R Pugliese Information and Computation 205 (10), 1491-1525, 2007 | 37 | 2007 |
| Comparing communication primitives via their relative expressive power D Gorla Information and Computation 206 (8), 931-952, 2008 | 33 | 2008 |
| On the relative expressive power of asynchronous communication primitives D Gorla International Conference on Foundations of Software Science and Computation …, 2006 | 32 | 2006 |
| Dynamic management of capabilities in a network aware coordination language D Gorla, R Pugliese The Journal of Logic and Algebraic Programming 78 (8), 665-689, 2009 | 27 | 2009 |
| A distributed calculus for role-based access control C Braghin, D Gorla, V Sassone Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004., 48-60, 2004 | 27 | 2004 |
| Concurrent pattern calculus T Given-Wilson, D Gorla, B Jay IFIP International Conference on Theoretical Computer Science, 244-258, 2010 | 25 | 2010 |
| A taxonomy of process calculi for distribution and mobility D Gorla Distributed Computing 23 (4), 273-299, 2010 | 24 | 2010 |
| Role-based access control for a distributed calculus C Braghin, D Gorla, V Sassone Journal of Computer Security 14 (2), 113-155, 2006 | 24 | 2006 |
| Enforcing security policies via types D Gorla, R Pugliese Security in Pervasive Computing: First International Conference, Boppard …, 2004 | 24 | 2004 |
| Basic observables for a calculus for global computing R De Nicola, D Gorla, R Pugliese International Colloquium on Automata, Languages, and Programming, 1226-1238, 2005 | 23 | 2005 |
| Inferring dynamic credentials for role-based trust management D Gorla, M Hennessy, V Sassone Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006 | 22 | 2006 |
| From flow logic to static type systems for coordination languages R De Nicola, D Gorla, RR Hansen, F Nielson, HR Nielson, CW Probst, ... Science of Computer Programming 75 (6), 376-397, 2010 | 21 | 2010 |
