LORETI, Michele
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 8.167
EU - Europa 3.971
AS - Asia 3.559
SA - Sud America 515
AF - Africa 45
Continente sconosciuto - Info sul continente non disponibili 15
OC - Oceania 6
Totale 16.278
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 7.862
CN - Cina 1.790
RU - Federazione Russa 1.082
SG - Singapore 805
PL - Polonia 461
BR - Brasile 451
IT - Italia 439
HK - Hong Kong 408
DE - Germania 374
UA - Ucraina 359
GB - Regno Unito 316
SE - Svezia 280
CA - Canada 257
FR - Francia 197
FI - Finlandia 159
KR - Corea 140
TR - Turchia 121
VN - Vietnam 103
IE - Irlanda 79
NL - Olanda 72
IN - India 57
AT - Austria 42
BE - Belgio 37
MX - Messico 31
JP - Giappone 28
AR - Argentina 21
ES - Italia 20
IQ - Iraq 18
ZA - Sudafrica 15
BD - Bangladesh 13
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
NO - Norvegia 4
NP - Nepal 4
PE - Perù 4
PY - Paraguay 4
AU - Australia 3
ET - Etiopia 3
JM - Giamaica 3
KE - Kenya 3
KG - Kirghizistan 3
PS - Palestinian Territory 3
PT - Portogallo 3
SA - Arabia Saudita 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
JO - Giordania 2
LK - Sri Lanka 2
MD - Moldavia 2
NG - Nigeria 2
NZ - Nuova Zelanda 2
QA - Qatar 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
ID - Indonesia 1
KW - Kuwait 1
LA - Repubblica Popolare Democratica del Laos 1
MT - Malta 1
MY - Malesia 1
PR - Porto Rico 1
SC - Seychelles 1
Totale 16.270
Salva come PNG Salva come JPEG
Città #
Jacksonville 876
Fairfield 855
Ashburn 835
Seattle 465
Warsaw 454
Woodbridge 448
Houston 422
Hong Kong 407
Wilmington 394
Beijing 310
Boardman 298
Nanjing 296
Cambridge 277
Singapore 253
Dearborn 249
Chandler 243
Toronto 219
Ann Arbor 194
Los Angeles 152
Seoul 140
Tongling 136
Lawrence 120
Princeton 120
San Mateo 116
Dallas 108
Columbus 105
Ogden 103
Helsinki 101
Istanbul 101
Nanchang 97
New York 94
London 92
The Dalles 89
Camerino 80
Dublin 79
Shenyang 70
Kunming 64
Bremen 63
Chicago 61
Shanghai 56
Buffalo 52
Moscow 48
Munich 46
Redondo Beach 46
Guangzhou 45
Milan 45
San Diego 45
Hebei 44
São Paulo 43
Vienna 39
Hefei 37
Brussels 35
Tianjin 32
Wuhan 31
Jiaxing 30
Dong Ket 28
Tokyo 27
Jinan 26
Ho Chi Minh City 24
Lappeenranta 24
Brooklyn 23
Pune 23
Santa Clara 23
Turku 23
Denver 22
Dronten 22
Hanoi 22
Mexico City 20
Orem 20
Stockholm 20
Zhengzhou 20
Changsha 19
Orange 19
Rome 19
Chennai 18
Lanzhou 18
Verona 18
Hangzhou 17
Montreal 17
Philadelphia 17
Frankfurt am Main 15
Kilburn 15
Ningbo 15
Rio de Janeiro 15
Southend 15
Boston 14
Changchun 14
Johannesburg 12
Belo Horizonte 11
Fuzhou 11
Jinhua 11
Kocaeli 11
Monte San Vito 11
Scafati 11
Matelica 10
Meppel 10
Poplar 10
Salt Lake City 10
Council Bluffs 9
Düsseldorf 9
Totale 11.028
Salva come PNG Salva come JPEG
Nome #
Spatio-temporal model checking of vehicular movement in public transport systems 260
The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes 235
A Formal Approach to Autonomic Systems Programming: The SCEL Language 213
Monitoring Spatio-Temporal Properties (Invited Tutorial) 212
MarCaSPiS: a Markovian Extension of a Calculus for Services 209
CaSPiS: a calculus of sessions, pipelines and services 204
The SCEL Language: Design, Implementation, Verification 203
Statistical analysis of CARMA models: An advanced tutorial 201
A calculus for collective-adaptive systems and its behavioural theory 201
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. 193
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi 189
An Environment for Self-Assessing Java Programming Skills in Undergraduate First Programming Courses 186
An experimental spatio-temporal model checker 177
Analysis of spatio-temporal properties of stochastic systems using TSTL 175
Modeling adaptation with Klaim 174
Model checking spatial logics for closure spaces 174
Software Update via Mobile Agent Based Programming 172
A process Algebra Approach to Fuzzy Reasoning 172
Formal methods for the quantitative evaluation of collective adaptive systems (FORECAST) 168
Modelling and analysing resilient cyber-physical systems 167
Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday 163
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes 161
On-the-fly Probabilistic Model Checking 159
Editorial for the Special Issue on Open Problems in Concurrency Theory 159
A Fixpoint-Based Calculus for Graph-Shaped Computational Fields 157
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields 156
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL 155
A Fluid Flow Approach to Usability Analysis of Multi-user Systems 153
Quantitative Analysis of Services 152
Stochastically timed predicate-based communication primitives for autonomic computing 152
TAPAs: A Tool for the Analysis of Process Algebras 149
A uniform definition of stochastic process calculi 148
Towards a Formal Verification Methodology for Collective Robotic Systems 145
Context-aware wireless mobile autonomic computing and communications: Research trends and emerging applications 145
null 144
An Infrastructure Language for Open Nets 144
Modeling adaptation with a tuple-based coordination language 142
AGILE: Software Architecture for Mobility 142
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 140
Inferring analyzable models from trajectories of spatially-distributed internet of things 140
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems" 140
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS 135
FlyFast: A mean field model checker 134
Real-Time Intrusion Detection via Machine Learning Approaches 132
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems 132
A Modal Logic for Mobile Agent 131
Modeling Fuzzy Behaviours in Concurrent Systems 131
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic and Stochastic Processes 128
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL 128
A Modal Logic for KLAIM 127
A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences 125
A Language-Based Approach to Autonomic Computing 122
Implementing Mobile and Distributed Applications in X-Klaim 121
Modelling and analysis of collective adaptive systems with CARMA and its tools 121
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 120
null 120
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools” 119
Analysing Robot Movement Using the Sensoria Methods 117
Combining Timed Coordination Primitives and Probabilistic Tuple Spaces 116
Spatial logic and spatial model checking for closure spaces 116
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes 114
On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination 113
Formalizing properties of mobile agent systems 112
Context Aware Specification and Verification of Distributed Systems 111
On a Uniform Framework for the Definition of Stochastic Process Languages. 111
A calculus for attribute-based communication 111
Fluid approximation of broadcasting systems 111
Assume-Guarantee Verification of Concurrent Systems 110
Programming of CAS systems by relying on attribute-based communication 110
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems 109
Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems 108
Rate-Based Transition Systems for Stochastic Process Calculi 107
Hyperformulae, Paralle Deductions and Intersection Types 106
On-the-fly fluid model checking via discrete time population models 104
null 104
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. 104
Data verification for collective adaptive systems: Spatial model-checking of vehicle location Data 103
null 103
Design of a Password-Based EAP Method 102
The Klaim Project: Theory and Practice 102
Specifying and Verifying Properties of Space 100
Multiple-Labelled Transition Systems for nominal calculi and their logics 100
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. 100
Programming interactions in collective adaptive systems by relying on attribute-based communication 99
null 97
Implementing Session Centered Calculi 96
null 96
MoMo: A Modal Logic for Reasoning About Mobility 95
null 95
Modelling Node Connectivity in Dynamically Evolving Networks 92
Tools for Ensemble Design and Runtime 91
Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi 91
null 91
null 91
Structured Nets in Klaim 91
Provably Correct Implementations of Services 90
On-the-fly fast mean-field model-checking 90
Assessing CS1 Java Skills: A Three-Year Experience 90
Online monitoring of spatio-temporal properties for imprecise signals 90
Totale 13.488
Salva come PNG Salva come JPEG
Categoria #
all - tutte 83.118
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.118
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.482 371 427 514 676 426 68 0 0 0 0 0 0
Totale 16.681