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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021419 0 0 0 0 0 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.146 219 386 217 75 229 20 0 0 0 0 0 0
Totale 8.408