2026 Rocco De Nicola: Computer Science Researcher – H-Index, Publications & Awards

Discipline name	D-Index	World Ranking	Current World Ranking	National Ranking	Current National Ranking	Publications	Citations
Computer Science	50	5580	5423	125	123	265	11136

Rocco De Nicola publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Rocco De Nicola sits on this spectrum.

32 publications 991+

This scientist: 265 publications — 66th percentile

66% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 991 publications or more.

Rocco De Nicola D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Rocco De Nicola sits on this spectrum.

30 D-Index 131+

This scientist: 50 D-Index — 62nd percentile

62% of scientists in this discipline score the same or lower.

The last bar groups every scientist with 131 D-Index or more.

Research.com Recognitions

2019 - European Association for Theoretical Computer Science (EATCS) Fellow For his seminal contributions to concurrency theory, and to languages and models for describing interaction and mobility in multi-agents systems
2011 - Member of Academia Europaea

Overview

Rocco De Nicola is primarily affiliated with the IMT Institute for Advanced Studies Lucca in Italy. Their research spans the broad field of computer science, with particular contributions to subfields such as artificial intelligence, computer networks and communications, information systems, mechanical engineering, and sociology and political science.

The scientist's work addresses several main topics, including:

Distributed systems and fault tolerance
Modular robots and swarm intelligence
Misinformation and its impacts
Advanced software engineering methodologies
Formal methods in verification
Advanced malware detection techniques
Spam and phishing detection

Rocco De Nicola has contributed multiple papers to various scholarly venues. Prominent publication sources with frequent contributions include:

International Journal on Software Tools for Technology Transfer
EPJ Data Science
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
Science of Computer Programming
arXiv (Cornell University)

Selected recent publications authored or co-authored by Rocco De Nicola include:

"Rigorous engineering of collective adaptive systems: special section," 2020, published in International Journal on Software Tools for Technology Transfer
"Distributed service-level agreement management with smart contracts and blockchain," 2020, published in Concurrency and Computation Practice and Experience
"Framework, Tools and Good Practices for Cybersecurity Curricula," 2021, published in IEEE Access
"6G Networks Physical Layer Security Using RGB Visible Light Communications," 2021, published in IEEE Access
"Deepfake Media Forensics: Status and Future Challenges," 2025, published in Journal of Imaging

Frequent collaborators in their research include Marinella Petrocchi, Manuel Pratelli, Omar Inverso, Fabio Saracco, and Luca Di Stefano.

In recognition of their work, Rocco De Nicola has received several honors, including being named a Fellow of the European Association for Theoretical Computer Science (EATCS) in 2019. The fellowship citation highlights contributions to concurrency theory and to languages and models that describe interaction and mobility in multi-agent systems. Additionally, they have been a member of Academia Europaea since 2011.

Best Publications

Testing equivalences for processes

R. De Nicola;M.C.B. Hennessy

1912
Citations
Three logics for branching bisimulation

Rocco De Nicola;Frits Vaandrager

504
Citations
Action versus State based Logics for Transition Systems

Rocco De Nicola;Frits W. Vaandrager

475
Citations
Testing Equivalence for Processes

Rocco De Nicola;Matthew Hennessy

314
Citations
SCC: a service centered calculus

M. Boreale;R. Bruni;L. Caires;R. De Nicola

217
Citations
A distributed operational semantics for CCS based on condition/event systems

P. Degano;Rocco De Nicola;U. Montanari

217
Citations
SENSORIA process calculi for service-oriented computing

Martin Wirsing;Rocco De Nicola;Stephen Gilmore;Matthias Hölzl

211
Citations
The role of bot squads in the political propaganda on Twitter

Guido Caldarelli;Rocco De Nicola;Fabio Del Vigna;Marinella Petrocchi

205
Citations
Proof Techniques for Cryptographic Processes

Michele Boreale;Rocco De Nicola;Rosario Pugliese

194
Citations
A Formal Approach to Autonomic Systems Programming: The SCEL Language

Rocco De Nicola;Michele Loreti;Rosario Pugliese;Francesco Tiezzi

188
Citations
Back and forth bisimulations

Rocco De Nicola;Ugo Montanari;Frits W. Vaandrager

177
Citations
An action-based framework for verifying logical and behavioural properties of concurrent systems

R. De Nicola;A. Fantechi;S. Gnesi;G. Ristori

168
Citations
Sessions and Pipelines for Structured Service Programming

Michele Boreale;Roberto Bruni;Rocco Nicola;Michele Loreti

165
Citations
The Klaim project: Theory and practice

Lorenzo Bettini;Viviana Bono;Rocco De Nicola;Gian Luigi Ferrari

150
Citations
Extensional equivalences for transition systems

Unknown

141
Citations
Types for access control

Rocco De Nicola;GianLuigi Ferrari;Rosario Pugliese;Betti Venneri

133
Citations
Partial orderings descriptions and observations of nondeterministic concurrent processes

Pierpaolo Degano;Rocco De Nicola;Ugo Montanari

131
Citations
KLAVA: a Java package for distributed and mobile applications

Lorenzo Bettini;Rocco De Nicola;Rosario Pugliese

123
Citations
A Symbolic Semantics for the π-Calculus

Michele Boreale;Rocco De Nicola

107
Citations
A partial ordering semantics for CCS

P. Degano;R. De Nicola;U. Montanari

105
Citations
A Language-Based Approach to Autonomic Computing

Rocco De Nicola;Gian Luigi Ferrari;Michele Loreti;Rosario Pugliese

104
Citations

Frequent Co-Authors

Rosario Pugliese University of Florence

Ugo Montanari University of Pisa

Martin Wirsing Ludwig-Maximilians-Universität München

Guido Caldarelli Ca Foscari University of Venice

Frits W. Vaandrager Radboud University

Jane Hillston University of Edinburgh

Joseph Sifakis Verimag

Stephen Gilmore University of Edinburgh

Franco Zambonelli University of Modena and Reggio Emilia

Flemming Nielson Technical University of Denmark

External Links

Personal website of Rocco De Nicola Google Scholar page

If you think any of the details on this page are incorrect, let us know.

Related Online Degrees & Career Pathways

Exploring online education can provide flexible and cost-effective ways to earn a degree, especially in Computer Science and related fields. Many students look for cheap online college classes to reduce overall tuition costs while still gaining access to high-quality courses.

For individuals concerned about their academic history, several top institutions are considered best colleges for low gpa applicants. These colleges offer a second chance to those who are dedicated to advancing their skills in computer science, opening doors to new opportunities in tech and beyond.

Graduates with degrees in technology or science can pursue a wide range of professions. For example, those interested in sustainability and technology might ask, what can you get with an environmental science degree? Both fields offer promising career pathways with plenty of room for specialization.

If you’re eager to fast-track your career, consider enrolling in an online computer science degree program that lets you complete your studies sooner. Online and accelerated programs are a practical option for working professionals and those seeking a flexible learning environment.