Rosario Pugliese

Cited by

	All	Since 2019
Citations	4535	654
h-index	35	12
i10-index	90	19

300

150

225

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202416 56 73 96 62 127 168 219 274 186 195 258 210 192 194 248 183 244 282 170 143 158 176 146 73 95 104 60

Public access

View all

11 articles

3 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	757	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	179	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	151	2003
Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000	130	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	120	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	85	1998
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	79	2015
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
Trace and testing equivalence on asynchronous processes M Boreale, R De Nicola, R Pugliese Information and Computation 172 (2), 139-164, 2002	69	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	66	2008
Resource access and mobility control with dynamic privileges acquisition D Gorla, R Pugliese International Colloquium on Automata, Languages, and Programming, 119-132, 2003	65	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	54	2013
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
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

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