Rosario Pugliese

Citeret af

	Alle	Siden 2020
Henvisninger	4646	582
h-index	35	11
i10-indeks	92	15

280

140

210

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202516 56 73 96 62 127 168 220 276 184 195 257 210 195 194 245 183 247 279 172 144 158 176 146 73 97 104 152 10

Offentlig adgang

Se alle

11 artikler

3 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Rocco De NicolaProfessor of Computer Science, IMT LuccaVerificeret mail på imtlucca.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerificeret mail på unicam.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerificeret mail på unifi.it
Massimiliano MasiAutostrade Per L'Italia SpAVerificeret mail på autostrade.it
Andrea MargheriAgenzia per la Cybersicurezza NazionaleVerificeret mail på acn.gov.it
Stefania GnesiISTI-CNR, ItalyVerificeret mail på isti.cnr.it
Emilio TuostoGran Sasso Science InstituteVerificeret mail på gssi.it
Franco MazzantiSenior Reasearcher, ISTI CNR, Pisa, ItalyVerificeret mail på isti.cnr.it
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerificeret mail på unige.it
A. FantechiUniversità di FirenzeVerificeret mail på unifi.it
Nora KochUniversidad de Sevilla, LMUVerificeret mail på iwt2.org
Martin WirsingProfessor of Computer Science, LMU MunichVerificeret mail på lmu.de
Dr. Philip MayerPostDoc at the Programming & Software Engineering Group, LMU MunichVerificeret mail på pst.ifi.lmu.de
Tomas BuresFull Professor of Computer Science, Charles UniversityVerificeret mail på d3s.mff.cuni.cz
Mariachiara PuvianiUniversità degli Studi di Modena e Reggio EmiliaVerificeret mail på unimore.it
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerificeret mail på durhamjohnston.org.uk
Mieke MassinkCNR-ISTIVerificeret mail på isti.cnr.it
Annabelle KlarlLMU MunichVerificeret mail på pst.ifi.lmu.de
Franco ZAMBONELLIUniversità di Modena e Reggio EmiliaVerificeret mail på unimore.it
Alberto Lluch LafuenteTechnical University of DenmarkVerificeret mail på dtu.dk

Følg

Rosario Pugliese

Professor of Computer Science, University of Florence

Verificeret mail på unifi.it - Startside

Concurrency Theory Formal Methods Programming Languages


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	Å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	765	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	283	2007
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	188	2014
Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001	188	2001
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	153	2003
Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000	132	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	122	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	99	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	86	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	84	2015
Coordinating mobile agents via blackboards and access rights R De Nicola, GL Ferrari, R Pugliese Coordination Languages and Models: Second International Conference …, 1997	79	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
Resource access and mobility control with dynamic privileges acquisition D Gorla, R Pugliese International Colloquium on Automata, Languages, and Programming, 119-132, 2003	67	2003
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
A process algebra based on Linda R De Nicola, R Pugliese International Conference on Coordination Languages and Models, 160-178, 1996	62	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	58	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
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	53	2005
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	53	2005

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere