Rosario Pugliese

Università degli Studi di Firenze - Firenze / Italy

Engineering & Technology / Computer Science

AD Scientific Index ID: 1857175

University of Florence

Registration, Add Profile,
Premium Membership

Print Your Certificate

Rosario Pugliese's MOST POPULAR ARTICLES

1-) KLAIM: A kernel language for agents interaction and mobilityR De Nicola, GL Ferrari, R PuglieseIEEE Transactions on software engineering 24 (5), 315-330, 19987391998

2-) A calculus for orchestration of web servicesA Lapadula, R Pugliese, F TiezziProgramming Languages and Systems, Proc. of the 16th European Symposium on …, 20072742007

3-) A formal approach to autonomic systems programming: the SCEL languageRD Nicola, M Loreti, R Pugliese, F TiezziACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 20141882014

4-) Proof techniques for cryptographic processesM Boreale, R De Nicola, R PuglieseSIAM Journal on Computing 31 (3), 947-986, 20011882001

5-) The klaim project: Theory and practiceL Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...Global Computing. Programming Environments, Languages, Security, and …, 20031532003

ARTICLES

Add your articles