DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.241
EU - Europa 2.170
AS - Asia 1.446
SA - Sud America 155
AF - Africa 44
OC - Oceania 42
Continente sconosciuto - Info sul continente non disponibili 28
Totale 10.126
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.160
RU - Federazione Russa 760
SG - Singapore 470
IT - Italia 418
CN - Cina 390
SE - Svezia 266
HK - Hong Kong 193
IE - Irlanda 164
UA - Ucraina 157
DE - Germania 130
KR - Corea 130
BR - Brasile 121
VN - Vietnam 120
GB - Regno Unito 102
FI - Finlandia 74
FR - Francia 62
IN - India 60
AU - Australia 42
CA - Canada 40
TR - Turchia 22
SC - Seychelles 13
AR - Argentina 12
BE - Belgio 12
ZA - Sudafrica 9
PK - Pakistan 8
CH - Svizzera 7
JP - Giappone 7
MX - Messico 7
AZ - Azerbaigian 6
BD - Bangladesh 6
CI - Costa d'Avorio 6
CR - Costa Rica 6
EC - Ecuador 6
PL - Polonia 5
SV - El Salvador 5
UZ - Uzbekistan 5
BO - Bolivia 4
CO - Colombia 4
EU - Europa 4
GT - Guatemala 4
IQ - Iraq 4
JM - Giamaica 4
MA - Marocco 4
VE - Venezuela 4
ET - Etiopia 3
PY - Paraguay 3
SA - Arabia Saudita 3
TT - Trinidad e Tobago 3
AM - Armenia 2
AT - Austria 2
BS - Bahamas 2
CW - ???statistics.table.value.countryCode.CW??? 2
GP - Guadalupe 2
HR - Croazia 2
IL - Israele 2
KE - Kenya 2
KG - Kirghizistan 2
KW - Kuwait 2
LV - Lettonia 2
MY - Malesia 2
NL - Olanda 2
PA - Panama 2
SN - Senegal 2
TH - Thailandia 2
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
CG - Congo 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ES - Italia 1
GA - Gabon 1
GE - Georgia 1
HN - Honduras 1
ID - Indonesia 1
JO - Giordania 1
KZ - Kazakistan 1
LB - Libano 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LT - Lituania 1
MD - Moldavia 1
ML - Mali 1
NG - Nigeria 1
NI - Nicaragua 1
NO - Norvegia 1
OM - Oman 1
PE - Perù 1
PH - Filippine 1
SY - Repubblica araba siriana 1
VG - Isole Vergini Britanniche 1
VI - Stati Uniti Isole Vergini 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 10.105
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.910
Fairfield 521
Ashburn 391
Singapore 304
Jacksonville 254
Chandler 241
Woodbridge 231
Seattle 213
San Jose 207
Houston 194
Cambridge 192
Wilmington 168
Dublin 164
Hong Kong 147
Ann Arbor 130
Seoul 129
Council Bluffs 123
Hefei 115
Buffalo 96
Milan 87
Princeton 82
Beijing 68
The Dalles 65
Los Angeles 64
Lauterbourg 48
New York 47
Rome 46
Melbourne 43
Mumbai 42
Medford 38
Hanoi 35
Lawrence 35
Altamura 32
Ho Chi Minh City 31
Chicago 30
Boston 26
San Diego 26
Dallas 25
Boardman 23
Moscow 20
Kent 19
Izmir 18
Phoenix 18
São Paulo 18
Figino 16
Helsinki 16
Naples 16
Shanghai 16
West Jordan 16
Norwalk 14
Philadelphia 13
Brussels 12
Columbus 12
Staranzano 12
Turin 12
London 11
Florence 10
Frankfurt Am Main 10
Auburn Hills 9
Atlanta 8
Brooklyn 8
Montreal 8
Hillsboro 7
Ottawa 7
San Francisco 7
Tokyo 7
Verona 7
Abidjan 6
Baku 6
Bern 6
Bologna 6
Charlotte 6
Haiphong 6
Johannesburg 6
Miano 6
Pomona 6
Tianjin 6
Frankfurt am Main 5
North Bergen 5
Pisa 5
Rio de Janeiro 5
San Salvador 5
Tashkent 5
Toronto 5
Venice 5
Campinas 4
Cedar Knolls 4
Da Nang 4
Manchester 4
Mexico City 4
Munich 4
Nuremberg 4
Orem 4
Palermo 4
Redondo Beach 4
The Bronx 4
Addis Ababa 3
Andover 3
Biên Hòa 3
Cagliari 3
Totale 7.126
Salva come PNG Salva come JPEG
Nome #
An equational axiomatization of bisimulation over regular expressions 240
Implementing a Distributed Mobile Calculus Using the IMC Framework 233
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 232
Graded Modalities and Resource Bisimulation 230
A finite axiomatization of nondeterministic regular expressions 230
A MODAL LOGIC FOR MOBILE AGENTS 228
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS 226
Concurrency: Theory and Practice. 226
A calculus for attribute-based communication 220
A Modal Logic for KLAIM 219
Extensional Equivalences for Transition Systems 219
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 216
Software Update via Mobile Agent Based Programming 214
CaSPiS: a calculus of sessions, pipelines and services 207
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 205
Model checking mobile stochastic logic 199
Models of Nondeterministic Regular Expressions 197
A Process Algebraic View of Input/Output Automata 196
A Partial Ordering Semantics for CCS 195
Modelling global computations with Klaim 192
Linear-Time and May-Testing in a Probabilistic Reactive Setting 191
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 190
Basic Observables for Probabilistic May Testing 185
Multiple-Labelled Transition Systems for nominal calculi and their logics 184
Three Logics for Branching Bisimulation 183
Universal Axioms for Bisimulations. 183
TREE MORPHISMS AND BISIMULATIONS 181
Testing Equivalences for Processes 180
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 179
On a Uniform Framework for the Definition of Stochastic Process Languages. 177
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures 177
Sessions and Pipelines for Structured Service Programming 176
Rate-Based Transition Systems for Stochastic Process Calculi 175
Implementing Session Centered Calculi 174
Translating Strong Mobility into Weak Mobility 173
Implementing Mobile and Distributed Applications in X-Klaim 169
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 169
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 168
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 168
Towards a Logic for Performance and Mobility. 164
A Symbolic Semantics for the pi-Calculus 164
Testing Equivalence for Mobile Processes 164
MoMo: A Modal Logic for Reasoning About Mobility 163
SCC: a Service Centered Calculus 163
Nondeterministic regular expressions as solutions of equational systems 161
MarCaSPiS: a Markovian Extension of a Calculus for Services 161
Types in concurrency - Editorial of the Special Issue. 157
Locality Based Semantics for Process Algebras 157
Semantic Subtyping for the pi-Calculus 156
Provably Correct Implementations of Services 152
Semantic subtyping for the pi-calculus 143
Tree-functors, determinacy and bisimulations 137
Methods and apparatus for tuple management in data processing system 120
Session Centered Calculi for Service Oriented Computing 120
Ugo Montanari in a Nutshell 114
Action-based security rules for railway control systems 6
6G Networks Physical Layer Security using RGB Visible Light Communications 4
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN 4
Detection of Energy Consumption Cyber Attacks on Smart Devices 4
Mitigating and Analysis of Memory Usage Attack in IoE System 3
Energy Cyber Attacks to Smart Healthcare Devices: A Testbed 3
Totale 10.126
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.264
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 25.264
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022310 0 0 0 6 18 22 22 20 20 14 120 68
2022/2023846 96 138 35 69 78 169 98 52 59 3 35 14
2023/2024232 18 39 55 12 11 6 0 32 0 18 22 19
2024/20253.196 72 236 111 307 1.188 888 10 102 119 41 87 35
2025/20262.205 219 386 217 75 229 85 340 90 119 132 21 292
2026/2027659 66 81 206 306 0 0 0 0 0 0 0 0
Totale 10.126