Concepedia

Rocco De Nicola

RD

76

Publications

5.1K

Citations

37

H-Index

1984

Active since

Affiliations

University of Florence(Current)

IMT School for Advanced Studies Lucca

Sapienza University of Rome

University of Pisa

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Rocco De Nicola is an author at University of Florence specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationSystems EngineeringSoftware AnalysisSystem SoftwareProgram AnalysisVerification

Publications per year

1984–2025

76

Publications

76

Testing equivalences for processes

Rocco De Nicola, Matthew Hennessy · Theoretical Computer Science · 1984 · 1.1K citations

Engineering, Automated Reasoning, Software Testing +9

KLAIM: a kernel language for agents interaction and mobility

Rocco De Nicola, Gian-Luigi Ferrari, Rosario Pugliese · IEEE Transactions on Software Engineering · 1998 · 508 citations

Artificial Intelligence, Engineering, Software Engineering +21

Three logics for branching bisimulation

Rocco De Nicola, Frits Vaandrager · Journal of the ACM · 1995 · 288 citations · Full text

Computational Logic, Engineering, Automated Reasoning +15

Extensional equivalences for transition systems

Rocco De Nicola · Acta Informatica · 1987 · 254 citations

Automated Reasoning, Process Calculus, Transition Systems +1

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

Pierpaolo Degano, Rocco De Nicola, Ugo Montanari · Acta Informatica · 1988 · 161 citations

Event-driven Architecture, Formal Specification, Engineering +15

Rows per page

1–5 of 76