CNR Institutional Research Information System

DE NICOLA, ROCCO

DE NICOLA, ROCCO  

Dipartimento Ingegneria. ICT e Tecnologie per l'energia e i trasporti - DIITET  

Mostra records
Risultati 1 - 9 di 9 (tempo di esecuzione: 0.025 secondi).
Titolo Data di pubblicazione Autore(i) File
Online disinformation in the 2020 U.S. election: swing vs. safe states 1-gen-2024 Pratelli, M.; Petrocchi, M.; Saracco, F.; De Nicola, R.
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy 1-gen-2021 Caldarelli, G.; De Nicola, R.; Petrocchi, M.; Pratelli, M.; Saracco, F.
The role of bot squads in the political propaganda on Twitter 1-gen-2020 Caldarelli, G.; De Nicola, R.; Del Vigna, F.; Petrocchi, M.; Saracco, F.
A partial ordering semantics for CCS 1-gen-1990 Degano P.; De Nicola R.; Montanari U.
A distributed operational semantics for CCS based on condition/event systems 1-gen-1988 Degano, P; De Nicola, R; Montanari, U
Extensional equivalences for transition systems 1-gen-1987 De Nicola R.
Two complete axiom systems for a theory of communicating sequential processes 1-gen-1985 De Nicola R.
Models and operators for nondeterministic processes 1-gen-1984 De Nicola R.
Testing equivalences for processes 1-gen-1984 De Nicola, R; Hennessy, Mcb