| 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 | 753 | 1998 |
| A calculus for orchestration of web services A Lapadula, R Pugliese, F Tiezzi Programming Languages and Systems, Proc. of the 16th European Symposium on …, 2007 | 282 | 2007 |
| Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001 | 186 | 2001 |
| 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 | 174 | 2014 |
| 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 | 150 | 2003 |
| Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000 | 129 | 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 | 119 | 2002 |
| 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 | 98 | 2011 |
| Interactive mobile agents in X-Klaim L Bettini, R De Nicola, R Pugliese, GL Ferrari Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998 | 84 | 1998 |
| Coordinating mobile agents via blackboards and access rights R De Nicola, GL Ferrari, R Pugliese Coordination Languages and Models: Second International Conference …, 1997 | 78 | 1997 |
| The SCEL language: design, implementation, verification R De Nicola, D Latella, AL Lafuente, M Loreti, A Margheri, M Massink, ... Software Engineering for Collective Autonomic Systems: The ASCENS Approach, 3-71, 2015 | 76 | 2015 |
| Trace and testing equivalence on asynchronous processes M Boreale, R De Nicola, R Pugliese Information and Computation 172 (2), 139-164, 2002 | 68 | 2002 |
| A formal account of WS-BPEL A Lapadula, R Pugliese, F Tiezzi Proceedings of the 10th international conference on Coordination Models and …, 2008 | 66 | 2008 |
| A model checking approach for verifying COWS specifications A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi Fundamental Approaches to Software Engineering: 11th International …, 2008 | 65 | 2008 |
| Resource access and mobility control with dynamic privileges acquisition D Gorla, R Pugliese International Colloquium on Automata, Languages, and Programming, 119-132, 2003 | 64 | 2003 |
| A process algebra based on Linda R De Nicola, R Pugliese International Conference on Coordination Languages and Models, 160-178, 1996 | 61 | 1996 |
| Programming Access Control: The Klaim Experience R De Nicola, GL Ferrari, R Pugliese Proc. of the 11th International Conference on Concurrency Theory (CONCUR …, 2000 | 57 | 2000 |
| The autonomic cloud: a vision of voluntary, peer-2-peer cloud computing P Mayer, A Klarl, R Hennicker, M Puviani, F Tiezzi, R Pugliese, J Keznikl, ... 2013 IEEE 7th International Conference on Self-Adaptation and Self …, 2013 | 53 | 2013 |
| A logical verification methodology for service-oriented computing A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (3), 1-46, 2012 | 51 | 2012 |
| A process calculus for qos-aware applications R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto Proc. of the Seventh International Conference on Coordination Models and …, 2005 | 51 | 2005 |
Rocco De NicolaProfessor of Computer Science, IMT Lucca在 imtlucca.it 的电子邮件经过验证
