DE NICOLA, ROCCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.017
EU - Europa 1.536
AS - Asia 456
SA - Sud America 52
OC - Oceania 42
AF - Africa 24
Continente sconosciuto - Info sul continente non disponibili 5
Totale 7.132
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.006
RU - Federazione Russa 556
SE - Svezia 255
SG - Singapore 178
IE - Irlanda 164
HK - Hong Kong 158
UA - Ucraina 156
DE - Germania 120
IT - Italia 96
GB - Regno Unito 82
FI - Finlandia 68
BR - Brasile 51
IN - India 48
AU - Australia 42
CN - Cina 37
TR - Turchia 20
FR - Francia 13
BE - Belgio 12
SC - Seychelles 12
CA - Canada 7
CH - Svizzera 7
CI - Costa d'Avorio 6
EU - Europa 4
AZ - Azerbaigian 3
KE - Kenya 2
KG - Kirghizistan 2
LV - Lettonia 2
MA - Marocco 2
MX - Messico 2
PA - Panama 2
PK - Pakistan 2
AE - Emirati Arabi Uniti 1
AM - Armenia 1
AT - Austria 1
BG - Bulgaria 1
BO - Bolivia 1
HR - Croazia 1
IL - Israele 1
KR - Corea 1
KZ - Kazakistan 1
LK - Sri Lanka 1
NL - Olanda 1
PL - Polonia 1
SA - Arabia Saudita 1
SN - Senegal 1
TH - Thailandia 1
XK - ???statistics.table.value.countryCode.XK??? 1
ZA - Sudafrica 1
Totale 7.132
Salva come PNG Salva come JPEG
Città #
Santa Clara 1.894
Fairfield 521
Jacksonville 251
Chandler 241
Woodbridge 231
Ashburn 207
Seattle 206
Cambridge 192
Houston 189
Wilmington 167
Dublin 164
Ann Arbor 130
Hong Kong 116
Singapore 84
Princeton 57
Buffalo 51
Melbourne 42
Mumbai 41
Medford 38
Lawrence 35
Altamura 32
San Diego 25
Beijing 24
Boston 24
Boardman 23
Izmir 18
West Jordan 16
Norwalk 14
Kent 13
Brussels 12
Helsinki 12
Los Angeles 12
Shanghai 12
Frankfurt Am Main 10
Moscow 10
Auburn Hills 9
Rome 9
Philadelphia 8
Hillsboro 7
Milan 7
Abidjan 6
Bern 6
Florence 6
São Paulo 6
London 5
Ottawa 5
The Dalles 5
Cedar Knolls 4
Council Bluffs 4
Nuremberg 4
Andover 3
Baku 3
Dearborn 3
Falls Church 3
Pisa 3
Verona 3
Yubileyny 3
Bishkek 2
Grevenbroich 2
New York 2
Pelotas 2
Riga 2
Saint Petersburg 2
Toronto 2
Acton 1
Almaty 1
Aparecida de Goiânia 1
Araçoiaba da Serra 1
Arnsberg 1
Babintsy 1
Bauru 1
Belo Horizonte 1
Bengaluru 1
Betim 1
Bornova 1
Brooklyn 1
Calusco D'adda 1
Campinas 1
Campo Verde 1
Campos do Jordão 1
Caraguatatuba 1
Carapicuíba 1
Clermont-ferrand 1
Cláudio 1
Colombo 1
Curitiba 1
Currais Novos 1
Dakar 1
Delhi 1
Diadema 1
Dianópolis 1
Feira de Santana 1
Gatchina 1
Goianira 1
Gujranwala 1
Ibirité 1
Islamabad 1
Istanbul 1
Jaú 1
Jeddah 1
Totale 5.276
Salva come PNG Salva come JPEG
Nome #
A MODAL LOGIC FOR MOBILE AGENTS 176
Graded Modalities and Resource Bisimulation 170
An equational axiomatization of bisimulation over regular expressions 168
A finite axiomatization of nondeterministic regular expressions 168
COORDINATION AND ACCESS CONTROL OF MOBILE AGENTS 165
A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces 157
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 156
A Distributed Operational Semantics for CCS Based on Condition/Event Systems 153
A Process Algebraic View of Input/Output Automata 151
Implementing a Distributed Mobile Calculus Using the IMC Framework 149
Concurrency: Theory and Practice. 147
Software Update via Mobile Agent Based Programming 146
A calculus for attribute-based communication 146
CaSPiS: a calculus of sessions, pipelines and services 145
Extensional Equivalences for Transition Systems 144
TREE MORPHISMS AND BISIMULATIONS 140
Testing Equivalences for Processes 138
A Partial Ordering Semantics for CCS 137
An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems 137
Model checking mobile stochastic logic 133
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 133
Linear-Time and May-Testing in a Probabilistic Reactive Setting 133
A Modal Logic for KLAIM 132
Models of Nondeterministic Regular Expressions 131
Translating Strong Mobility into Weak Mobility 129
Implementing Session Centered Calculi 129
Basic Observables for Probabilistic May Testing 128
Towards a Logic for Performance and Mobility. 127
Multiple-Labelled Transition Systems for nominal calculi and their logics 126
Universal Axioms for Bisimulations. 125
Semantic Subtyping for the pi-Calculus 124
Rate-Based Transition Systems for Stochastic Process Calculi 124
Three Logics for Branching Bisimulation 123
Nondeterministic regular expressions as solutions of equational systems 123
Testing Equivalence for Mobile Processes 123
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 122
On a Uniform Framework for the Definition of Stochastic Process Languages. 122
Sessions and Pipelines for Structured Service Programming 122
Provably Correct Implementations of Services 121
Algebraic characterizations of trace and decorated trace equivalences over tree-like structures 121
ON FOUR PARTIAL ORDERING SEMANTICS FOR A PROCESS CALCULUS 121
MoMo: A Modal Logic for Reasoning About Mobility 120
MarCaSPiS: a Markovian Extension of a Calculus for Services 120
Locality Based Semantics for Process Algebras 120
SCC: a Service Centered Calculus 120
Modelling global computations with Klaim 116
Two Complete Axiom Systems for a Theory of Communicating Sequential Processes 114
Semantic subtyping for the pi-calculus 109
A Symbolic Semantics for the pi-Calculus 107
Types in concurrency - Editorial of the Special Issue. 103
Tree-functors, determinacy and bisimulations 99
Implementing Mobile and Distributed Applications in X-Klaim 96
Session Centered Calculi for Service Oriented Computing 95
Methods and apparatus for tuple management in data processing system 87
Ugo Montanari in a Nutshell 76
Totale 7.147
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.437
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 17.437
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202095 0 0 0 0 0 0 0 0 0 0 70 25
2020/2021641 49 42 72 44 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.081 72 236 111 307 1.188 888 10 102 119 41 7 0
Totale 7.147