Rocco De Nicola

Citeras av

	Alla	Sedan 2020
Citat	11902	2354
h-index	54	24
i10-index	162	62

580

290

145

435

19871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202576 61 88 127 151 169 153 176 205 219 186 224 256 242 189 263 336 348 433 366 434 441 407 359 350 360 333 342 465 350 261 333 496 443 394 474 421 565 54

Offentlig åtkomst

Visa alla

43 artiklar

2 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerifierad e-postadress på unicam.it
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerifierad e-postadress på unifi.it
Mieke MassinkCNR-ISTIVerifierad e-postadress på isti.cnr.it
Michele BorealeUniversità di Firenze, DiSIAVerifierad e-postadress på unifi.it
Francesco TiezziUniversità di CamerinoVerifierad e-postadress på unicam.it
Diego LatellaSenior Researcher - CNR-ISTI Pisa (ret.)Verifierad e-postadress på cnr.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerifierad e-postadress på unifi.it
Marinella PetrocchiIIT-CNR, Pisa, ItalyVerifierad e-postadress på iit.cnr.it
Daniele GorlaVerifierad e-postadress på di.uniroma1.it
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyVerifierad e-postadress på gssi.it
matthew hennessyProfessor of Computer ScienceVerifierad e-postadress på cs.tcd.ie
Rafael Brundo UriarteDigital Research Coordinator at the Kunsthistorisches Institut in Florenz - Max-Planck-InstitutVerifierad e-postadress på khi.fi.it
Martin WirsingProfessor of Computer Science, LMU MunichVerifierad e-postadress på lmu.de
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerifierad e-postadress på cs.ru.nl
Marco BernardoUniversity of UrbinoVerifierad e-postadress på uniurb.it
Yehia Abd AlrahmanAssociate Professor in Computing, University of GothenburgVerifierad e-postadress på gu.se
Emilio TuostoGran Sasso Science InstituteVerifierad e-postadress på gssi.it
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerifierad e-postadress på unicam.it
Roberto SegalaUniversità di VeronaVerifierad e-postadress på univr.it

Följ

Rocco De Nicola

Professor of Computer Science, IMT Lucca

Verifierad e-postadress på imtlucca.it - Startsida

Concurrency Theory Programming Languages Formal Methods Distributed Systems Cybersecurity


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
Testing equivalences for processes R De Nicola, MCB Hennessy Theoretical computer science 34 (1-2), 83-133, 1984	1849	1984
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	769	1998
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	529	1995
Action versus state based logics for transition systems R De Nicola, F Vaandrager Semantics of Systems of Concurrent Processes 469 (Lecture Notes in Computer …, 1990	495	1990
Extensional equivalences for transition systems R De Nicola Acta Informatica 24 (2), 211-237, 1987	366	1987
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	223*	2014
A distributed operational semantics for CCS based on condition/event systems P Degano, R De Nicola, U Montanari Acta Informatica 26 (1), 59-91, 1988	222	1988
SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006	210	2006
Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001	191	2001
Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990	180	1990
The role of bot squads in the political propaganda on Twitter G Caldarelli, R De Nicola, F Del Vigna, M Petrocchi, F Saracco Communications Physics 3 (1), 81, 2020	160	2020
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	157	2003
Sessions and pipelines for structured service programming M Boreale, R Bruni, R De Nicola, M Loreti International Conference on Formal Methods for Open Object-Based Distributed …, 2008	156	2008
Partial orderings descriptions and observations of nondeterministic concurrent processes P Degano, R De Nicola, U Montanari Linear Time, Branching Time and Partial Order in Logics and Models for …, 1989	141	1989
Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000	134	2000
Testing equivalence for mobile processes M Boreale, R De Nicola Information and Computation 120 (2), 279-303, 1995	128	1995
CCS without τ's R De Nicola, M Hennessy Colloquium on Trees in Algebra and Programming, 138-152, 1987	125	1987
An action-based framework for veryfying logical and behavioural properties of concurrent systems R De Nicola, A Fantechi, S Gnesi, G Ristori Computer networks and ISDN systems 25 (7), 761-778, 1993	123	1993
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 partial ordering semantics for CCS P Degano, R De Nicola, U Montanari Theoretical Computer Science 75 (3), 223-262, 1990	118	1990

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare