DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.722
EU - Europa 2.119
AS - Asia 1.441
SA - Sud America 146
AF - Africa 43
OC - Oceania 42
Continente sconosciuto - Info sul continente non disponibili 20
Totale 9.533
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.664
RU - Federazione Russa 760
SG - Singapore 470
CN - Cina 390
IT - Italia 382
SE - Svezia 258
HK - Hong Kong 193
IE - Irlanda 164
UA - Ucraina 157
KR - Corea 130
DE - Germania 129
VN - Vietnam 119
BR - Brasile 118
GB - Regno Unito 98
FI - Finlandia 74
FR - Francia 61
IN - India 60
AU - Australia 42
CA - Canada 36
TR - Turchia 22
BE - Belgio 12
SC - Seychelles 12
AR - Argentina 10
ZA - Sudafrica 9
CH - Svizzera 7
JP - Giappone 7
AZ - Azerbaigian 6
BD - Bangladesh 6
CI - Costa d'Avorio 6
MX - Messico 6
PK - Pakistan 6
EC - Ecuador 5
PL - Polonia 5
UZ - Uzbekistan 5
BO - Bolivia 4
EU - Europa 4
IQ - Iraq 4
MA - Marocco 4
ET - Etiopia 3
JM - Giamaica 3
PY - Paraguay 3
SA - Arabia Saudita 3
VE - Venezuela 3
AM - Armenia 2
AT - Austria 2
CO - Colombia 2
GT - Guatemala 2
HR - Croazia 2
IL - Israele 2
KE - Kenya 2
KG - Kirghizistan 2
KW - Kuwait 2
LV - Lettonia 2
MY - Malesia 2
PA - Panama 2
SN - Senegal 2
TH - Thailandia 2
AE - Emirati Arabi Uniti 1
BG - Bulgaria 1
CG - Congo 1
CR - Costa Rica 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ES - Italia 1
GA - Gabon 1
GE - Georgia 1
GP - Guadalupe 1
HN - Honduras 1
JO - Giordania 1
KZ - Kazakistan 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LT - Lituania 1
MD - Moldavia 1
ML - Mali 1
NG - Nigeria 1
NI - Nicaragua 1
NL - Olanda 1
NO - Norvegia 1
OM - Oman 1
PE - Perù 1
PH - Filippine 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TT - Trinidad e Tobago 1
VG - Isole Vergini Britanniche 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 9.518
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.907
Fairfield 521
Ashburn 357
Singapore 304
Jacksonville 252
Chandler 241
Woodbridge 231
Seattle 206
Cambridge 192
Houston 192
San Jose 169
Wilmington 168
Dublin 164
Hong Kong 147
Ann Arbor 130
Seoul 129
Hefei 115
Buffalo 96
Milan 85
Beijing 68
The Dalles 65
Princeton 57
Lauterbourg 48
Los Angeles 45
Rome 45
Melbourne 42
Mumbai 42
Medford 38
Hanoi 35
Lawrence 35
Altamura 32
Ho Chi Minh City 31
Boston 26
San Diego 25
Boardman 23
Dallas 22
Moscow 20
Kent 19
Izmir 18
São Paulo 17
Figino 16
Helsinki 16
Shanghai 16
West Jordan 16
Naples 14
Norwalk 14
New York 13
Brussels 12
Council Bluffs 12
London 11
Frankfurt Am Main 10
Philadelphia 10
Auburn Hills 9
Chicago 9
Turin 9
Florence 8
Hillsboro 7
Montreal 7
Ottawa 7
Tokyo 7
Verona 7
Abidjan 6
Baku 6
Bern 6
Haiphong 6
Johannesburg 6
San Francisco 6
Tianjin 6
Bologna 5
Brooklyn 5
Frankfurt am Main 5
Pisa 5
Rio de Janeiro 5
Tashkent 5
Toronto 5
Venice 5
Atlanta 4
Campinas 4
Cedar Knolls 4
Charlotte 4
Da Nang 4
Manchester 4
Mexico City 4
Miano 4
Munich 4
Nuremberg 4
Orem 4
Palermo 4
Redondo Beach 4
Addis Ababa 3
Andover 3
Biên Hòa 3
Cape Town 3
Catania 3
Curitiba 3
Dearborn 3
Diadema 3
Falls Church 3
Genoa 3
Lahore 3
Totale 6.756
Salva come PNG Salva come JPEG
Nome #
An equational axiomatization of bisimulation over regular expressions 232
Graded Modalities and Resource Bisimulation 223
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS 219
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 219
A finite axiomatization of nondeterministic regular expressions 219
A MODAL LOGIC FOR MOBILE AGENTS 219
Implementing a Distributed Mobile Calculus Using the IMC Framework 213
Concurrency: Theory and Practice. 210
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 208
A calculus for attribute-based communication 206
A Modal Logic for KLAIM 205
Software Update via Mobile Agent Based Programming 201
Extensional Equivalences for Transition Systems 200
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 197
CaSPiS: a calculus of sessions, pipelines and services 197
Models of Nondeterministic Regular Expressions 188
A Process Algebraic View of Input/Output Automata 184
A Partial Ordering Semantics for CCS 183
Model checking mobile stochastic logic 181
Linear-Time and May-Testing in a Probabilistic Reactive Setting 181
Basic Observables for Probabilistic May Testing 177
Modelling global computations with Klaim 177
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 176
TREE MORPHISMS AND BISIMULATIONS 175
Multiple-Labelled Transition Systems for nominal calculi and their logics 174
Universal Axioms for Bisimulations. 172
Three Logics for Branching Bisimulation 171
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 170
Testing Equivalences for Processes 167
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures 167
Translating Strong Mobility into Weak Mobility 165
On a Uniform Framework for the Definition of Stochastic Process Languages. 165
Sessions and Pipelines for Structured Service Programming 165
Rate-Based Transition Systems for Stochastic Process Calculi 164
Implementing Session Centered Calculi 163
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 161
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 160
Implementing Mobile and Distributed Applications in X-Klaim 159
Towards a Logic for Performance and Mobility. 157
Testing Equivalence for Mobile Processes 157
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 156
MarCaSPiS: a Markovian Extension of a Calculus for Services 155
MoMo: A Modal Logic for Reasoning About Mobility 154
SCC: a Service Centered Calculus 154
A Symbolic Semantics for the pi-Calculus 152
Nondeterministic regular expressions as solutions of equational systems 151
Types in concurrency - Editorial of the Special Issue. 149
Semantic Subtyping for the pi-Calculus 148
Provably Correct Implementations of Services 146
Locality Based Semantics for Process Algebras 145
Semantic subtyping for the pi-calculus 138
Tree-functors, determinacy and bisimulations 129
Methods and apparatus for tuple management in data processing system 111
Session Centered Calculi for Service Oriented Computing 111
Ugo Montanari in a Nutshell 107
Totale 9.533
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.679
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 23.679
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022393 22 35 26 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/202766 66 0 0 0 0 0 0 0 0 0 0 0
Totale 9.533