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 - 20 di 50 (tempo di esecuzione: 0.051 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.
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 1-gen-2021 Caldarelli, G.; De Nicola, R.; Petrocchi, 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.
SENSORIA - D4.2a - Stochastic logics 1-gen-2007 De Nicola R.; Katoen J. P.; Latella D.; Loreti M.; Massink M.
Formal modeling and quantitative analysis of KLAIM-based mobile systems 1-gen-2005 DE NICOLA, Rocco; Latella, Diego; Massink, Mieke
Towards a logic for performance and mobility. FULL VERSION 1-gen-2005 De Nicola, R; Katoen, Jp; Latella, D; Massink, M
Transformation rules 1-gen-1992 De Nicola, R; Fantechi, A; Gnesi, S; Inverardi, P; Nesi, M
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria 1-gen-1991 De Nicola R.; Fantechi A.; Gnesi S.; Ristori G.
Transformation rules 1-gen-1991 De Nicola, R; Fantechi, A; Gnesi, S; Inverardi, P; Nesi, M
A partial ordering semantics for CCS 1-gen-1990 Degano P.; De Nicola R.; Montanari U.
Action versus state based logics for transition systems 1-gen-1990 De Nicola R.; Vaandrager F.
Algebraic transformations-verification of basic lotos processes 1-gen-1990 De Nicola R.; Inverardi P.; Nesi M.
Back and forth bisimulations 1-gen-1990 De Nicola, R; Montanari, U; Vaandrager, F
Concurrency and compositionality. Extended abstracts of a workshop 1-gen-1990 De Nicola, R
Observational logics and concurrency models 1-gen-1990 De Nicola R.; Ferrari G.L.
Observational logics and true concurrency 1-gen-1990 De Nicola R.; Ferrari G.L.
On the operational semantics of distributed concurrent systems 1-gen-1990 Degano P.; De Nicola R.; Montanari U.
Three logics for branching bisimulation 1-gen-1990 De Nicola, R; Vaandrager, F
Observational logics and true concurrency 1-gen-1989 De Nicola R.; Ferrari G.L.