SILVETTI, SIMONE
 Distribuzione geografica
Continente #
NA - Nord America 618
EU - Europa 357
AS - Asia 150
SA - Sud America 10
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 1.140
Nazione #
US - Stati Uniti d'America 616
PL - Polonia 110
IT - Italia 79
SE - Svezia 66
HK - Hong Kong 50
SG - Singapore 44
DE - Germania 29
CN - Cina 27
TR - Turchia 15
FR - Francia 14
RU - Federazione Russa 14
UA - Ucraina 10
BR - Brasile 7
GB - Regno Unito 7
NL - Olanda 7
BG - Bulgaria 6
IN - India 6
IE - Irlanda 5
BE - Belgio 3
AT - Austria 2
CA - Canada 2
EC - Ecuador 2
EU - Europa 2
FI - Finlandia 2
IL - Israele 2
MZ - Mozambico 2
PK - Pakistan 2
VN - Vietnam 2
BD - Bangladesh 1
BO - Bolivia 1
EG - Egitto 1
KR - Corea 1
LT - Lituania 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 1.140
Città #
Warsaw 110
Fairfield 93
Ashburn 68
Woodbridge 61
Chandler 51
Hong Kong 50
Seattle 48
Houston 46
Cambridge 42
Trieste 42
Singapore 39
Wilmington 33
Ann Arbor 29
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
Frankfurt am Main 5
Los Angeles 5
San Diego 5
Düsseldorf 4
Lauterbourg 4
Brussels 3
Kocaeli 3
Krefeld 3
Kunming 3
London 3
Milan 3
Moscow 3
Phoenix 3
Santa Clara 3
Dong Ket 2
Helsinki 2
Holon 2
Islamabad 2
Jinan 2
Maputo 2
Ottawa 2
Pune 2
Redwood City 2
Treviso 2
Bad Bellingen 1
Belo Horizonte 1
Bexley 1
Bratislava 1
Cairo 1
Camerino 1
Campinas 1
Candiolo 1
Chongqing 1
Cuenca 1
Curitiba 1
Dongguan 1
Edinburgh 1
Grajaú 1
Groningen 1
Guarulhos 1
Hebei 1
Hefei 1
Huzhou 1
Konstanz 1
Koper 1
La Paz 1
Mumbai 1
Nanchang 1
Nanjing 1
North Bergen 1
Norwalk 1
Nuremberg 1
Osnago 1
Paris 1
Pavia 1
Pisa 1
Portsmouth 1
Rio Claro 1
Roubaix 1
San Francisco 1
San Marcellino 1
Seoul 1
Shenyang 1
Udine 1
Vazzola 1
Volta Redonda 1
Washington 1
Totale 939
Nome #
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models 321
A robust genetic algorithm for learning temporal specifications from data 188
Signal Convolution Logic 173
Bayesian statistical parametric verification and synthesis by machine learning 155
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors 153
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 80
Is Machine Learning Model Checking Privacy Preserving? 55
MoonLight: a lightweight tool for monitoring spatio-temporal properties 40
Totale 1.165
Categoria #
all - tutte 3.251
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 3.251


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202024 0 0 0 0 0 0 0 0 0 0 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/2025191 7 0 8 6 39 28 16 33 13 32 9 0
Totale 1.165