| Testing equivalences for processes R De Nicola, MCB Hennessy Theoretical computer science 34 (1-2), 83-133, 1984 | 1779 | 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 | 733 | 1998 |
| Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995 | 469 | 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 | 460 | 1990 |
| Extensional equivalences for transition systems R De Nicola Acta Informatica 24 (2), 211-237, 1987 | 343 | 1987 |
| SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, RD Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006 | 208 | 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 | 202 | 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 | 191* | 2014 |
| Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001 | 179 | 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 | 162 | 1993 |
| Sessions and pipelines for structured service programming M Boreale, R Bruni, RD Nicola, M Loreti International Conference on Formal Methods for Open Object-Based Distributed …, 2008 | 155 | 2008 |
| Back and forth bisimulations RD Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990 | 154 | 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, RD Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ... International Workshop on Global Computing, 88-150, 2003 | 141 | 2003 |
| Partial orderings descriptions and observations of nondeterministic concurrent processes P Degano, RD Nicola, U Montanari Workshop/School/Symposium of the REX Project (Research and Education in …, 1988 | 132 | 1988 |
| Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000 | 120 | 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 | 117 | 2002 |
| CCS without tau's R De Nicola, M Hennessy Springer 249, 138-152, 1987 | 110 | 1987 |
| A language-based approach to autonomic computing RD Nicola, G Ferrari, M Loreti, R Pugliese International Symposium on Formal Methods for Components and Objects, 25-48, 2011 | 101 | 2011 |
| A partial ordering semantics for CCS P Degano, R De Nicola, U Montanari Theoretical Computer Science 75 (3), 223-262, 1990 | 101 | 1990 |
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
