DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.237
EU - Europa 1.773
AS - Asia 1.101
SA - Sud America 109
OC - Oceania 42
AF - Africa 33
Continente sconosciuto - Info sul continente non disponibili 5
Totale 8.300
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.214
RU - Federazione Russa 759
SG - Singapore 361
CN - Cina 305
SE - Svezia 257
HK - Hong Kong 186
IE - Irlanda 164
UA - Ucraina 156
KR - Corea 129
DE - Germania 127
IT - Italia 102
BR - Brasile 96
GB - Regno Unito 92
FI - Finlandia 70
IN - India 55
AU - Australia 42
TR - Turchia 21
VN - Vietnam 15
CA - Canada 13
FR - Francia 13
BE - Belgio 12
SC - Seychelles 12
AR - Argentina 7
CH - Svizzera 7
CI - Costa d'Avorio 6
ZA - Sudafrica 6
MX - Messico 5
PL - Polonia 5
AZ - Azerbaigian 4
EU - Europa 4
JP - Giappone 4
MA - Marocco 3
PK - Pakistan 3
BO - Bolivia 2
EC - Ecuador 2
HR - Croazia 2
IQ - Iraq 2
JM - Giamaica 2
KE - Kenya 2
KG - Kirghizistan 2
KW - Kuwait 2
LV - Lettonia 2
PA - Panama 2
SA - Arabia Saudita 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
AT - Austria 1
BD - Bangladesh 1
BG - Bulgaria 1
ES - Italia 1
ET - Etiopia 1
GA - Gabon 1
IL - Israele 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LT - Lituania 1
ML - Mali 1
NI - Nicaragua 1
NL - Olanda 1
OM - Oman 1
PH - Filippine 1
PY - Paraguay 1
SN - Senegal 1
TH - Thailandia 1
UZ - Uzbekistan 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 8.300
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.898
Fairfield 521
Jacksonville 251
Ashburn 243
Chandler 241
Woodbridge 231
Seattle 206
Singapore 199
Cambridge 192
Houston 189
Wilmington 168
Dublin 164
Hong Kong 144
Ann Arbor 130
Seoul 129
Hefei 115
Buffalo 95
Beijing 68
Princeton 57
Los Angeles 42
Melbourne 42
Mumbai 41
Medford 38
Lawrence 35
Altamura 32
Boston 26
San Diego 25
Boardman 23
Moscow 20
Kent 19
Izmir 18
Dallas 17
West Jordan 16
São Paulo 15
Norwalk 14
Shanghai 13
Brussels 12
Helsinki 12
Frankfurt Am Main 10
Auburn Hills 9
Milan 9
Rome 9
Council Bluffs 8
London 8
New York 8
Philadelphia 8
Chicago 7
Hillsboro 7
Abidjan 6
Bern 6
Florence 6
Ottawa 6
Brooklyn 5
Ho Chi Minh City 5
Pisa 5
The Dalles 5
Baku 4
Cedar Knolls 4
Frankfurt am Main 4
Manchester 4
Munich 4
Nuremberg 4
Redondo Beach 4
Tianjin 4
Tokyo 4
Toronto 4
Andover 3
Campinas 3
Cape Town 3
Charlotte 3
Dearborn 3
Diadema 3
Falls Church 3
Hanoi 3
Johannesburg 3
Mexico City 3
Montreal 3
San Francisco 3
Turku 3
Verona 3
Warsaw 3
Yubileyny 3
Belo Horizonte 2
Betim 2
Bishkek 2
Bologna 2
Clifton 2
Curitiba 2
Grevenbroich 2
Guarulhos 2
Kuwait City 2
Pelotas 2
Riga 2
Rio de Janeiro 2
Saint Petersburg 2
Stockholm 2
Washington 2
Zagreb 2
Acton 1
Addis Ababa 1
Totale 5.950
Salva come PNG Salva come JPEG
Nome #
An equational axiomatization of bisimulation over regular expressions 212
Graded Modalities and Resource Bisimulation 204
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS 201
A MODAL LOGIC FOR MOBILE AGENTS 198
A finite axiomatization of nondeterministic regular expressions 188
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 187
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 184
Concurrency: Theory and Practice. 183
A calculus for attribute-based communication 183
Implementing a Distributed Mobile Calculus Using the IMC Framework 180
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 180
Extensional Equivalences for Transition Systems 176
A Process Algebraic View of Input/Output Automata 169
A Modal Logic for KLAIM 168
Models of Nondeterministic Regular Expressions 163
A Partial Ordering Semantics for CCS 163
Software Update via Mobile Agent Based Programming 162
CaSPiS: a calculus of sessions, pipelines and services 161
Model checking mobile stochastic logic 158
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 158
Translating Strong Mobility into Weak Mobility 156
TREE MORPHISMS AND BISIMULATIONS 155
Testing Equivalences for Processes 154
Linear-Time and May-Testing in a Probabilistic Reactive Setting 151
Three Logics for Branching Bisimulation 150
Implementing Session Centered Calculi 148
Basic Observables for Probabilistic May Testing 148
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 146
Towards a Logic for Performance and Mobility. 145
Sessions and Pipelines for Structured Service Programming 143
Universal Axioms for Bisimulations. 142
Rate-Based Transition Systems for Stochastic Process Calculi 142
Multiple-Labelled Transition Systems for nominal calculi and their logics 142
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 141
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 140
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures 140
Nondeterministic regular expressions as solutions of equational systems 139
Semantic Subtyping for the pi-Calculus 138
MoMo: A Modal Logic for Reasoning About Mobility 136
MarCaSPiS: a Markovian Extension of a Calculus for Services 136
On a Uniform Framework for the Definition of Stochastic Process Languages. 136
Testing Equivalence for Mobile Processes 135
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 135
Types in concurrency - Editorial of the Special Issue. 134
Provably Correct Implementations of Services 134
SCC: a Service Centered Calculus 134
Modelling global computations with Klaim 132
A Symbolic Semantics for the pi-Calculus 130
Locality Based Semantics for Process Algebras 129
Implementing Mobile and Distributed Applications in X-Klaim 126
Semantic subtyping for the pi-calculus 119
Tree-functors, determinacy and bisimulations 109
Session Centered Calculi for Service Oriented Computing 102
Methods and apparatus for tuple management in data processing system 101
Ugo Montanari in a Nutshell 89
Totale 8.315
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.175
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 20.175
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021434 0 0 0 0 15 97 23 65 55 73 45 61
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/20261.053 219 386 217 75 156 0 0 0 0 0 0 0
Totale 8.315