CNR Institutional Research Information System

DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
AS - Asia 1.095
NA - Nord America 657
SA - Sud America 185
EU - Europa 182
AF - Africa 15
Continente sconosciuto - Info sul continente non disponibili 6
OC - Oceania 2
Totale 2.142
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 636
SG - Singapore 422
CN - Cina 295
BR - Brasile 158
VN - Vietnam 114
HK - Hong Kong 73
KR - Corea 60
FR - Francia 47
JP - Giappone 44
IT - Italia 34
NL - Olanda 25
IN - India 23
FI - Finlandia 22
DE - Germania 18
BD - Bangladesh 17
AR - Argentina 11
GB - Regno Unito 9
CA - Canada 7
IL - Israele 6
IQ - Iraq 6
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
PH - Filippine 4
SE - Svezia 4
EC - Ecuador 3
TT - Trinidad e Tobago 3
AL - Albania 2
CL - Cile 2
HN - Honduras 2
HU - Ungheria 2
JM - Giamaica 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
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
PR - Porto Rico 1
QA - Qatar 1
SN - Senegal 1
TN - Tunisia 1
UG - Uganda 1
UY - Uruguay 1
Totale 2.136
Salva come PNG Salva come JPEG
Città #
Santa Clara 316
Singapore 276
Hefei 149
Hong Kong 73
Beijing 58
Seoul 58
San Jose 52
Ashburn 47
Ho Chi Minh City 39
Lauterbourg 39
Tokyo 35
Los Angeles 27
Hanoi 22
Helsinki 18
New York 15
São Paulo 13
Buffalo 12
Haiphong 11
Falkenstein 9
Minamishinagawa 8
Curitiba 7
Bengaluru 6
Boardman 5
Porto Alegre 5
Blumenau 4
Council Bluffs 4
Gothenburg 4
Lang Son 4
Lappeenranta 4
Orem 4
Rio de Janeiro 4
Tashkent 4
Brasília 3
Brooklyn 3
Casablanca 3
Chennai 3
Columbus 3
Da Nang 3
Dallas 3
Frankfurt am Main 3
Mexico City 3
Miami 3
Reggio Emilia 3
Rome 3
Thái Nguyên 3
Abingdon 2
Albignasego 2
Atlanta 2
Birigui 2
Biên Hòa 2
Boston 2
Bristol 2
Campinas 2
Carapicuíba 2
Caxias do Sul 2
Chaguanas 2
Chesapeake 2
Denver 2
Dhaka 2
Divinópolis 2
Falconara Marittima 2
Feira de Santana 2
Florianópolis 2
Forest Park 2
Fortaleza 2
Gravataí 2
Guarapuava 2
Guarulhos 2
Guayaquil 2
Houston 2
Istanbul 2
Johannesburg 2
Ludhiana 2
Manaus 2
Massena 2
Milledgeville 2
Milwaukee 2
Montreal 2
Mumbai 2
Naples 2
Nuremberg 2
Osasco 2
Paris 2
Pelotas 2
Phoenix 2
Poplar 2
Prague 2
Qingdao 2
Queens 2
Quận Bình Thạnh 2
Quận Phú Nhuận 2
Ramona 2
Ribeirão Preto 2
Salem 2
Seville 2
Tirana 2
Toronto 2
Turin 2
Tân Tiến 2
Union 2
Totale 1.481
Salva come PNG Salva come JPEG
Nome #
A partial ordering semantics for CCS 88
Transformation rules 86
Towards a logic for performance and mobility. FULL VERSION 86
Semantica denotazionale ed algebrica dei linguaggi di programmazione 84
Testing equivalences for processes 74
Observational equivalences for concurrency models 71
Three logics for branching bisimulation 70
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy 62
Using the axiomatic presentation of behavioural equivalences for manipulating CCS specifications 55
Online disinformation in the 2020 U.S. election: swing vs. safe states 52
Back and forth bisimulations 51
On the operational semantics of distributed concurrent systems 51
The role of bot squads in the political propaganda on Twitter 51
Transformation rules 48
Observational logics and true concurrency 47
Concurrency and compositionality. Extended abstracts of a workshop 42
Observational logics and concurrency models 42
Information Spreading and the Role of Automated Accounts on Twitter: Two Case Studies 42
Testing equivalences and fully abstract models for communicating processes 41
Action versus state based logics for transition systems 41
Algebraic transformations-verification of basic lotos processes 40
Formal modeling and quantitative analysis of KLAIM-based mobile systems 40
Observational logics and true concurrency 38
Extensional equivalences for transition systems 38
Costruzione di strumenti per sistemi concorrenti e distribuiti con la teoria 38
SENSORIA - D4.2a - Stochastic logics 36
Behavioural 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
A distributed operational semantics for CCS based on condition/event systems 33
Verifying hardware components with JACK 32
Partial orderings descriptions and observations of nondeterministic concurrent processes 32
Two complete axiom systems for a theory of communicating sequential processes 32
Testing equivalences for processes 31
A partial ordering semantics for CCS 30
Extensional equivalences for transition systems 30
Testing equivalences for event structures 29
Testing equivalences for processors 29
CCS is an (augmented) contact free C/E system 28
Testing equivalences for event structures 27
CCS without T'S 27
On the consistency of 'truly concurrent' operational and denotational semantics 27
Two complete axiom systems for a theory of communicating sequential processes 26
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
A distributed operational semantics for CCS based on condition/event systems 26
Partial ordering derivations for CCS 26
Transition systems and testing preorders : an alternative to Petri Nets for systems specifications 25
A new operational semantics for ccs based on condition/event systems 24
Partial ordering derivations for CCS 24
Totale 2.142
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.032
article - articoli 1.521
book - libri 169
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 668
Totale 9.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.165 76 126 99 192 213 44 181 53 67 63 27 24
2026/202765 65 0 0 0 0 0 0 0 0 0 0 0
Totale 2.142