| Testing equivalences for processes R De Nicola, MCB Hennessy Theoretical computer science 34 (1-2), 83-133, 1984 | 1877 | 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, 2002 | 775 | 2002 |
| Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995 | 531 | 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 | 500 | 1990 |
| Extensional equivalences for transition systems R De Nicola Acta Informatica 24 (2), 211-237, 1987 | 364 | 1987 |
| 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 | 231* | 2014 |
| 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 | 214 | 1988 |
| 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 | 211 | 2006 |
| Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001 | 189 | 2001 |
| The role of bot squads in the political propaganda on Twitter G Caldarelli, R De Nicola, F Del Vigna, M Petrocchi, F Saracco Communications Physics 3 (1), 81, 2020 | 185 | 2020 |
| Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990 | 184 | 1990 |
| 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 | 158 | 2008 |
| 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 | 158 | 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 | 137 | 1988 |
| Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000 | 134 | 2000 |
| Testing equivalence for mobile processes M Boreale, R De Nicola Information and Computation 120 (2), 279-303, 1995 | 129 | 1995 |
| CCS without τ's R De Nicola, M Hennessy Colloquium on Trees in Algebra and Programming, 138-152, 1987 | 127 | 1987 |
| Blockchain-based decentralized cloud/fog solutions: Challenges, opportunities, and standards RB Uriarte, R DeNicola IEEE Communications Standards Magazine 2 (3), 22-28, 2018 | 123 | 2018 |
| 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 | 123 | 2002 |
| An action-based framework for verifying 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 | 121 | 1993 |
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
