LORETI, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.014
EU - Europa 2.673
AS - Asia 2.098
SA - Sud America 320
AF - Africa 82
OC - Oceania 60
Continente sconosciuto - Info sul continente non disponibili 4
Totale 14.251
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.965
RU - Federazione Russa 1.099
SG - Singapore 582
CN - Cina 490
IT - Italia 370
HK - Hong Kong 322
IE - Irlanda 299
SE - Svezia 296
VN - Vietnam 261
BR - Brasile 258
KR - Corea 193
DE - Germania 116
FI - Finlandia 98
UA - Ucraina 95
FR - Francia 94
GB - Regno Unito 93
IN - India 80
AU - Australia 60
TR - Turchia 41
CH - Svizzera 33
CI - Costa d'Avorio 28
CA - Canada 24
AR - Argentina 23
JP - Giappone 23
NL - Olanda 19
ZA - Sudafrica 18
BD - Bangladesh 16
ES - Italia 16
ID - Indonesia 13
BE - Belgio 11
EC - Ecuador 11
MX - Messico 11
PK - Pakistan 10
IQ - Iraq 8
PL - Polonia 8
VE - Venezuela 8
MA - Marocco 7
SA - Arabia Saudita 7
AT - Austria 6
AZ - Azerbaigian 6
CO - Colombia 6
SC - Seychelles 6
UZ - Uzbekistan 6
DZ - Algeria 5
PE - Perù 5
PH - Filippine 5
PY - Paraguay 5
IL - Israele 4
IR - Iran 4
JO - Giordania 4
MY - Malesia 4
NG - Nigeria 4
OM - Oman 4
DO - Repubblica Dominicana 3
EG - Egitto 3
ET - Etiopia 3
PA - Panama 3
RS - Serbia 3
AL - Albania 2
BG - Bulgaria 2
BO - Bolivia 2
CZ - Repubblica Ceca 2
EU - Europa 2
GE - Georgia 2
JM - Giamaica 2
KE - Kenya 2
KG - Kirghizistan 2
LV - Lettonia 2
SN - Senegal 2
AM - Armenia 1
CG - Congo 1
CL - Cile 1
CM - Camerun 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
GA - Gabon 1
GI - Gibilterra 1
GP - Guadalupe 1
GR - Grecia 1
GY - Guiana 1
HR - Croazia 1
HU - Ungheria 1
IM - Isola di Man 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LK - Sri Lanka 1
MU - Mauritius 1
NI - Nicaragua 1
NO - Norvegia 1
NP - Nepal 1
PT - Portogallo 1
QA - Qatar 1
RO - Romania 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
SY - Repubblica araba siriana 1
TJ - Tagikistan 1
TT - Trinidad e Tobago 1
Totale 14.248
Salva come PNG Salva come JPEG
Città #
Santa Clara 2.913
Fairfield 957
Ashburn 729
Woodbridge 417
Seattle 412
Singapore 397
Cambridge 388
Houston 348
Chandler 309
Dublin 298
Wilmington 269
Hong Kong 255
Seoul 190
Ann Arbor 187
Beijing 170
Jacksonville 165
San Jose 161
Lawrence 147
Altamura 145
Princeton 115
Buffalo 102
The Dalles 88
Lauterbourg 74
Hanoi 73
Ho Chi Minh City 71
Los Angeles 67
Hefei 66
Melbourne 60
Florence 58
Medford 57
Boardman 47
Boston 46
Mumbai 44
San Diego 43
Izmir 30
Abidjan 28
Clifton 28
Bern 27
Moscow 27
São Paulo 27
Shanghai 23
Tokyo 19
Norwalk 18
Dallas 17
Da Nang 16
Rio de Janeiro 16
Council Bluffs 15
Munich 15
Barcelona 14
New York 14
Venice 14
London 12
Redondo Beach 12
Rome 12
Toronto 12
Brussels 11
Dearborn 11
Kent 11
Chicago 10
Haiphong 10
Andover 9
Auburn Hills 9
Frankfurt am Main 9
Hillsboro 9
Johannesburg 9
Orem 9
Southend 9
Helsinki 8
Tianjin 8
Can Tho 7
Falls Church 7
Hải Dương 7
Verona 7
Baku 6
Biên Hòa 6
Brooklyn 6
Grevenbroich 6
Milan 6
Montreal 6
Pavia 6
Salerno 6
San Francisco 6
Tashkent 6
Warsaw 6
Belo Horizonte 5
Brasília 5
Casablanca 5
Dhaka 5
Elk Grove Village 5
Frankfurt Am Main 5
Guangzhou 5
Nuremberg 5
Quito 5
Shenzhen 5
Stockholm 5
Abuja 4
Amman 4
Amsterdam 4
Baghdad 4
Cape Town 4
Totale 10.565
Salva come PNG Salva come JPEG
Nome #
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 258
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 217
A MODAL LOGIC FOR MOBILE AGENTS 215
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 209
Implementing a Distributed Mobile Calculus Using the IMC Framework 204
A Modal Logic for KLAIM 203
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 199
A calculus for attribute-based communication 198
On-the-fly fluid model checking via discrete time population models 197
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 196
CARMA: Collective Adaptive Resource-sharing Markovian Agents 194
Spatial logic and spatial model checking for closure spaces 194
AGILE: Software Architecture for Mobility 192
CaSPiS: a calculus of sessions, pipelines and services 192
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 189
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 189
Assume-Guarantee Verification of Concurrent Systems 189
The SCEL Language: Design, Implementation, Verification 188
Analysing Robot Movement Using the Sensoria Methods 188
The Klaim Project: Theory and Practice 186
Software Update via Mobile Agent Based Programming 186
Quantitative Analysis of Services 184
Modeling Fuzzy Behaviours in Concurrent Systems 180
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 179
An experimental spatio-temporal model checker 179
A Formal Approach to Autonomic Systems Programming: The SCEL Language 178
An Infrastructure Language for Open Nets 177
A Language-Based Approach to Autonomic Computing 175
Model checking mobile stochastic logic 173
Modelling Node Connectivity in Dynamically Evolving Networks 170
On Multiple Inheritance in Java. 167
A process Algebra Approach to Fuzzy Reasoning 165
Model checking spatial logics for closure spaces 165
Tools for Ensemble Design and Runtime 164
A uniform definition of stochastic process calculi 164
Sessions and Pipelines for Structured Service Programming 163
Multiple-Labelled Transition Systems for nominal calculi and their logics 163
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 162
Editorial for the Special Issue on Open Problems in Concurrency Theory 162
Specification and Analysis of Open-Ended Systems with CARMA 162
On a Uniform Framework for the Definition of Stochastic Process Languages. 161
Implementing Session Centered Calculi 159
Modelling global computations with Klaim 159
Rate-Based Transition Systems for Stochastic Process Calculi 158
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 158
Design of a Password-Based EAP Method 157
Specifying and Verifying Properties of Space 156
Towards a Formal Verification Methodology for Collective Robotic Systems 155
Formalizing properties of mobile agent systems 155
FlyFast: A mean field model checker 155
Implementing Mobile and Distributed Applications in X-Klaim 154
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 153
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 153
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 152
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 152
Assessing CS1 Java Skills: A Three-Year Experience 150
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 149
MarCaSPiS: a Markovian Extension of a Calculus for Services 148
On StocS: A Stochastic Extension of SCEL 148
MoMo: A Modal Logic for Reasoning About Mobility 147
SCC: a Service Centered Calculus 147
Context Aware Specification and Verification of Distributed Systems 146
Modeling Adaptation with Klaim 146
Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial 146
Property-Preserving Refinement of Concurrent Systems 144
Provably Correct Implementations of Services 143
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 143
Monitoring and visualizing adaptation of autonomic systems at runtime 143
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 143
Modeling adaptation with a tuple-based coordination language 142
Modelling and analysis of collective adaptive systems with CARMA and its tools 142
Programming and Verifying Component Ensembles 141
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 140
On the Power of Attribute-Based Communication 139
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 138
On-the-fly Probabilistic Model Checking 136
On-the-fly fast mean-field model-checking 136
Group-by-group probabilistic bisimilarities and their logical characterizations 136
On Programming and Policing Autonomic Computing Systems 135
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 135
Programming of CAS systems by relying on attribute-based communication 134
Hyperformulae, Paralle Deductions and Intersection Types 131
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 131
Stochastically timed predicate-based communication primitives for autonomic computing 128
Relating strong behavioral equivalences for processes with nondeterminism and probabilities 127
Simulation and analysis of distributed systems in Klaim 121
Structured Nets in Klaim 117
Klaim in the Making 116
ECAS 2018 Foreword: 3rd Workshop on Engineering Collective Adaptive Systems 23
Totale 14.343
Salva come PNG Salva come JPEG
Categoria #
all - tutte 37.773
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 37.773
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021133 0 0 0 0 0 0 0 0 0 0 71 62
2021/2022688 37 64 77 22 35 14 37 53 32 17 139 161
2022/20231.448 176 368 40 99 113 240 170 71 91 6 34 40
2023/2024347 35 63 86 25 18 26 13 33 4 9 15 20
2024/20254.860 107 352 192 450 1.834 1.370 52 153 146 46 99 59
2025/20262.955 284 517 276 228 368 152 433 215 251 186 45 0
Totale 14.343