Rocco De Nicola

Citado por

	Total	Desde 2019
Citas	11749	2795
Índice h	54	26
Índice i10	160	77

560

280

140

420

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202465 62 87 121 146 168 148 171 203 220 183 223 260 241 190 260 331 345 428 366 433 442 408 357 347 355 322 330 462 343 261 335 499 448 393 473 427 548

Acceso público

Ver todo

43 artículos

2 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Prof. Michele LoretiSchool of Science and Technology, University of CamerinoDirección de correo verificada de unicam.it
Rosario PuglieseProfessor of Computer Science, University of FlorenceDirección de correo verificada de unifi.it
Mieke MassinkCNR-ISTIDirección de correo verificada de isti.cnr.it
Michele BorealeUniversità di Firenze, DiSIADirección de correo verificada de unifi.it
Francesco TiezziUniversità di CamerinoDirección de correo verificada de unicam.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Dirección de correo verificada de cnr.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniDirección de correo verificada de unifi.it
Marinella PetrocchiIIT-CNR, Pisa, ItalyDirección de correo verificada de iit.cnr.it
Daniele GorlaDirección de correo verificada de di.uniroma1.it
matthew hennessyProfessor of Computer ScienceDirección de correo verificada de cs.tcd.ie
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyDirección de correo verificada de gssi.it
Rafael Brundo UriarteDigital Research Coordinator at the Kunsthistorisches Institut in Florenz - Max-Planck-InstitutDirección de correo verificada de khi.fi.it
Martin WirsingProfessor of Computer Science, LMU MunichDirección de correo verificada de lmu.de
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityDirección de correo verificada de cs.ru.nl
Marco BernardoUniversity of UrbinoDirección de correo verificada de uniurb.it
Yehia Abd AlrahmanAssociate Professor in Computing, University of GothenburgDirección de correo verificada de gu.se
Emilio TuostoGran Sasso Science InstituteDirección de correo verificada de gssi.it
Flavio CorradiniProfessore di Informatica, Università di CamerinoDirección de correo verificada de unicam.it
Roberto SegalaUniversità di VeronaDirección de correo verificada de univr.it

Seguir

Rocco De Nicola

Professor of Computer Science, IMT Lucca

Dirección de correo verificada de imtlucca.it - Página principal

Concurrency Theory Programming Languages Formal Methods Distributed Systems Cybersecurity


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Testing equivalences for processes R De Nicola, MCB Hennessy Theoretical computer science 34 (1-2), 83-133, 1984	1819	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	765	1998
Three logics for branching bisimulation R De Nicola, F Vaandrager Journal of the ACM (JACM) 42 (2), 458-487, 1995	520	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	489	1990
Extensional equivalences for transition systems R De Nicola Acta Informatica 24 (2), 211-237, 1987	359	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	188	2001
Back and forth bisimulations R De Nicola, U Montanari, F Vaandrager International Conference on Concurrency Theory, 152-165, 1990	176	1990
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	157	2008
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	156	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	153	2003
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	140	1989
Types for access control R De Nicola, GL Ferrari, R Pugliese, B Venneri Theoretical Computer Science 240 (1), 215-254, 2000	132	2000
Testing equivalence for mobile processes M Boreale, R De Nicola Information and Computation 120 (2), 279-303, 1995	127	1995
CCS without τ's R De Nicola, M Hennessy Colloquium on Trees in Algebra and Programming, 138-152, 1987	124	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	117	1990

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores