LORETI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.620
EU - Europa 4.475
AS - Asia 4.385
SA - Sud America 565
Continente sconosciuto - Info sul continente non disponibili 419
AF - Africa 232
OC - Oceania 7
Totale 20.703
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.239
CN - Cina 2.005
RU - Federazione Russa 1.083
SG - Singapore 1.035
IT - Italia 704
BR - Brasile 486
PL - Polonia 475
HK - Hong Kong 439
DE - Germania 398
UA - Ucraina 365
GB - Regno Unito 341
FR - Francia 338
VN - Vietnam 299
CA - Canada 296
SE - Svezia 282
ZA - Sudafrica 176
FI - Finlandia 160
KR - Corea 140
TR - Turchia 128
IN - India 90
IE - Irlanda 83
NL - Olanda 79
BD - Bangladesh 48
AT - Austria 42
BE - Belgio 41
JP - Giappone 39
MX - Messico 39
IQ - Iraq 26
AR - Argentina 25
ES - Italia 24
PK - Pakistan 22
MY - Malesia 13
EU - Europa 11
SA - Arabia Saudita 11
VE - Venezuela 11
CO - Colombia 10
EC - Ecuador 10
JM - Giamaica 10
AE - Emirati Arabi Uniti 9
ID - Indonesia 9
MA - Marocco 9
AZ - Azerbaigian 8
CL - Cile 8
CR - Costa Rica 8
CZ - Repubblica Ceca 8
DZ - Algeria 8
EG - Egitto 8
IS - Islanda 7
NP - Nepal 7
GR - Grecia 6
JO - Giordania 6
KE - Kenya 6
LT - Lituania 6
PE - Perù 6
RO - Romania 6
UZ - Uzbekistan 6
IR - Iran 5
NG - Nigeria 5
PA - Panama 5
TN - Tunisia 5
AU - Australia 4
BY - Bielorussia 4
HN - Honduras 4
IL - Israele 4
KG - Kirghizistan 4
NO - Norvegia 4
PH - Filippine 4
PY - Paraguay 4
BG - Bulgaria 3
CI - Costa d'Avorio 3
ET - Etiopia 3
GT - Guatemala 3
PS - Palestinian Territory 3
PT - Portogallo 3
QA - Qatar 3
SC - Seychelles 3
TH - Thailandia 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
BZ - Belize 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
GD - Grenada 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
Totale 20.278
Salva come PNG Salva come JPEG
Città #
Ashburn 1.052
Jacksonville 880
Fairfield 855
San Jose 660
Council Bluffs 544
Warsaw 468
Seattle 466
Woodbridge 448
Hong Kong 431
Houston 424
Wilmington 395
Singapore 384
Beijing 343
Boardman 300
Nanjing 296
Cambridge 277
Dearborn 249
Chandler 243
Toronto 222
Ann Arbor 194
Los Angeles 176
Johannesburg 169
Seoul 140
Staranzano 136
Tongling 136
Princeton 121
Lawrence 120
Dallas 116
New York 116
San Mateo 116
The Dalles 110
Columbus 107
Lauterbourg 107
Istanbul 103
Ogden 103
Helsinki 102
St Louis 101
Nanchang 97
London 94
Ho Chi Minh City 87
Dublin 82
Camerino 80
Chicago 79
Santa Clara 72
Hanoi 71
Shenyang 70
Kunming 66
Bremen 63
Shanghai 58
Buffalo 54
Moscow 48
Guangzhou 47
Munich 46
Orem 46
Redondo Beach 46
San Diego 46
Milan 45
Hebei 44
São Paulo 44
University Park 40
Vienna 39
Hefei 37
Rome 37
Tokyo 37
Brussels 35
Tianjin 33
Trieste 32
Denver 31
Wuhan 31
Jiaxing 30
Dong Ket 28
Frankfurt am Main 28
Phoenix 27
Jinan 26
Brooklyn 25
Chennai 25
Lappeenranta 24
Philadelphia 24
Atlanta 23
Mexico City 23
Pune 23
Turku 23
Dronten 22
Stockholm 22
Changsha 20
Montreal 20
Zhengzhou 20
Hangzhou 19
Orange 19
Boston 18
Hillsboro 18
Lanzhou 18
Salt Lake City 18
Verona 18
Rio de Janeiro 17
Da Nang 15
Kilburn 15
Manchester 15
Ningbo 15
Southend 15
Totale 13.600
Salva come PNG Salva come JPEG
Nome #
Real-Time Intrusion Detection via Machine Learning Approaches 339
Spatio-temporal model checking of vehicular movement in public transport systems 303
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 265
A Formal Approach to Autonomic Systems Programming: The SCEL Language 254
Monitoring Spatio-Temporal Properties (Invited Tutorial) 238
MarCaSPiS: a Markovian Extension of a Calculus for Services 235
A calculus for collective-adaptive systems and its behavioural theory 232
The SCEL Language: Design, Implementation, Verification 229
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 228
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 223
CaSPiS: a calculus of sessions, pipelines and services 220
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 219
Statistical analysis of CARMA models: An advanced tutorial 218
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 213
A uniform definition of stochastic process calculi 208
An experimental spatio-temporal model checker 207
Model checking spatial logics for closure spaces 206
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 202
A process Algebra Approach to Fuzzy Reasoning 200
Analysis of spatio-temporal properties of stochastic systems using TSTL 199
On-the-fly Probabilistic Model Checking 198
Software Update via Mobile Agent Based Programming 198
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 194
Modelling and analysing resilient cyber-physical systems 192
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS 192
Editorial for the Special Issue on Open Problems in Concurrency Theory 191
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 189
Modeling adaptation with Klaim 188
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 188
Stochastically timed predicate-based communication primitives for autonomic computing 187
AGILE: Software Architecture for Mobility 184
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 180
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 179
Quantitative Analysis of Services 176
TAPAs: A Tool for the Analysis of Process Algebras 167
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 167
A Modal Logic for Mobile Agent 167
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 165
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 165
A Modal Logic for KLAIM 165
Towards a Formal Verification Methodology for Collective Robotic Systems 164
Modeling adaptation with a tuple-based coordination language 164
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 164
A Language-Based Approach to Autonomic Computing 164
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 162
An Infrastructure Language for Open Nets 162
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 162
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 161
Inferring analyzable models from trajectories of spatially-distributed internet of things 160
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 158
FlyFast: A mean field model checker 157
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 151
Modeling Fuzzy Behaviours in Concurrent Systems 150
Modelling and analysis of collective adaptive systems with CARMA and its tools 149
Implementing Mobile and Distributed Applications in X-Klaim 146
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 146
A calculus for attribute-based communication 145
null 144
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 143
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 141
Fluid approximation of broadcasting systems 138
Spatial logic and spatial model checking for closure spaces 137
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 136
Formalizing properties of mobile agent systems 136
LIBMG: A Python library for programming graph neural networks in μG 135
Context Aware Specification and Verification of Distributed Systems 135
Programming of CAS systems by relying on attribute-based communication 135
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 134
Analysing Robot Movement Using the Sensoria Methods 134
Hyperformulae, Paralle Deductions and Intersection Types 132
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 132
On a Uniform Framework for the Definition of Stochastic Process Languages. 129
Assume-Guarantee Verification of Concurrent Systems 129
Online monitoring of spatio-temporal properties for imprecise signals 129
Specifying and Verifying Properties of Space 128
The Klaim Project: Theory and Practice 126
Programming interactions in collective adaptive systems by relying on attribute-based communication 125
Rate-Based Transition Systems for Stochastic Process Calculi 124
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. 124
A SPATIAL LOGIC FOR SIMPLICIAL MODELS 123
Implementing a CTL Model Checker with μG, a Language for Programming Graph Neural Networks 122
Design of a Password-Based EAP Method 122
MoMo: A Modal Logic for Reasoning About Mobility 121
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 121
On-the-fly fluid model checking via discrete time population models 121
null 120
Implementing Session Centered Calculi 118
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 118
Provably Correct Implementations of Services 117
Multiple-Labelled Transition Systems for nominal calculi and their logics 117
SCC: a Service Centered Calculus 116
Sibilla: A tool for reasoning about collective systems 115
Implementing a Distributed Mobile Calculus Using the IMC Framework 115
Modelling Node Connectivity in Dynamically Evolving Networks 113
Structured Nets in Klaim 112
Tools for Ensemble Design and Runtime 111
A Framework To Measure The Robustness Of Programs In The Unpredictable Environment 110
Sessions and Pipelines for Structured Service Programming 110
Programming and Verifying Component Ensembles 110
Sibilla: A Tool for Reasoning about Collective Systems 109
Totale 16.302
Salva come PNG Salva come JPEG
Categoria #
all - tutte 98.319
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 98.319
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20221.012 0 0 0 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/20271.190 450 112 548 80 0 0 0 0 0 0 0 0
Totale 20.703