World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
50
Citations
11136
World Ranking
5579
National Ranking
125

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

  • Three logics for branching bisimulation

    Rocco De Nicola;Frits Vaandrager

  • Action versus State based Logics for Transition Systems

    Rocco De Nicola;Frits W. Vaandrager

  • Testing Equivalence for Processes

    Rocco De Nicola;Matthew Hennessy

  • SCC: a service centered calculus

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

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

    P. Degano;Rocco De Nicola;U. Montanari

  • SENSORIA process calculi for service-oriented computing

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

  • The role of bot squads in the political propaganda on Twitter

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

  • Proof Techniques for Cryptographic Processes

    Michele Boreale;Rocco De Nicola;Rosario Pugliese

  • A Formal Approach to Autonomic Systems Programming: The SCEL Language

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

  • Back and forth bisimulations

    Rocco De Nicola;Ugo Montanari;Frits W. Vaandrager

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

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

  • Sessions and Pipelines for Structured Service Programming

    Michele Boreale;Roberto Bruni;Rocco Nicola;Michele Loreti

  • The Klaim project: Theory and practice

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

  • Extensional equivalences for transition systems

    Unknown

  • Types for access control

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

  • Partial orderings descriptions and observations of nondeterministic concurrent processes

    Pierpaolo Degano;Rocco De Nicola;Ugo Montanari

  • KLAVA: a Java package for distributed and mobile applications

    Lorenzo Bettini;Rocco De Nicola;Rosario Pugliese

  • A Symbolic Semantics for the π-Calculus

    Michele Boreale;Rocco De Nicola

  • A partial ordering semantics for CCS

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

  • A Language-Based Approach to Autonomic Computing

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

Frequent Co-Authors

Rosario Pugliese
Rosario Pugliese University of Florence
Ugo Montanari
Ugo Montanari University of Pisa
Martin Wirsing
Martin Wirsing Ludwig-Maximilians-Universität München
Guido Caldarelli
Guido Caldarelli Ca Foscari University of Venice
Frits W. Vaandrager
Frits W. Vaandrager Radboud University
Jane Hillston
Jane Hillston University of Edinburgh
Stephen Gilmore
Stephen Gilmore University of Edinburgh
Franco Zambonelli
Franco Zambonelli University of Modena and Reggio Emilia
Flemming Nielson
Flemming Nielson Technical University of Denmark

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

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

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.

Best Scientists Citing Rocco De Nicola

Trending Scientists

Recently Published Articles