LORETI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 9.633
AS - Asia 4.311
EU - Europa 4.292
SA - Sud America 560
AF - Africa 223
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 7
Totale 19.041
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.304
CN - Cina 1.980
RU - Federazione Russa 1.082
SG - Singapore 1.023
IT - Italia 533
BR - Brasile 484
PL - Polonia 475
HK - Hong Kong 434
DE - Germania 396
UA - Ucraina 365
FR - Francia 338
GB - Regno Unito 335
VN - Vietnam 294
SE - Svezia 282
CA - Canada 269
ZA - Sudafrica 176
FI - Finlandia 160
KR - Corea 140
TR - Turchia 128
IE - Irlanda 83
IN - India 83
NL - Olanda 78
AT - Austria 42
BD - Bangladesh 41
BE - Belgio 41
JP - Giappone 38
MX - Messico 36
IQ - Iraq 26
AR - Argentina 25
ES - Italia 23
PK - Pakistan 19
MY - Malesia 12
EU - Europa 11
SA - Arabia Saudita 11
VE - Venezuela 11
EC - Ecuador 10
AE - Emirati Arabi Uniti 9
MA - Marocco 9
AZ - Azerbaigian 8
CO - Colombia 8
CZ - Repubblica Ceca 8
EG - Egitto 8
CL - Cile 7
IS - Islanda 7
NP - Nepal 7
GR - Grecia 6
ID - Indonesia 6
KE - Kenya 6
LT - Lituania 6
PE - Perù 6
UZ - Uzbekistan 6
IR - Iran 5
JM - Giamaica 5
PA - Panama 5
RO - Romania 5
AU - Australia 4
BY - Bielorussia 4
IL - Israele 4
JO - Giordania 4
KG - Kirghizistan 4
NG - Nigeria 4
NO - Norvegia 4
PY - Paraguay 4
BG - Bulgaria 3
CI - Costa d'Avorio 3
DZ - Algeria 3
ET - Etiopia 3
GT - Guatemala 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
CR - Costa Rica 2
DO - Repubblica Dominicana 2
GH - Ghana 2
LK - Sri Lanka 2
MD - Moldavia 2
NZ - Nuova Zelanda 2
PH - Filippine 2
SC - Seychelles 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
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
Totale 19.025
Salva come PNG Salva come JPEG
Città #
Ashburn 991
Jacksonville 877
Fairfield 855
San Jose 651
Warsaw 468
Seattle 466
Woodbridge 448
Hong Kong 427
Houston 424
Wilmington 394
Singapore 378
Beijing 331
Boardman 300
Nanjing 296
Cambridge 277
Dearborn 249
Chandler 243
Toronto 219
Ann Arbor 194
Johannesburg 169
Council Bluffs 166
Los Angeles 163
Seoul 140
Tongling 136
Lawrence 120
Princeton 120
San Mateo 116
Dallas 112
New York 111
The Dalles 110
Lauterbourg 107
Columbus 106
Istanbul 103
Ogden 103
Helsinki 102
St Louis 100
Nanchang 97
London 93
Ho Chi Minh City 86
Dublin 82
Camerino 80
Shenyang 70
Hanoi 69
Kunming 66
Bremen 63
Chicago 62
Shanghai 58
Buffalo 54
Moscow 48
Guangzhou 46
Munich 46
Redondo Beach 46
Milan 45
San Diego 45
Hebei 44
Orem 44
São Paulo 44
Santa Clara 40
University Park 40
Vienna 39
Hefei 37
Tokyo 36
Brussels 35
Tianjin 33
Trieste 32
Wuhan 31
Jiaxing 30
Rome 29
Dong Ket 28
Frankfurt am Main 28
Jinan 26
Chennai 25
Denver 25
Lappeenranta 24
Brooklyn 23
Pune 23
Turku 23
Dronten 22
Mexico City 22
Stockholm 22
Changsha 20
Philadelphia 20
Zhengzhou 20
Hangzhou 19
Orange 19
Hillsboro 18
Lanzhou 18
Montreal 18
Verona 18
Rio de Janeiro 17
Boston 16
Salt Lake City 16
Atlanta 15
Da Nang 15
Kilburn 15
Manchester 15
Ningbo 15
Southend 15
Changchun 14
Baghdad 13
Totale 12.869
Salva come PNG Salva come JPEG
Nome #
Spatio-temporal model checking of vehicular movement in public transport systems 285
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 258
A Formal Approach to Autonomic Systems Programming: The SCEL Language 236
MarCaSPiS: a Markovian Extension of a Calculus for Services 233
Monitoring Spatio-Temporal Properties (Invited Tutorial) 231
A calculus for collective-adaptive systems and its behavioural theory 224
The SCEL Language: Design, Implementation, Verification 223
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 221
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 202
Real-Time Intrusion Detection via Machine Learning Approaches 201
An experimental spatio-temporal model checker 200
A uniform definition of stochastic process calculi 197
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 194
Model checking spatial logics for closure spaces 193
Analysis of spatio-temporal properties of stochastic systems using TSTL 189
Software Update via Mobile Agent Based Programming 188
A process Algebra Approach to Fuzzy Reasoning 188
On-the-fly Probabilistic Model Checking 187
Modeling adaptation with Klaim 185
Stochastically timed predicate-based communication primitives for autonomic computing 183
Editorial for the Special Issue on Open Problems in Concurrency Theory 182
Modelling and analysing resilient cyber-physical systems 182
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 180
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 180
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS 178
AGILE: Software Architecture for Mobility 175
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 175
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 171
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 171
Quantitative Analysis of Services 170
TAPAs: A Tool for the Analysis of Process Algebras 163
Modeling adaptation with a tuple-based coordination language 159
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 159
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 158
An Infrastructure Language for Open Nets 157
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 156
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 156
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 156
Towards a Formal Verification Methodology for Collective Robotic Systems 155
A Language-Based Approach to Autonomic Computing 155
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 154
A Modal Logic for Mobile Agent 154
A Modal Logic for KLAIM 154
FlyFast: A mean field model checker 153
Inferring analyzable models from trajectories of spatially-distributed internet of things 149
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 148
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 146
null 144
Modeling Fuzzy Behaviours in Concurrent Systems 143
Implementing Mobile and Distributed Applications in X-Klaim 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
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 136
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 134
A calculus for attribute-based communication 132
Analysing Robot Movement Using the Sensoria Methods 131
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 131
Spatial logic and spatial model checking for closure spaces 131
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 130
Fluid approximation of broadcasting systems 130
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 129
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 127
Formalizing properties of mobile agent systems 127
Programming of CAS systems by relying on attribute-based communication 127
Context Aware Specification and Verification of Distributed Systems 125
Hyperformulae, Paralle Deductions and Intersection Types 124
On a Uniform Framework for the Definition of Stochastic Process Languages. 123
Assume-Guarantee Verification of Concurrent Systems 123
LIBMG: A Python library for programming graph neural networks in μG 121
Online monitoring of spatio-temporal properties for imprecise signals 121
null 120
Specifying and Verifying Properties of Space 119
The Klaim Project: Theory and Practice 119
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. 119
Rate-Based Transition Systems for Stochastic Process Calculi 118
Programming interactions in collective adaptive systems by relying on attribute-based communication 118
Design of a Password-Based EAP Method 117
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 116
On-the-fly fluid model checking via discrete time population models 114
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks 113
Implementing Session Centered Calculi 113
Multiple-Labelled Transition Systems for nominal calculi and their logics 113
MoMo: A Modal Logic for Reasoning About Mobility 112
Provably Correct Implementations of Services 110
Modelling Node Connectivity in Dynamically Evolving Networks 110
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 109
A SPATIAL LOGIC FOR SIMPLICIAL MODELS 109
Sibilla: A tool for reasoning about collective systems 108
SCC: a Service Centered Calculus 106
Implementing a Distributed Mobile Calculus Using the IMC Framework 105
Tools for Ensemble Design and Runtime 104
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 104
null 104
On-the-fly fast mean-field model-checking 103
Sessions and Pipelines for Structured Service Programming 103
Structured Nets in Klaim 103
Totale 15.356
Salva come PNG Salva come JPEG
Categoria #
all - tutte 92.051
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 92.051
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021178 0 0 0 0 0 0 0 0 0 0 0 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/20265.246 371 427 514 676 426 268 959 499 211 407 385 103
Totale 19.445