Rosario Pugliese

Cited by

	All	Since 2018
Citations	4427	729
h-index	35	13
i10-index	88	22

300

150

225

19971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 59 68 96 62 129 168 215 268 187 189 253 201 190 189 246 183 246 286 178 143 144 175 147 74 94 94

Public access

View all

11 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
Massimiliano MasiAutostrade Per L'Italia SpAVerified email at autostrade.it
Andrea MargheriAgenzia per la Cybersicurezza NazionaleVerified email at acn.gov.it
Stefania GnesiISTI-CNR, ItalyVerified email at isti.cnr.it
Franco MazzantiSenior Reasearcher, ISTI CNR, Pisa, ItalyVerified email at isti.cnr.it
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it
A. FantechiUniversità di FirenzeVerified email at unifi.it
Nora KochUniversidad de Sevilla, LMUVerified email at iwt2.org
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Dr. Philip MayerPostDoc at the Programming & Software Engineering Group, LMU MunichVerified email at pst.ifi.lmu.de
Tomas BuresFull Professor of Computer Science, Charles UniversityVerified email at d3s.mff.cuni.cz
Mariachiara PuvianiUniversità degli Studi di Modena e Reggio EmiliaVerified email at unimore.it
José Luiz FiadeiroProfessor of Computer Science, University of DundeeVerified email at dundee.ac.uk
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Annabelle KlarlLMU MunichVerified email at pst.ifi.lmu.de
Franco ZAMBONELLIUniversità di Modena e Reggio EmiliaVerified email at unimore.it
Alberto Lluch LafuenteTechnical University of DenmarkVerified email at dtu.dk

Rosario Pugliese

Professor of Computer Science, University of Florence

Verified email at unifi.it - Homepage

Concurrency Theory Formal Methods Programming Languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	746	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	279	2007
Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001	184	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	177	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	146	2003
Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000	125	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	117	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	101	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	74	2015
Trace and testing equivalence on asynchronous processes M Boreale, R De Nicola, R Pugliese Information and Computation 172 (2), 139-164, 2002	66	2002
A formal account of WS-BPEL A Lapadula, R Pugliese, F Tiezzi Proceedings of the 10th international conference on Coordination Models and …, 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	62	1996
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	61	2008
Programming Access Control: The Klaim Experience R De Nicola, GL Ferrari, R Pugliese Proc. of the 11th International Conference on Concurrency Theory (CONCUR …, 2000	58	2000
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	52	2005
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	51	2013
An infrastructure language for open nets L Bettini, M Loreti, R Pugliese Proceedings of the 2002 ACM symposium on Applied computing, 373-377, 2002	49	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors