| Testing equivalences for processes R De Nicola, MCB Hennessy Theoretical computer science 34 (1-2), 83-133, 1984 | 1800 | 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 | 754 | 1998 |
| Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995 | 486 | 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 | 477* | 1990 |
| Extensional equivalences for transition systems R De Nicola Acta Informatica 24 (2), 211-237, 1987 | 349 | 1987 |
| A distributed operational semantics for CCS based on condition/event systems P Degano, R De Nicola, U Montanari Acta Informatica 26 (1-2), 59-91, 1988 | 218 | 1988 |
| SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 208 | 2006 |
| 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 | 201* | 2014 |
| Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001 | 183 | 2001 |
| Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager CONCUR'90 Theories of Concurrency: Unification and Extension: Amsterdam, The …, 1990 | 163 | 1990 |
| Sessions and pipelines for structured service programming M Boreale, R Bruni, R De Nicola, M Loreti Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008 | 158 | 2008 |
| 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 | 145 | 2003 |
| Partial orderings descriptions and observations of nondeterministic concurrent processes P Degano, R De Nicola, U Montanari Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989 | 134 | 1989 |
| Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000 | 127 | 2000 |
| Testing equivalence for mobile processes M Boreale, R De Nicola Information and Computation 120 (2), 279-303, 1995 | 123 | 1995 |
| 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 | 122 | 1993 |
| CCS without τ's R De Nicola, M Hennessy TAPSOFT'87: Proceedings of the International'Joint Conference on Theory and …, 1987 | 122 | 1987 |
| 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 | 120 | 2002 |
| A partial ordering semantics for CCS P Degano, R De Nicola, U Montanari Theoretical Computer Science 75 (3), 223-262, 1990 | 105 | 1990 |
| A language-based approach to autonomic computing R De Nicola, G Ferrari, M Loreti, R Pugliese Formal Methods for Components and Objects: 10th International Symposium …, 2013 | 103 | 2013 |
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
