Rosario Pugliese
Rosario Pugliese
Professor of Computer Science, University of Florence
Verifierad e-postadress på unifi.it - Startsida
Titel
Citeras av
Citeras av
År
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
7041998
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
2652007
Proof techniques for cryptographic processes
M Boreale, R De Nicola, R Pugliese
SIAM Journal on Computing 31 (3), 947-986, 2001
1732001
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
1322003
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
1262014
Types for access control
R De Nicola, GL Ferrari, R Pugliese, B Venneri
Theoretical Computer Science 240 (1), 215-254, 2000
1222000
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
1082002
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
882011
Interactive mobile agents in X-Klaim
L Bettini, R De Nicola, R Pugliese, GL Ferrari
Proceedings Seventh IEEE International Workshop on Enabling Technologies …, 1998
741998
Coordinating mobile agents via blackboards and access rights
R De Nicola, GL Ferrari, R Pugliese
International Conference on Coordination Languages and Models, 220-237, 1997
741997
A formal account of WS-BPEL
A Lapadula, R Pugliese, F Tiezzi
Proceedings of the 10th international conference on Coordination Models and …, 2008
652008
Resource access and mobility control with dynamic privileges acquisition
D Gorla, R Pugliese
International Colloquium on Automata, Languages, and Programming, 119-132, 2003
632003
A model checking approach for verifying COWS specifications
A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi
International Conference on Fundamental Approaches to Software Engineering …, 2008
612008
Trace and testing equivalence on asynchronous processes
M Boreale, R De Nicola, R Pugliese
Information and Computation 172 (2), 139-164, 2002
592002
A transition system semantics for the control-driven coordination language MANIFOLD
MM Bonsangue, F Arbab, JW De Bakker, JJMM Rutten, A Scutella, ...
Theoretical Computer Science 240 (1), 3-47, 2000
572000
A process algebra based on Linda
R De Nicola, R Pugliese
International Conference on Coordination Languages and Models, 160-178, 1996
541996
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
Programming Access Control: The Klaim Experience
R De Nicola, GL Ferrari, R Pugliese
Proc. of the 11th International Conference on Concurrency Theory (CONCUR …, 2000
532000
Locality based Linda: programming with explicit localities
R De Nicola, GL Ferrari, R Pugliese
Colloquium on Trees in Algebra and Programming, 712-726, 1997
511997
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
482005
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20