DE NICOLA, ROCCO
DE NICOLA, ROCCO
Dipartimento Ingegneria. ICT e Tecnologie per l'energia e i trasporti - DIITET
Mostra
records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.036 secondi).
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy
2021 Caldarelli, G.; De Nicola, R.; Petrocchi, M.; Pratelli, M.; Saracco, F.
The role of bot squads in the political propaganda on Twitter
2020 Caldarelli, G.; De Nicola, R.; Del Vigna, F.; Petrocchi, M.; Saracco, F.
A partial ordering semantics for CCS
1990 Degano P.; De Nicola R.; Montanari U.
A distributed operational semantics for CCS based on condition/event systems
1988 Degano, P; De Nicola, R; Montanari, U
Extensional equivalences for transition systems
1987 De Nicola R.
Two complete axiom systems for a theory of communicating sequential processes
1985 De Nicola R.
Models and operators for nondeterministic processes
1984 De Nicola R.
Testing equivalences for processes
1984 De Nicola, R; Hennessy, Mcb
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 |