SILVETTI, SIMONE
 Distribuzione geografica
Continente #
NA - Nord America 612
EU - Europa 322
AS - Asia 124
SA - Sud America 4
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.067
Nazione #
US - Stati Uniti d'America 610
PL - Polonia 110
IT - Italia 79
SE - Svezia 66
SG - Singapore 41
HK - Hong Kong 28
CN - Cina 27
DE - Germania 18
TR - Turchia 15
RU - Federazione Russa 14
UA - Ucraina 10
BG - Bulgaria 6
IN - India 6
IE - Irlanda 5
BE - Belgio 3
GB - Regno Unito 3
CA - Canada 2
EC - Ecuador 2
EU - Europa 2
FR - Francia 2
IL - Israele 2
MZ - Mozambico 2
VN - Vietnam 2
AT - Austria 1
BD - Bangladesh 1
BO - Bolivia 1
BR - Brasile 1
EG - Egitto 1
FI - Finlandia 1
KR - Corea 1
LT - Lituania 1
NL - Olanda 1
PK - Pakistan 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 1.067
Città #
Warsaw 110
Fairfield 93
Ashburn 68
Woodbridge 61
Chandler 51
Seattle 48
Houston 46
Cambridge 42
Trieste 42
Singapore 39
Wilmington 33
Ann Arbor 29
Hong Kong 28
Dearborn 17
Boardman 12
Izmir 12
Jacksonville 12
Princeton 12
Beijing 9
Falls Church 9
Rome 8
Bremen 6
Columbus 6
Sofia 6
Dublin 5
Los Angeles 5
San Diego 5
Brussels 3
Kocaeli 3
Krefeld 3
Kunming 3
Milan 3
Moscow 3
Phoenix 3
Santa Clara 3
Dong Ket 2
Holon 2
Jinan 2
Maputo 2
Ottawa 2
Pune 2
Redwood City 2
Treviso 2
Bad Bellingen 1
Bratislava 1
Cairo 1
Camerino 1
Candiolo 1
Chongqing 1
Cuenca 1
Curitiba 1
Dongguan 1
Edinburgh 1
Groningen 1
Hebei 1
Hefei 1
Helsinki 1
Huzhou 1
Islamabad 1
Konstanz 1
Koper 1
La Paz 1
London 1
Mumbai 1
Nanchang 1
Nanjing 1
North Bergen 1
Norwalk 1
Osnago 1
Paris 1
Pavia 1
Pisa 1
San Francisco 1
San Marcellino 1
Seoul 1
Shenyang 1
Udine 1
Vazzola 1
Washington 1
Totale 890
Nome #
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models 315
A robust genetic algorithm for learning temporal specifications from data 179
Signal Convolution Logic 169
Bayesian statistical parametric verification and synthesis by machine learning 149
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors 144
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 71
MoonLight: a lightweight tool for monitoring spatio-temporal properties 33
Is Machine Learning Model Checking Privacy Preserving? 32
Totale 1.092
Categoria #
all - tutte 2.976
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 2.976


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020106 0 0 0 0 0 0 0 30 38 14 12 12
2020/2021188 10 18 10 19 21 17 28 13 12 15 10 15
2021/202288 7 3 5 10 4 15 7 5 11 7 4 10
2022/2023143 11 21 9 24 15 18 3 14 21 0 5 2
2023/2024104 4 4 3 1 18 7 18 26 4 9 4 6
2024/2025118 7 0 8 6 39 28 16 14 0 0 0 0
Totale 1.092