Rocco De Nicola

Cited by

	All	Since 2019
Citations	11377	2451
h-index	52	23
i10-index	156	66

500

250

125

375

1987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202465 62 87 121 144 168 148 171 203 220 183 223 260 240 190 260 330 345 428 366 428 443 408 355 347 355 322 326 462 342 260 334 497 450 393 471 414 223

Public access

View all

43 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Mieke MassinkCNR-ISTIVerified email at isti.cnr.it
Michele BorealeUniversità di Firenze, DiSIAVerified email at unifi.it
Francesco TiezziUniversità di CamerinoVerified email at unicam.it
Lorenzo BettiniAssociate Professor in Computer Science, Dipartimento di Statistica, Informatica e ApplicazioniVerified email at unifi.it
Diego LatellaSenior Researcher - CNR-ISTI (Pisa)Verified email at cnr.it
Marinella PetrocchiIIT-CNR, Pisa, ItalyVerified email at iit.cnr.it
Daniele GorlaVerified email at di.uniroma1.it
matthew hennessyProfessor of Computer ScienceVerified email at cs.tcd.ie
Rafael Brundo UriarteDigital Research Coordinator at the Kunsthistorisches Institut in Florenz - Max-Planck-InstitutVerified email at khi.fi.it
Martin WirsingProfessor of Computer Science, LMU MunichVerified email at lmu.de
Omar InversoGran Sasso Science Institute (GSSI), L'Aquila, ItalyVerified email at gssi.it
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityVerified email at cs.ru.nl
Marco BernardoUniversity of UrbinoVerified email at uniurb.it
Yehia Abd AlrahmanAssociate Professor in ComputingVerified email at gu.se
Flavio CorradiniProfessore di Informatica, Università di CamerinoVerified email at unicam.it
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Roberto SegalaUniversità di VeronaVerified email at univr.it

Rocco De Nicola

Professor of Computer Science, IMT Lucca

Verified email at imtlucca.it - Homepage

Concurrency Theory Programming Languages Formal Methods Distributed Systems Cybersecurity


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
6G networks physical layer security using RGB visible light communications S Soderi, R De Nicola IEEE Access 10, 5482-5496, 2021	22	2021
A basic calculus for modelling service level agreements R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto International Conference on Coordination Models and Languages 3454, 33-48, 2005	20	2005
A behavioural analysis of credulous Twitter users A Balestrucci, R De Nicola, M Petrocchi, C Trubiani Online Social Networks and Media 23, 100133, 2021	12	2021
A behavioural theory for interactions in collective-adaptive systems YA Alrahman, R De Nicola, M Loreti arXiv preprint arXiv:1711.09762, 2017	5	2017
A calculus for attribute-based communication YA Alrahman, R De Nicola, M Loreti, F Tiezzi, R Vigo Proceedings of the 30th Annual ACM Symposium on Applied Computing, 1840-1845, 2015	53	2015
A calculus for collective-adaptive systems and its behavioural theory Y Abd Alrahman, R De Nicola, M Loreti Information and Computation 268, 104457, 2019	90*	2019
A Companion of" Relating Strong Behavioral Equivalences for Processes with Nondeterminism and Probabilities" M Bernardo, R De Nicola, M Loreti arXiv preprint arXiv:1305.0538, 2013	2	2013
A complete set of axioms for a theory of communicating sequential processes R De Nicola International Conference on Fundamentals of Computation Theory, 115-126, 1983	12	1983
A completeness theorem for nondeterministic Kleene algebras R De Nicola, A Labella International Symposium on Mathematical Foundations of Computer Science, 536-545, 1994	28	1994
A distributed coordination infrastructure for attribute-based interaction YA Alrahman, R De Nicola, G Garbi, M Loreti International Conference on Formal Techniques for Distributed Objects …, 2018	15	2018
A distributed operational semantics for CCS based on C/E systems P Degano, R De Nicola, U Montanari Acta Informatica 26, 411-449, 1988	16	1988
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	221	1988
A finite axiomatization of nondeterministic regular expressions F Corradini, R De Nicola, A Labella RAIRO-Theoretical Informatics and Applications 33 (4-5), 447-465, 1999	12	1999
A flexible and modular framework for implementing infrastructures for global computing L Bettini, R De Nicola, D Falassi, M Lacoste, M Loreti Distributed Applications and Interoperable Systems: 5th IFIP WG 6.1 …, 2005	14	2005
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	208*	2014
A formal approach to the engineering of domain-specific distributed systems R De Nicola, G Ferrari, R Pugliese, F Tiezzi Coordination Models and Languages: 20th IFIP WG 6.1 International Conference …, 2018	10	2018
A formal basis for reasoning on programmable qos R De Nicola, G Ferrari, U Montanari, R Pugliese, E Tuosto Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the …, 2003	46	2003
A functorial assessment of bisimulations R De Nicola, A Labella Dipartimento di scienze dell'informazione, Università degli studi La Sapienza, 1992	8	1992
A gentle introduction to process algebras R De Nicola Notes 7, 2014	13	2014
A homage to Martin Wirsing R De Nicola, R Hennicker Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the …, 2015	1	2015

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