CNR Institutional Research Information System

DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.088
NA - Nord America 588
SA - Sud America 181
EU - Europa 170
AF - Africa 15
OC - Oceania 2
Totale 2.044
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 571
SG - Singapore 422
CN - Cina 295
BR - Brasile 154
VN - Vietnam 112
HK - Hong Kong 73
KR - Corea 60
FR - Francia 44
JP - Giappone 44
IT - Italia 27
NL - Olanda 25
IN - India 23
FI - Finlandia 22
DE - Germania 18
BD - Bangladesh 13
AR - Argentina 11
GB - Regno Unito 7
IL - Israele 6
IQ - Iraq 6
CA - Canada 5
ES - Italia 5
ID - Indonesia 5
MA - Marocco 5
MX - Messico 5
TR - Turchia 5
UZ - Uzbekistan 5
ZA - Sudafrica 5
CO - Colombia 4
CZ - Repubblica Ceca 4
SE - Svezia 4
EC - Ecuador 3
PH - Filippine 3
TT - Trinidad e Tobago 3
AL - Albania 2
CL - Cile 2
HN - Honduras 2
HU - Ungheria 2
KZ - Kazakistan 2
LT - Lituania 2
PK - Pakistan 2
PY - Paraguay 2
RO - Romania 2
SA - Arabia Saudita 2
TW - Taiwan 2
UA - Ucraina 2
VE - Venezuela 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
AZ - Azerbaigian 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EG - Egitto 1
GY - Guiana 1
IR - Iran 1
JM - Giamaica 1
JO - Giordania 1
KG - Kirghizistan 1
LB - Libano 1
LU - Lussemburgo 1
MD - Moldavia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PL - Polonia 1
QA - Qatar 1
SN - Senegal 1
TN - Tunisia 1
UG - Uganda 1
UY - Uruguay 1
Totale 2.044
Salva come PNG Salva come JPEG
Città #
Santa Clara 315
Singapore 276
Hefei 149
Hong Kong 73
Beijing 58
Seoul 58
San Jose 52
Lauterbourg 39
Ho Chi Minh City 37
Tokyo 35
Ashburn 30
Los Angeles 27
Hanoi 22
Helsinki 18
New York 14
São Paulo 13
Buffalo 11
Haiphong 11
Falkenstein 9
Minamishinagawa 8
Curitiba 7
Bengaluru 6
Council Bluffs 4
Gothenburg 4
Lang Son 4
Lappeenranta 4
Orem 4
Porto Alegre 4
Rio de Janeiro 4
Tashkent 4
Blumenau 3
Brasília 3
Brooklyn 3
Casablanca 3
Chennai 3
Da Nang 3
Frankfurt am Main 3
Mexico City 3
Reggio Emilia 3
Thái Nguyên 3
Albignasego 2
Atlanta 2
Birigui 2
Biên Hòa 2
Boston 2
Campinas 2
Carapicuíba 2
Caxias do Sul 2
Chaguanas 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
Houston 2
Istanbul 2
Johannesburg 2
Ludhiana 2
Montreal 2
Mumbai 2
Naples 2
Nuremberg 2
Osasco 2
Pelotas 2
Phoenix 2
Poplar 2
Prague 2
Qingdao 2
Quận Bình Thạnh 2
Quận Phú Nhuận 2
Ribeirão Preto 2
Seville 2
Tirana 2
Toronto 2
Tân Tiến 2
Valparaíso de Goiás 2
Volta Redonda 2
Xiamen 2
Đông Hà 2
Acalanes Ridge 1
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
Totale 1.436
Salva come PNG Salva come JPEG
Nome #
A partial ordering semantics for CCS 86
Towards a logic for performance and mobility. FULL VERSION 83
Semantica denotazionale ed algebrica dei linguaggi di programmazione 83
Transformation rules 81
Observational equivalences for concurrency models 70
Three logics for branching bisimulation 70
Testing equivalences for processes 63
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy 61
Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications 54
Online disinformation in the 2020 U.S. election: swing vs. safe states 49
On the operational semantics of distributed concurrent systems 48
The role of bot squads in the political propaganda on Twitter 48
Transformation rules 45
Back and forth bisimulations 43
Concurrency and compositionality. Extended abstracts of a workshop 42
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 42
Observational logics and true concurrency 42
Testing equivalences and fully abstract models for communicating processes 41
Algebraic transformations-verification of basic lotos processes 39
Action versus state based logics for transition systems 39
Observational logics and true concurrency 38
Observational logics and concurrency models 37
Formal modeling and quantitative analysis of KLAIM-based mobile systems 37
SENSORIA - D4.2a - Stochastic logics 36
Extensional equivalences for transition systems 35
A complete set of axioms for a theory of communicating sequential processes 35
A tutorial on LOTOS 34
Models and operators for nondeterministic processes 34
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria 34
Behavioural equivalences for transition systems 32
A distributed operational semantics for CCS based on condition/event systems 31
Testing equivalences for processes 31
Partial orderings descriptions and observations of nondeterministic concurrent processes 31
A partial ordering semantics for CCS 30
Extensional equivalences for transition systems 30
Verifying hardware components with JACK 29
Two complete axiom systems for a theory of communicating sequential processes 29
Testing equivalences for processors 29
CCS is an (augmented) contact free C/E system 28
Testing equivalences for event structures 28
CCS without T'S 27
Expressing the concurrent behaviour of abstract data types with message passing or shared memory : a formal comparison 26
Models and operators for nondeterministic processes 26
On the consistency of 'truly concurrent' operational and denotational semantics 26
Testing equivalences for event structures 25
Partial ordering derivations for CCS 25
Transition systems and testing preorders : an alternative to Petri Nets for systems specifications 24
Partial ordering derivations for CCS 24
Two complete axiom systems for a theory of communicating sequential processes 24
A distributed operational semantics for CCS based on condition/event systems 24
A new operational semantics for ccs based on condition/event systems 22
Totale 2.050
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.287
article - articoli 1.336
book - libri 160
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 607
Totale 8.390
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/20261.138 76 126 99 192 213 44 181 53 67 63 24 0
Totale 2.050