CNR Institutional Research Information System

DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 913
NA - Nord America 471
SA - Sud America 175
EU - Europa 104
AF - Africa 15
OC - Oceania 1
Totale 1.679
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 457
SG - Singapore 366
CN - Cina 258
BR - Brasile 149
VN - Vietnam 81
HK - Hong Kong 69
KR - Corea 60
NL - Olanda 25
FI - Finlandia 22
IN - India 18
IT - Italia 16
DE - Germania 15
BD - Bangladesh 12
AR - Argentina 11
JP - Giappone 9
GB - Regno Unito 7
IL - Israele 6
IQ - Iraq 6
MA - Marocco 5
UZ - Uzbekistan 5
ZA - Sudafrica 5
ID - Indonesia 4
MX - Messico 4
SE - Svezia 4
TR - Turchia 4
CA - Canada 3
CO - Colombia 3
EC - Ecuador 3
TT - Trinidad e Tobago 3
AL - Albania 2
CL - Cile 2
CZ - Repubblica Ceca 2
HN - Honduras 2
HU - Ungheria 2
KZ - Kazakistan 2
PH - Filippine 2
PK - Pakistan 2
PY - Paraguay 2
UA - Ucraina 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
AZ - Azerbaigian 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
ES - Italia 1
FR - Francia 1
GY - Guiana 1
IR - Iran 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
LB - Libano 1
LT - Lituania 1
LU - Lussemburgo 1
MD - Moldavia 1
PE - Perù 1
PL - Polonia 1
QA - Qatar 1
RO - Romania 1
SA - Arabia Saudita 1
SN - Senegal 1
TN - Tunisia 1
TW - Taiwan 1
UG - Uganda 1
UY - Uruguay 1
Totale 1.679
Salva come PNG Salva come JPEG
Città #
Santa Clara 315
Singapore 248
Hefei 148
Hong Kong 69
Seoul 58
Beijing 57
Ho Chi Minh City 31
Ashburn 18
Helsinki 18
San Jose 17
Hanoi 11
São Paulo 11
Falkenstein 9
Haiphong 9
Minamishinagawa 8
New York 8
Buffalo 7
Curitiba 7
Bengaluru 6
Los Angeles 5
Gothenburg 4
Lang Son 4
Lappeenranta 4
Porto Alegre 4
Tashkent 4
Blumenau 3
Brasília 3
Brooklyn 3
Casablanca 3
Reggio Emilia 3
Thái Nguyên 3
Albignasego 2
Birigui 2
Boston 2
Campinas 2
Carapicuíba 2
Caxias do Sul 2
Chaguanas 2
Da Nang 2
Dallas 2
Denver 2
Dhaka 2
Divinópolis 2
Falconara Marittima 2
Feira de Santana 2
Florianópolis 2
Fortaleza 2
Gravataí 2
Guarapuava 2
Guarulhos 2
Guayaquil 2
Johannesburg 2
Ludhiana 2
Mexico City 2
Montreal 2
Mumbai 2
Osasco 2
Pelotas 2
Poplar 2
Quận Bình Thạnh 2
Quận Phú Nhuận 2
Ribeirão Preto 2
Rio de Janeiro 2
Tirana 2
Tân Tiến 2
Valparaíso de Goiás 2
Volta Redonda 2
Đông Hà 2
Agadir 1
Aktau 1
Alpinópolis 1
Altinordu 1
Alvorada 1
Amman 1
Angeles City 1
Ankara 1
Aparecida 1
Aparecida do Taboado 1
Aracaju 1
Arapiraca 1
Araponga 1
Arari 1
Araxá 1
Aryanah 1
Asheboro 1
Astana 1
Asunción 1
Atibaia 1
Atlanta 1
Baghdad 1
Bagé 1
Baku 1
Balneário Camboriú 1
Basra 1
Bauru 1
Beirut 1
Belvidere 1
Belém de São Francisco 1
Benito Juárez 1
Berazategui 1
Totale 1.204
Salva come PNG Salva come JPEG
Nome #
Towards a logic for performance and mobility. FULL VERSION 77
A partial ordering semantics for CCS 77
Transformation rules 71
Semantica denotazionale ed algebrica dei linguaggi di programmazione 69
Observational equivalences for concurrency models 65
Three logics for branching bisimulation 63
Testing equivalences for processes 59
Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications 51
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy 48
The role of bot squads in the political propaganda on Twitter 43
Online disinformation in the 2020 U.S. election: swing vs. safe states 40
On the operational semantics of distributed concurrent systems 39
Transformation rules 38
Action versus state based logics for transition systems 35
Observational logics and true concurrency 34
Concurrency and compositionality. Extended abstracts of a workshop 32
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 32
Observational logics and true concurrency 32
Formal modeling and quantitative analysis of KLAIM-based mobile systems 31
Back and forth bisimulations 30
Algebraic transformations-verification of basic lotos processes 29
Observational logics and concurrency models 29
Extensional equivalences for transition systems 29
Models and operators for nondeterministic processes 29
A distributed operational semantics for CCS based on condition/event systems 27
Testing equivalences for processes 27
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria 27
SENSORIA - D4.2a - Stochastic logics 26
Extensional equivalences for transition systems 26
A complete set of axioms for a theory of communicating sequential processes 26
Behavioural equivalences for transition systems 25
Verifying hardware components with JACK 25
A tutorial on LOTOS 24
A partial ordering semantics for CCS 23
CCS is an (augmented) contact free C/E system 23
Two complete axiom systems for a theory of communicating sequential processes 23
Testing equivalences and fully abstract models for communicating processes 22
CCS without T'S 22
Partial orderings descriptions and observations of nondeterministic concurrent processes 22
Models and operators for nondeterministic processes 21
On the consistency of 'truly concurrent' operational and denotational semantics 21
Testing equivalences for processors 21
Testing equivalences for event structures 20
Testing equivalences for event structures 20
Expressing the concurrent behaviour of abstract data types with message passing or shared memory : a formal comparison 20
Partial ordering derivations for CCS 20
Transition systems and testing preorders : an alternative to Petri Nets for systems specifications 19
Partial ordering derivations for CCS 19
A distributed operational semantics for CCS based on condition/event systems 19
Two complete axiom systems for a theory of communicating sequential processes 18
A new operational semantics for ccs based on condition/event systems 17
Totale 1.685
Salva come PNG Salva come JPEG
Categoria #
all - tutte 5.379
article - articoli 1.152
book - libri 137
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 501
Totale 7.169
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20241 0 0 0 0 0 0 0 0 0 0 0 1
2024/2025911 3 0 70 29 264 99 11 22 7 33 211 162
2025/2026773 76 126 99 192 213 44 23 0 0 0 0 0
Totale 1.685