| Testing equivalences for processes R De Nicola, MCB Hennessy Theoretical computer science 34 (1-2), 83-133, 1984 | 1729 | 1984 |
| KLAIM: A kernel language for agents interaction and mobility R De Nicola, GL Ferrari, R Pugliese IEEE Transactions on software engineering 24 (5), 315-330, 1998 | 720 | 1998 |
| Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995 | 460 | 1995 |
| Action versus state based logics for transition systems R De Nicola, F Vaandrager Semantics of Systems of Concurrent Processes 469 (Lecture Notes in Computer …, 1990 | 437 | 1990 |
| Extensional equivalences for transition systems R De Nicola Acta Informatica 24 (2), 211-237, 1987 | 339 | 1987 |
| SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006 | 204 | 2006 |
| A distributed operational semantics for CCS based on condition/event systems P Degano, R De Nicola, U Montanari Acta Informatica 26 (1), 59-91, 1988 | 196 | 1988 |
| A formal approach to autonomic systems programming: the SCEL language RD Nicola, M Loreti, R Pugliese, F Tiezzi ACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 2014 | 184* | 2014 |
| Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001 | 183 | 2001 |
| An action-based framework for veryfying logical and behavioural properties of concurrent systems R De Nicola, A Fantechi, S Gnesi, G Ristori Computer networks and ISDN systems 25 (7), 761-778, 1993 | 158 | 1993 |
| Sessions and pipelines for structured service programming M Boreale, R Bruni, R De Nicola, M Loreti International Conference on Formal Methods for Open Object-Based Distributed …, 2008 | 155 | 2008 |
| Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990 | 146 | 1990 |
| Testing equivalence for mobile processes M Boreale, R De Nicola Information and Computation 120 (2), 279-303, 1995 | 143 | 1995 |
| The klaim project: Theory and practice L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... International Workshop on Global Computing, 88-150, 2003 | 137 | 2003 |
| Partial orderings descriptions and observations of nondeterministic concurrent processes P Degano, R De Nicola, U Montanari Workshop/School/Symposium of the REX Project (Research and Education in …, 1988 | 123 | 1988 |
| Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000 | 122 | 2000 |
| Klava: a Java package for distributed and mobile applications L Bettini, R De Nicola, R Pugliese Software: Practice and Experience 32 (14), 1365-1394, 2002 | 111 | 2002 |
| CCS without τ's R De Nicola, M Hennessy Colloquium on Trees in Algebra and Programming, 138-152, 1987 | 104 | 1987 |
| A language-based approach to autonomic computing R De Nicola, G Ferrari, M Loreti, R Pugliese International Symposium on Formal Methods for Components and Objects, 25-48, 2011 | 99 | 2011 |
| A partial ordering semantics for CCS P Degano, R De Nicola, U Montanari Theoretical Computer Science 75 (3), 223-262, 1990 | 98 | 1990 |
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
