Seguir
Rosario Pugliese
Rosario Pugliese
Professor of Computer Science, University of Florence
Dirección de correo verificada de unifi.it - Página principal
Título
Citado por
Citado por
Año
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
7651998
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
2832007
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
1882014
Proof techniques for cryptographic processes
M Boreale, R De Nicola, R Pugliese
SIAM Journal on Computing 31 (3), 947-986, 2001
1882001
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
1532003
Types for access control
R De Nicola, GL Ferrari, R Pugliese, B Venneri
Theoretical Computer Science 240 (1), 215-254, 2000
1322000
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
1222002
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
992011
Interactive mobile agents in X-Klaim
L Bettini, R De Nicola, R Pugliese, GL Ferrari
Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998
861998
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
842015
Coordinating mobile agents via blackboards and access rights
R De Nicola, GL Ferrari, R Pugliese
Coordination Languages and Models: Second International Conference …, 1997
791997
Trace and testing equivalence on asynchronous processes
M Boreale, R De Nicola, R Pugliese
Information and Computation 172 (2), 139-164, 2002
692002
Resource access and mobility control with dynamic privileges acquisition
D Gorla, R Pugliese
International Colloquium on Automata, Languages, and Programming, 119-132, 2003
672003
A formal account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
Proceedings of the 10th international conference on Coordination Models and …, 2008
662008
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
662008
A process algebra based on Linda
R De Nicola, R Pugliese
International Conference on Coordination Languages and Models, 160-178, 1996
621996
Programming Access Control: The Klaim Experience
R De Nicola, GL Ferrari, R Pugliese
Proc. of the 11th International Conference on Concurrency Theory (CONCUR …, 2000
582000
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
542013
On the Expressive Power of Klaim-based Calculi
R De Nicola, D Gorla, R Pugliese
Electronic Notes in Theoretical Computer Science 128 (2), 117-130, 2005
532005
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
532005
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20