LORETI, Michele
 Distribuzione geografica
Continente #
NA - Nord America 866
EU - Europa 470
AS - Asia 168
SA - Sud America 18
AF - Africa 17
OC - Oceania 3
Totale 1.542
Nazione #
US - Stati Uniti d'America 838
IT - Italia 106
CN - Cina 71
GB - Regno Unito 63
FR - Francia 58
DE - Germania 44
PL - Polonia 27
RU - Federazione Russa 27
NL - Olanda 25
CZ - Repubblica Ceca 24
VN - Vietnam 24
BE - Belgio 17
BZ - Belize 17
IE - Irlanda 17
UA - Ucraina 17
IN - India 16
SE - Svezia 12
JP - Giappone 11
CA - Canada 10
CL - Cile 10
IR - Iran 9
ID - Indonesia 7
KR - Corea 7
SC - Seychelles 7
DZ - Algeria 6
ES - Italia 6
FI - Finlandia 6
HK - Hong Kong 6
IL - Israele 5
TW - Taiwan 5
NO - Norvegia 4
ZA - Sudafrica 4
AT - Austria 3
AU - Australia 3
IS - Islanda 3
LT - Lituania 3
SG - Singapore 3
BO - Bolivia 2
BR - Brasile 2
CO - Colombia 2
DK - Danimarca 2
EE - Estonia 2
GR - Grecia 2
AR - Argentina 1
CH - Svizzera 1
EC - Ecuador 1
HN - Honduras 1
IQ - Iraq 1
LV - Lettonia 1
MY - Malesia 1
SA - Arabia Saudita 1
TR - Turchia 1
Totale 1.542
Città #
Houston 95
Fairfield 70
Ann Arbor 59
Santa Cruz 52
Buffalo 45
Ashburn 42
Seattle 28
Wilmington 28
Henderson 25
Modena 25
Woodbridge 25
Camerino 24
Dong Ket 24
Cambridge 20
Warsaw 18
Belize City 17
Dublin 17
Brierley Hill 16
Bassenge 15
Scafati 13
Chicago 12
Phoenix 12
Shanghai 12
Bremen 10
Los Angeles 10
Saint Louis 10
Stockholm 10
Brescia 9
Paris 9
Shahedshahr 9
Hatfield 8
London 8
Tokyo 8
Amsterdam 7
Bengaluru 7
Boardman 5
Council Bluffs 5
Dallas 5
Hangzhou 5
Móstoles 5
Rome 5
San Diego 5
Senigallia 5
Shenyang 5
Toronto 5
Xian 5
Atlanta 4
Boulder 4
Frankfurt am Main 4
Guangzhou 4
Helsinki 4
Ismaning 4
Las Vegas 4
Nanjing 4
Pleasantville 4
Taipei 4
Waterlooville 4
Boydton 3
Brooklyn 3
Cattolica 3
Changsha 3
Chengdu 3
Clearwater 3
Lake Forest 3
Mahé 3
Muizenberg 3
Ningbo 3
Reykjavík 3
Vienna 3
Ascoli Piceno 2
Aylesbury 2
Beijing 2
Bellevue 2
Boumerdes 2
El Segundo 2
Falls Church 2
Fleming Island 2
Frankfurt Am Main 2
Grenoble 2
Grosseto 2
Grottammare 2
Harbin 2
Hommelvik 2
Hong Kong 2
Jinan 2
La Paz 2
Leawood 2
Margate 2
Montreal 2
Ostrava 2
Palermo 2
Portland 2
Provo 2
Pune 2
Rezé 2
Riva 2
Saint Petersburg 2
Secaucus 2
Sunnyvale 2
Taiyuan 2
Totale 996
Nome #
Spatio-temporal model-checking for collective adaptive systems in QUANTICOL, file e0ff0074-61a3-9bac-e053-1705fe0af019 419
Spatio-temporal model checking of vehicular movement in public transport systems, file e0ff0074-45ae-9bac-e053-1705fe0af019 254
Analysis of spatio-temporal properties of stochastic systems using TSTL, file e0ff0074-4568-9bac-e053-1705fe0af019 236
CaSPiS: a calculus of sessions, pipelines and services, file e0ff0074-3b41-9bac-e053-1705fe0af019 157
Replicated computations results (RCR) Report for "statistical abstraction for multi-scale spatio-t Systems", file e0ff0074-44ee-9bac-e053-1705fe0af019 149
Statistical analysis of CARMA models: An advanced tutorial, file e0ff0074-6f28-9bac-e053-1705fe0af019 116
Model checking spatial logics for closure spaces, file e0ff0074-4831-9bac-e053-1705fe0af019 106
Fluid approximation of broadcasting systems, file e0ff0074-dc27-9bac-e053-1705fe0af019 59
Programming interactions in collective adaptive systems by relying on attribute-based communication, file e0ff0074-dde8-9bac-e053-1705fe0af019 40
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL, file e0ff0074-45b5-9bac-e053-1705fe0af019 28
Asynchronous Distributed Execution Of Fixpoint-Based Computational Fields, file e0ff0074-4582-9bac-e053-1705fe0af019 23
The SCEL Language: Design, Implementation, Verification, file e0ff0075-1622-9bac-e053-1705fe0af019 22
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes, file e0ff0074-45f5-9bac-e053-1705fe0af019 14
Provably correct implementation of the AbC calculus, file b1a02b78-cb29-4107-b1a8-c3bc11a9f66d 8
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS, file 23691b7a-67e1-4f76-aa2f-21ff7c3ac1ab 5
A calculus for collective-adaptive systems and its behavioural theory, file e0ff0074-452e-9bac-e053-1705fe0af019 4
A SPATIAL LOGIC FOR SIMPLICIAL MODELS, file 371d1fb6-c22c-425f-9b85-38e42ddedc5f 3
MoonLight: a lightweight tool for monitoring spatio-temporal properties, file 170b47be-002f-4a73-a7e6-0dc917bf1639 2
A Framework To Measure The Robustness Of Programs In The Unpredictable Environment, file 93f5ce2d-89ce-493c-9f2f-fac212d5b274 2
Replicated computations results (RCR) report for “mesoscopic modelling of pedestrian movement using carma and its tools”, file e0ff0074-46a8-9bac-e053-1705fe0af019 1
Totale 1.648
Categoria #
all - tutte 4.163
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 4.163


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202044 0 0 0 0 0 0 0 0 0 0 30 14
2020/2021616 5 49 118 76 80 62 46 49 31 20 36 44
2021/2022492 25 24 36 84 66 41 43 28 16 15 90 24
2022/2023267 14 22 64 25 27 13 23 9 15 10 22 23
2023/2024229 36 37 23 32 16 23 25 37 0 0 0 0
Totale 1.648