Rocco De Nicola
Institute of Informatics and Telematics(IT)Consorzio Interuniversitario Nazionale per l'Informatica(IT)
Publications by Year
Research Areas
Formal Methods in Verification, Distributed systems and fault tolerance, Logic, programming, and type systems, Advanced Software Engineering Methodologies, Service-Oriented Architecture and Web Services
Most-Cited Works
- → Testing equivalences for processes(1984)1,146 cited
- → KLAIM: a kernel language for agents interaction and mobility(1998)508 cited
- → Action versus state based logics for transition systems(1990)290 cited
- → Three logics for branching bisimulation(1995)288 cited
- → Extensional equivalences for transition systems(1987)254 cited
- → Sensoria Process Calculi for Service-Oriented Computing(2007)210 cited
- → PVM (Parallel Virtual Machine)(2011)173 cited