LORETI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.101
AS - Asia 4.350
EU - Europa 4.304
SA - Sud America 561
Continente sconosciuto - Info sul continente non disponibili 419
AF - Africa 224
OC - Oceania 7
Totale 19.966
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.751
CN - Cina 1.995
RU - Federazione Russa 1.083
SG - Singapore 1.028
IT - Italia 542
BR - Brasile 485
PL - Polonia 475
HK - Hong Kong 437
DE - Germania 397
UA - Ucraina 365
FR - Francia 338
GB - Regno Unito 335
VN - Vietnam 297
SE - Svezia 282
CA - Canada 280
ZA - Sudafrica 176
FI - Finlandia 160
KR - Corea 140
TR - Turchia 128
IN - India 87
IE - Irlanda 83
NL - Olanda 78
BD - Bangladesh 45
AT - Austria 42
BE - Belgio 41
JP - Giappone 38
MX - Messico 38
IQ - Iraq 26
AR - Argentina 25
ES - Italia 24
PK - Pakistan 19
MY - Malesia 13
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
ID - Indonesia 8
CL - Cile 7
IS - Islanda 7
NP - Nepal 7
GR - Grecia 6
JM - Giamaica 6
KE - Kenya 6
LT - Lituania 6
PE - Perù 6
UZ - Uzbekistan 6
IR - Iran 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
CR - Costa Rica 3
DZ - Algeria 3
ET - Etiopia 3
GT - Guatemala 3
HN - Honduras 3
PH - Filippine 3
PS - Palestinian Territory 3
PT - Portogallo 3
QA - Qatar 3
SC - Seychelles 3
TH - Thailandia 3
TN - Tunisia 3
TT - Trinidad e Tobago 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
LK - Sri Lanka 2
MD - Moldavia 2
NZ - Nuova Zelanda 2
SK - Slovacchia (Repubblica Slovacca) 2
XK - ???statistics.table.value.countryCode.XK??? 2
YE - Yemen 2
AF - Afghanistan, Repubblica islamica di 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BH - Bahrain 1
BZ - Belize 1
GA - Gabon 1
Totale 19.543
Salva come PNG Salva come JPEG
Città #
Ashburn 1.006
Jacksonville 878
Fairfield 855
San Jose 655
Warsaw 468
Seattle 466
Woodbridge 448
Council Bluffs 439
Hong Kong 430
Houston 424
Wilmington 394
Singapore 381
Beijing 337
Boardman 300
Nanjing 296
Cambridge 277
Dearborn 249
Chandler 243
Toronto 220
Ann Arbor 194
Johannesburg 169
Los Angeles 165
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 101
Nanchang 97
London 93
Ho Chi Minh City 87
Dublin 82
Camerino 80
Hanoi 70
Shenyang 70
Kunming 66
Bremen 63
Chicago 62
Santa Clara 61
Shanghai 58
Buffalo 54
Moscow 48
Guangzhou 47
Munich 46
Redondo Beach 46
San Diego 46
Milan 45
Orem 45
Hebei 44
São Paulo 44
University Park 40
Vienna 39
Hefei 37
Tokyo 36
Brussels 35
Tianjin 33
Trieste 32
Rome 31
Wuhan 31
Jiaxing 30
Dong Ket 28
Frankfurt am Main 28
Jinan 26
Chennai 25
Denver 25
Brooklyn 24
Lappeenranta 24
Mexico City 23
Pune 23
Turku 23
Dronten 22
Stockholm 22
Philadelphia 21
Changsha 20
Zhengzhou 20
Atlanta 19
Hangzhou 19
Montreal 19
Orange 19
Hillsboro 18
Lanzhou 18
Verona 18
Rio de Janeiro 17
Boston 16
Salt Lake City 16
Da Nang 15
Kilburn 15
Manchester 15
Ningbo 15
Southend 15
Changchun 14
Baghdad 13
Totale 13.214
Salva come PNG Salva come JPEG
Nome #
Real-Time Intrusion Detection via Machine Learning Approaches 308
Spatio-temporal model checking of vehicular movement in public transport systems 290
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 261
A Formal Approach to Autonomic Systems Programming: The SCEL Language 246
Monitoring Spatio-Temporal Properties (Invited Tutorial) 235
MarCaSPiS: a Markovian Extension of a Calculus for Services 233
A calculus for collective-adaptive systems and its behavioural theory 227
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 224
The SCEL Language: Design, Implementation, Verification 224
CaSPiS: a calculus of sessions, pipelines and services 218
Statistical analysis of CARMA models: An advanced tutorial 213
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 213
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 210
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 205
An experimental spatio-temporal model checker 201
A uniform definition of stochastic process calculi 200
Model checking spatial logics for closure spaces 197
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 197
Software Update via Mobile Agent Based Programming 195
Analysis of spatio-temporal properties of stochastic systems using TSTL 195
On-the-fly Probabilistic Model Checking 194
A process Algebra Approach to Fuzzy Reasoning 191
Modeling adaptation with Klaim 186
Editorial for the Special Issue on Open Problems in Concurrency Theory 186
Modelling and analysing resilient cyber-physical systems 186
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 185
Stochastically timed predicate-based communication primitives for autonomic computing 183
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 183
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS 182
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 180
AGILE: Software Architecture for Mobility 177
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 175
Quantitative Analysis of Services 174
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 174
TAPAs: A Tool for the Analysis of Process Algebras 165
Modeling adaptation with a tuple-based coordination language 162
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 162
Towards a Formal Verification Methodology for Collective Robotic Systems 161
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 161
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 160
An Infrastructure Language for Open Nets 160
A Modal Logic for Mobile Agent 159
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 159
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 159
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 158
A Modal Logic for KLAIM 158
A Language-Based Approach to Autonomic Computing 157
FlyFast: A mean field model checker 156
Inferring analyzable models from trajectories of spatially-distributed internet of things 154
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 152
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 149
Modeling Fuzzy Behaviours in Concurrent Systems 146
Modelling and analysis of collective adaptive systems with CARMA and its tools 145
null 144
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 144
Implementing Mobile and Distributed Applications in X-Klaim 143
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 141
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 139
A calculus for attribute-based communication 138
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 134
Fluid approximation of broadcasting systems 134
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 133
Spatial logic and spatial model checking for closure spaces 133
Formalizing properties of mobile agent systems 133
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 132
Programming of CAS systems by relying on attribute-based communication 132
Analysing Robot Movement Using the Sensoria Methods 131
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 130
Context Aware Specification and Verification of Distributed Systems 128
LIBMG: A Python library for programming graph neural networks in μG 127
Hyperformulae, Paralle Deductions and Intersection Types 127
On a Uniform Framework for the Definition of Stochastic Process Languages. 126
Assume-Guarantee Verification of Concurrent Systems 126
Specifying and Verifying Properties of Space 122
The Klaim Project: Theory and Practice 122
Programming interactions in collective adaptive systems by relying on attribute-based communication 122
Online monitoring of spatio-temporal properties for imprecise signals 122
Rate-Based Transition Systems for Stochastic Process Calculi 121
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. 120
null 120
Design of a Password-Based EAP Method 119
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 119
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks 117
On-the-fly fluid model checking via discrete time population models 117
MoMo: A Modal Logic for Reasoning About Mobility 115
Implementing Session Centered Calculi 114
A SPATIAL LOGIC FOR SIMPLICIAL MODELS 114
Provably Correct Implementations of Services 113
Multiple-Labelled Transition Systems for nominal calculi and their logics 113
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 112
Modelling Node Connectivity in Dynamically Evolving Networks 111
SCC: a Service Centered Calculus 110
Implementing a Distributed Mobile Calculus Using the IMC Framework 110
Sibilla: A tool for reasoning about collective systems 108
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 107
Structured Nets in Klaim 106
Tools for Ensemble Design and Runtime 105
Sessions and Pipelines for Structured Service Programming 105
Programming and Verifying Component Ensembles 105
On-the-fly fast mean-field model-checking 104
Totale 15.779
Salva come PNG Salva come JPEG
Categoria #
all - tutte 94.889
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 94.889
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.411 0 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.314 371 427 514 676 426 268 959 499 211 407 385 171
2026/2027453 450 3 0 0 0 0 0 0 0 0 0 0
Totale 19.966