LORETI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.253
EU - Europa 3.989
AS - Asia 3.602
SA - Sud America 521
AF - Africa 48
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 6
Totale 16.434
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.943
CN - Cina 1.793
RU - Federazione Russa 1.082
SG - Singapore 816
PL - Polonia 466
BR - Brasile 456
IT - Italia 442
HK - Hong Kong 408
DE - Germania 374
UA - Ucraina 359
GB - Regno Unito 323
SE - Svezia 282
CA - Canada 259
FR - Francia 197
FI - Finlandia 159
KR - Corea 140
TR - Turchia 122
VN - Vietnam 116
IE - Irlanda 79
NL - Olanda 73
IN - India 61
AT - Austria 42
BE - Belgio 37
MX - Messico 34
JP - Giappone 31
AR - Argentina 22
ES - Italia 20
IQ - Iraq 19
ZA - Sudafrica 17
BD - Bangladesh 16
PK - Pakistan 13
EU - Europa 11
VE - Venezuela 10
AE - Emirati Arabi Uniti 8
CZ - Repubblica Ceca 8
EC - Ecuador 8
EG - Egitto 7
IS - Islanda 7
MA - Marocco 7
CL - Cile 6
CO - Colombia 6
GR - Grecia 6
LT - Lituania 6
IR - Iran 5
PA - Panama 5
RO - Romania 5
UZ - Uzbekistan 5
AZ - Azerbaigian 4
IL - Israele 4
KG - Kirghizistan 4
NO - Norvegia 4
NP - Nepal 4
PE - Perù 4
PY - Paraguay 4
SA - Arabia Saudita 4
AU - Australia 3
ET - Etiopia 3
JM - Giamaica 3
KE - Kenya 3
PS - Palestinian Territory 3
PT - Portogallo 3
QA - Qatar 3
UY - Uruguay 3
A2 - ???statistics.table.value.countryCode.A2??? 2
AL - Albania 2
AM - Armenia 2
BN - Brunei Darussalam 2
BO - Bolivia 2
BY - Bielorussia 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
GH - Ghana 2
ID - Indonesia 2
JO - Giordania 2
LK - Sri Lanka 2
MD - Moldavia 2
NG - Nigeria 2
NZ - Nuova Zelanda 2
SK - Slovacchia (Repubblica Slovacca) 2
TT - Trinidad e Tobago 2
TW - Taiwan 2
XK - ???statistics.table.value.countryCode.XK??? 2
YE - Yemen 2
AF - Afghanistan, Repubblica islamica di 1
BG - Bulgaria 1
BZ - Belize 1
GA - Gabon 1
GD - Grenada 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
HR - Croazia 1
HU - Ungheria 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
ML - Mali 1
MT - Malta 1
MY - Malesia 1
PR - Porto Rico 1
Totale 16.425
Salva come PNG Salva come JPEG
Città #
Jacksonville 876
Ashburn 860
Fairfield 855
Seattle 465
Warsaw 459
Woodbridge 448
Houston 422
Hong Kong 407
Wilmington 394
Beijing 310
Boardman 298
Nanjing 296
Cambridge 277
Singapore 262
Dearborn 249
Chandler 243
Toronto 219
Ann Arbor 194
Los Angeles 155
Seoul 140
Tongling 136
Lawrence 120
Princeton 120
San Mateo 116
Dallas 108
Columbus 105
Ogden 103
Helsinki 101
Istanbul 101
New York 100
Nanchang 97
London 93
The Dalles 89
Camerino 80
Dublin 79
Shenyang 70
Kunming 64
Bremen 63
Chicago 62
Shanghai 56
Buffalo 52
Moscow 48
Munich 46
Redondo Beach 46
Guangzhou 45
Milan 45
San Diego 45
Hebei 44
São Paulo 44
Vienna 39
Hefei 37
Brussels 35
Tianjin 32
Wuhan 31
Jiaxing 30
Tokyo 30
Dong Ket 28
Hanoi 26
Ho Chi Minh City 26
Jinan 26
Denver 25
Orem 25
Lappeenranta 24
Santa Clara 24
Brooklyn 23
Pune 23
Turku 23
Dronten 22
Mexico City 22
Stockholm 22
Zhengzhou 20
Changsha 19
Chennai 19
Orange 19
Rome 19
Lanzhou 18
Montreal 18
Verona 18
Hangzhou 17
Philadelphia 17
Boston 15
Council Bluffs 15
Frankfurt am Main 15
Kilburn 15
Ningbo 15
Rio de Janeiro 15
Salt Lake City 15
Southend 15
Changchun 14
Johannesburg 14
Poplar 13
Manchester 12
Belo Horizonte 11
Fuzhou 11
Jinhua 11
Kocaeli 11
Monte San Vito 11
Scafati 11
Matelica 10
Meppel 10
Totale 11.123
Salva come PNG Salva come JPEG
Nome #
Spatio-temporal model checking of vehicular movement in public transport systems 263
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 236
A Formal Approach to Autonomic Systems Programming: The SCEL Language 214
Monitoring Spatio-Temporal Properties (Invited Tutorial) 212
MarCaSPiS: a Markovian Extension of a Calculus for Services 210
The SCEL Language: Design, Implementation, Verification 205
CaSPiS: a calculus of sessions, pipelines and services 204
A calculus for collective-adaptive systems and its behavioural theory 203
Statistical analysis of CARMA models: An advanced tutorial 202
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 195
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 191
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 188
An experimental spatio-temporal model checker 177
Analysis of spatio-temporal properties of stochastic systems using TSTL 176
Modeling adaptation with Klaim 175
Model checking spatial logics for closure spaces 174
Software Update via Mobile Agent Based Programming 174
A process Algebra Approach to Fuzzy Reasoning 174
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 169
Modelling and analysing resilient cyber-physical systems 167
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 164
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 164
Editorial for the Special Issue on Open Problems in Concurrency Theory 160
On-the-fly Probabilistic Model Checking 159
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 158
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 158
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 156
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 154
Quantitative Analysis of Services 153
Stochastically timed predicate-based communication primitives for autonomic computing 153
TAPAs: A Tool for the Analysis of Process Algebras 150
A uniform definition of stochastic process calculi 150
Towards a Formal Verification Methodology for Collective Robotic Systems 146
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 145
null 144
AGILE: Software Architecture for Mobility 144
An Infrastructure Language for Open Nets 144
Modeling adaptation with a tuple-based coordination language 143
CARMA Eclipse plug-in: A tool supporting design and analysis of collective adaptive systems 142
A Flexible and Modular Framework for Implementing Infrastructures for Global Computing 141
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 141
Inferring analyzable models from trajectories of spatially-distributed internet of things 140
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS 136
Real-Time Intrusion Detection via Machine Learning Approaches 135
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 135
FlyFast: A mean field model checker 135
A Modal Logic for Mobile Agent 134
Modeling Fuzzy Behaviours in Concurrent Systems 132
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 129
A Modal Logic for KLAIM 128
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 128
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 126
A Language-Based Approach to Autonomic Computing 124
Modelling and analysis of collective adaptive systems with CARMA and its tools 122
Implementing Mobile and Distributed Applications in X-Klaim 121
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 121
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 120
null 120
Analysing Robot Movement Using the Sensoria Methods 118
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 117
Spatial logic and spatial model checking for closure spaces 116
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 115
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 114
A calculus for attribute-based communication 113
Formalizing properties of mobile agent systems 113
Fluid approximation of broadcasting systems 113
On a Uniform Framework for the Definition of Stochastic Process Languages. 112
Context Aware Specification and Verification of Distributed Systems 111
Assume-Guarantee Verification of Concurrent Systems 111
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 110
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 110
Programming of CAS systems by relying on attribute-based communication 110
Hyperformulae, Paralle Deductions and Intersection Types 108
Rate-Based Transition Systems for Stochastic Process Calculi 108
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. 105
On-the-fly fluid model checking via discrete time population models 104
null 104
Design of a Password-Based EAP Method 103
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 103
The Klaim Project: Theory and Practice 103
null 103
Specifying and Verifying Properties of Space 101
Multiple-Labelled Transition Systems for nominal calculi and their logics 101
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 101
Programming interactions in collective adaptive systems by relying on attribute-based communication 101
Implementing Session Centered Calculi 97
null 97
MoMo: A Modal Logic for Reasoning About Mobility 96
null 96
null 95
Modelling Node Connectivity in Dynamically Evolving Networks 93
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 92
Structured Nets in Klaim 92
Provably Correct Implementations of Services 91
Tools for Ensemble Design and Runtime 91
On-the-fly fast mean-field model-checking 91
null 91
null 91
Assessing CS1 Java Skills: A Three-Year Experience 91
Online monitoring of spatio-temporal properties for imprecise signals 91
Totale 13.587
Salva come PNG Salva come JPEG
Categoria #
all - tutte 83.703
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 83.703
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.386 0 0 0 0 0 123 381 75 235 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/20262.638 371 427 514 676 426 224 0 0 0 0 0 0
Totale 16.837