LORETI, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.148
EU - Europa 3.168
AS - Asia 2.110
SA - Sud America 324
AF - Africa 82
OC - Oceania 60
Continente sconosciuto - Info sul continente non disponibili 5
Totale 14.897
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.082
RU - Federazione Russa 1.099
IT - Italia 864
SG - Singapore 583
CN - Cina 490
HK - Hong Kong 322
IE - Irlanda 299
SE - Svezia 296
BR - Brasile 262
VN - Vietnam 261
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
CA - Canada 33
CH - Svizzera 33
CI - Costa d'Avorio 28
BD - Bangladesh 26
AR - Argentina 23
JP - Giappone 23
NL - Olanda 19
ZA - Sudafrica 18
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
JM - Giamaica 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
GP - Guadalupe 2
KE - Kenya 2
KG - Kirghizistan 2
LV - Lettonia 2
NI - Nicaragua 2
PR - Porto Rico 2
SN - Senegal 2
TT - Trinidad e Tobago 2
AM - Armenia 1
CG - Congo 1
CL - Cile 1
CM - Camerun 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
GA - Gabon 1
GI - Gibilterra 1
GR - Grecia 1
GT - Guatemala 1
GY - Guiana 1
HN - Honduras 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
MD - Moldavia 1
MU - Mauritius 1
NO - Norvegia 1
NP - Nepal 1
PT - Portogallo 1
QA - Qatar 1
Totale 14.888
Salva come PNG Salva come JPEG
Città #
Santa Clara 2.917
Fairfield 957
Ashburn 781
Woodbridge 418
Seattle 412
Singapore 398
Cambridge 388
Houston 349
Chandler 309
Dublin 298
Wilmington 269
Hong Kong 255
Seoul 190
Ann Arbor 187
Beijing 170
Jacksonville 166
Milan 164
San Jose 162
Lawrence 147
Altamura 146
Princeton 115
Buffalo 103
The Dalles 88
Rome 83
Los Angeles 77
Lauterbourg 74
Hanoi 73
Ho Chi Minh City 71
Florence 67
Hefei 66
Melbourne 60
Medford 57
Boardman 49
Boston 46
Mumbai 44
San Diego 44
Izmir 30
Abidjan 28
Clifton 28
Bern 27
Moscow 27
São Paulo 27
Shanghai 23
Naples 21
Tokyo 19
Norwalk 18
Venice 18
Dallas 17
Rio de Janeiro 17
Da Nang 16
Council Bluffs 15
Munich 15
Turin 15
Barcelona 14
Miano 14
New York 14
Toronto 13
London 12
Redondo Beach 12
Verona 12
Brussels 11
Dearborn 11
Figino 11
Kent 11
Chicago 10
Haiphong 10
Andover 9
Auburn Hills 9
Bologna 9
Frankfurt am Main 9
Hillsboro 9
Johannesburg 9
Orem 9
Southend 9
Helsinki 8
Montreal 8
Palermo 8
Tianjin 8
Bari 7
Can Tho 7
Falls Church 7
Hải Dương 7
Baku 6
Biên Hòa 6
Brooklyn 6
Cagliari 6
Catania 6
Grevenbroich 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
Totale 10.949
Salva come PNG Salva come JPEG
Nome #
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 261
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 227
A MODAL LOGIC FOR MOBILE AGENTS 219
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 217
Implementing a Distributed Mobile Calculus Using the IMC Framework 213
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 208
AGILE: Software Architecture for Mobility 206
A calculus for attribute-based communication 205
A Modal Logic for KLAIM 204
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 203
Quantitative Analysis of Services 201
Software Update via Mobile Agent Based Programming 201
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 199
CARMA: Collective Adaptive Resource-sharing Markovian Agents 199
Spatial logic and spatial model checking for closure spaces 199
On-the-fly fluid model checking via discrete time population models 197
CaSPiS: a calculus of sessions, pipelines and services 196
Assume-Guarantee Verification of Concurrent Systems 196
Modeling Fuzzy Behaviours in Concurrent Systems 194
The Klaim Project: Theory and Practice 194
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties 191
The SCEL Language: Design, Implementation, Verification 189
Analysing Robot Movement Using the Sensoria Methods 188
An experimental spatio-temporal model checker 188
A Formal Approach to Autonomic Systems Programming: The SCEL Language 187
An Infrastructure Language for Open Nets 184
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 182
Model checking mobile stochastic logic 181
A Language-Based Approach to Autonomic Computing 181
Tools for Ensemble Design and Runtime 178
Editorial for the Special Issue on Open Problems in Concurrency Theory 178
Modelling global computations with Klaim 177
On Multiple Inheritance in Java. 175
Formulae meet Programs over the Net: a Framework for Reliable Network Aware Programming 174
Modelling Node Connectivity in Dynamically Evolving Networks 174
Multiple-Labelled Transition Systems for nominal calculi and their logics 174
Specification and Analysis of Open-Ended Systems with CARMA 173
A uniform definition of stochastic process calculi 171
A process Algebra Approach to Fuzzy Reasoning 167
Model checking spatial logics for closure spaces 167
Formalizing properties of mobile agent systems 166
On a Uniform Framework for the Definition of Stochastic Process Languages. 165
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 165
Sessions and Pipelines for Structured Service Programming 165
Design of a Password-Based EAP Method 164
Assessing CS1 Java Skills: A Three-Year Experience 164
Implementing Session Centered Calculi 163
Rate-Based Transition Systems for Stochastic Process Calculi 163
Specifying and Verifying Properties of Space 162
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 161
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 161
Implementing Mobile and Distributed Applications in X-Klaim 159
FlyFast: A mean field model checker 158
Towards a Formal Verification Methodology for Collective Robotic Systems 157
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 157
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 156
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 156
MarCaSPiS: a Markovian Extension of a Calculus for Services 155
Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial 155
MoMo: A Modal Logic for Reasoning About Mobility 154
On StocS: A Stochastic Extension of SCEL 154
SCC: a Service Centered Calculus 154
Programming and Verifying Component Ensembles 151
Monitoring and visualizing adaptation of autonomic systems at runtime 151
Group-by-group probabilistic bisimilarities and their logical characterizations 151
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 150
Context Aware Specification and Verification of Distributed Systems 150
Modeling adaptation with a tuple-based coordination language 149
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 148
Provably Correct Implementations of Services 146
Property-Preserving Refinement of Concurrent Systems 146
Modeling Adaptation with Klaim 146
On-the-fly fast mean-field model-checking 146
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 145
On-the-fly Probabilistic Model Checking 145
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 145
On the Power of Attribute-Based Communication 145
Modelling and analysis of collective adaptive systems with CARMA and its tools 144
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 144
On Programming and Policing Autonomic Computing Systems 143
Programming of CAS systems by relying on attribute-based communication 142
Relating strong behavioral equivalences for processes with nondeterminism and probabilities 141
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 140
Stochastically timed predicate-based communication primitives for autonomic computing 137
Hyperformulae, Paralle Deductions and Intersection Types 136
Klaim in the Making 129
Structured Nets in Klaim 127
Simulation and analysis of distributed systems in Klaim 123
ECAS 2018 Foreword: 3rd Workshop on Engineering Collective Adaptive Systems 37
Totale 14.989
Salva come PNG Salva come JPEG
Categoria #
all - tutte 39.561
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 39.561
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20263.513 284 517 276 228 368 152 433 215 251 186 46 557
2026/202788 88 0 0 0 0 0 0 0 0 0 0 0
Totale 14.989