LORETI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.318
EU - Europa 4.275
AS - Asia 4.153
SA - Sud America 558
AF - Africa 221
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 6
Totale 18.546
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.002
CN - Cina 1.916
RU - Federazione Russa 1.082
SG - Singapore 963
IT - Italia 523
BR - Brasile 484
PL - Polonia 475
HK - Hong Kong 431
DE - Germania 396
UA - Ucraina 360
FR - Francia 338
GB - Regno Unito 334
VN - Vietnam 292
SE - Svezia 282
CA - Canada 260
ZA - Sudafrica 175
FI - Finlandia 160
KR - Corea 140
TR - Turchia 128
IE - Irlanda 83
IN - India 83
NL - Olanda 78
AT - Austria 42
BE - Belgio 41
JP - Giappone 37
MX - Messico 36
IQ - Iraq 26
AR - Argentina 25
BD - Bangladesh 24
ES - Italia 22
PK - Pakistan 19
EU - Europa 11
SA - Arabia Saudita 11
EC - Ecuador 10
VE - Venezuela 10
MA - Marocco 9
AE - Emirati Arabi Uniti 8
AZ - Azerbaigian 8
CZ - Repubblica Ceca 8
EG - Egitto 8
CL - Cile 7
CO - Colombia 7
IS - Islanda 7
GR - Grecia 6
KE - Kenya 6
LT - Lituania 6
NP - Nepal 6
PE - Perù 6
UZ - Uzbekistan 6
IR - Iran 5
MY - Malesia 5
PA - Panama 5
RO - Romania 5
BY - Bielorussia 4
ID - Indonesia 4
IL - Israele 4
JM - Giamaica 4
JO - Giordania 4
KG - Kirghizistan 4
NG - Nigeria 4
NO - Norvegia 4
PY - Paraguay 4
AU - Australia 3
BG - Bulgaria 3
CI - Costa d'Avorio 3
DZ - Algeria 3
ET - Etiopia 3
PS - Palestinian Territory 3
PT - Portogallo 3
QA - Qatar 3
TN - Tunisia 3
TW - Taiwan 3
UY - Uruguay 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
AM - Armenia 2
BN - Brunei Darussalam 2
BO - Bolivia 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
GH - Ghana 2
GT - Guatemala 2
LK - Sri Lanka 2
MD - Moldavia 2
NZ - Nuova Zelanda 2
PH - Filippine 2
SK - Slovacchia (Repubblica Slovacca) 2
TH - Thailandia 2
TT - Trinidad e Tobago 2
XK - ???statistics.table.value.countryCode.XK??? 2
YE - Yemen 2
AF - Afghanistan, Repubblica islamica di 1
BA - Bosnia-Erzegovina 1
BH - Bahrain 1
BZ - Belize 1
CR - Costa Rica 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
HN - Honduras 1
Totale 18.531
Salva come PNG Salva come JPEG
Città #
Ashburn 985
Jacksonville 876
Fairfield 855
San Jose 633
Warsaw 468
Seattle 465
Woodbridge 448
Hong Kong 424
Houston 423
Wilmington 394
Singapore 376
Beijing 326
Boardman 299
Nanjing 296
Cambridge 277
Dearborn 249
Chandler 243
Toronto 219
Ann Arbor 194
Johannesburg 169
Los Angeles 160
Seoul 140
Tongling 136
Lawrence 120
Princeton 120
San Mateo 116
The Dalles 110
Dallas 108
Lauterbourg 107
New York 106
Columbus 105
Istanbul 103
Ogden 103
Helsinki 102
St Louis 100
Nanchang 97
London 93
Ho Chi Minh City 84
Dublin 82
Camerino 80
Shenyang 70
Hanoi 69
Kunming 64
Bremen 63
Chicago 62
Shanghai 57
Buffalo 53
Moscow 48
Munich 46
Redondo Beach 46
Guangzhou 45
Milan 45
San Diego 45
Hebei 44
São Paulo 44
Orem 42
Vienna 39
Hefei 37
Tokyo 36
Brussels 35
Santa Clara 35
Tianjin 32
Trieste 31
Wuhan 31
Jiaxing 30
Rome 29
Dong Ket 28
Frankfurt am Main 28
Council Bluffs 27
Jinan 26
Chennai 25
Denver 25
Lappeenranta 24
Brooklyn 23
Pune 23
Turku 23
Dronten 22
Mexico City 22
Stockholm 22
Zhengzhou 20
Changsha 19
Orange 19
Hillsboro 18
Lanzhou 18
Montreal 18
Philadelphia 18
Verona 18
Hangzhou 17
Rio de Janeiro 17
Salt Lake City 16
Boston 15
Da Nang 15
Kilburn 15
Manchester 15
Ningbo 15
Southend 15
Changchun 14
Atlanta 13
Baghdad 13
Poplar 13
Totale 12.628
Salva come PNG Salva come JPEG
Nome #
Spatio-temporal model checking of vehicular movement in public transport systems 284
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 257
MarCaSPiS: a Markovian Extension of a Calculus for Services 232
A Formal Approach to Autonomic Systems Programming: The SCEL Language 229
Monitoring Spatio-Temporal Properties (Invited Tutorial) 228
The SCEL Language: Design, Implementation, Verification 222
A calculus for collective-adaptive systems and its behavioural theory 221
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 219
CaSPiS: a calculus of sessions, pipelines and services 214
Statistical analysis of CARMA models: An advanced tutorial 211
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 210
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 205
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 200
An experimental spatio-temporal model checker 196
Model checking spatial logics for closure spaces 192
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 192
Analysis of spatio-temporal properties of stochastic systems using TSTL 189
Software Update via Mobile Agent Based Programming 187
A process Algebra Approach to Fuzzy Reasoning 187
On-the-fly Probabilistic Model Checking 183
Modeling adaptation with Klaim 182
Editorial for the Special Issue on Open Problems in Concurrency Theory 182
A uniform definition of stochastic process calculi 182
Real-Time Intrusion Detection via Machine Learning Approaches 181
Modelling and analysing resilient cyber-physical systems 181
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 180
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 178
Stochastically timed predicate-based communication primitives for autonomic computing 177
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 174
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 171
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 170
Quantitative Analysis of Services 166
TAPAs: A Tool for the Analysis of Process Algebras 163
AGILE: Software Architecture for Mobility 163
Modeling adaptation with a tuple-based coordination language 156
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 156
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 156
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 156
An Infrastructure Language for Open Nets 156
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 156
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS 156
Towards a Formal Verification Methodology for Collective Robotic Systems 155
FlyFast: A mean field model checker 152
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 151
A Modal Logic for Mobile Agent 149
Inferring analyzable models from trajectories of spatially-distributed internet of things 149
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 145
null 144
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 143
A Modal Logic for KLAIM 142
A Language-Based Approach to Autonomic Computing 142
Modeling Fuzzy Behaviours in Concurrent Systems 142
Modelling and analysis of collective adaptive systems with CARMA and its tools 141
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 141
Implementing Mobile and Distributed Applications in X-Klaim 137
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 135
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 131
Spatial logic and spatial model checking for closure spaces 131
A calculus for attribute-based communication 131
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 129
Analysing Robot Movement Using the Sensoria Methods 128
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 128
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 127
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 127
Formalizing properties of mobile agent systems 127
Fluid approximation of broadcasting systems 127
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 126
Programming of CAS systems by relying on attribute-based communication 126
On a Uniform Framework for the Definition of Stochastic Process Languages. 123
Context Aware Specification and Verification of Distributed Systems 122
Assume-Guarantee Verification of Concurrent Systems 122
Hyperformulae, Paralle Deductions and Intersection Types 121
null 120
The Klaim Project: Theory and Practice 118
Specifying and Verifying Properties of Space 116
Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. 116
Design of a Password-Based EAP Method 115
Rate-Based Transition Systems for Stochastic Process Calculi 115
On-the-fly fluid model checking via discrete time population models 114
Programming interactions in collective adaptive systems by relying on attribute-based communication 114
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 112
Implementing Session Centered Calculi 110
Multiple-Labelled Transition Systems for nominal calculi and their logics 110
MoMo: A Modal Logic for Reasoning About Mobility 109
A SPATIAL LOGIC FOR SIMPLICIAL MODELS 109
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 108
Online monitoring of spatio-temporal properties for imprecise signals 107
Provably Correct Implementations of Services 106
Modelling Node Connectivity in Dynamically Evolving Networks 104
null 104
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks 103
SCC: a Service Centered Calculus 103
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 103
null 103
Structured Nets in Klaim 102
Tools for Ensemble Design and Runtime 101
Sessions and Pipelines for Structured Service Programming 101
On-the-fly fast mean-field model-checking 100
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 100
Simulation and analysis of distributed systems in Klaim 100
Totale 15.017
Salva come PNG Salva come JPEG
Categoria #
all - tutte 87.940
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 87.940
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021572 0 0 0 0 0 0 0 0 0 88 306 178
2021/20221.540 129 349 50 49 109 73 71 106 133 161 162 148
2022/20231.038 138 30 58 71 145 93 29 48 190 56 140 40
2023/20241.297 172 48 123 29 73 141 93 130 137 67 18 266
2024/20253.530 153 23 324 175 70 205 318 862 305 220 245 630
2025/20264.751 371 427 514 676 426 268 959 499 211 400 0 0
Totale 18.950