SILVETTI, SIMONE
 Distribuzione geografica
Continente #
NA - Nord America 540
EU - Europa 268
AS - Asia 39
AF - Africa 2
Continente sconosciuto - Info sul continente non disponibili 2
Totale 851
Nazione #
US - Stati Uniti d'America 538
PL - Polonia 110
SE - Svezia 66
IT - Italia 48
CN - Cina 17
TR - Turchia 15
DE - Germania 12
UA - Ucraina 10
BG - Bulgaria 6
IE - Irlanda 5
BE - Belgio 4
IN - India 4
GB - Regno Unito 3
CA - Canada 2
EU - Europa 2
FR - Francia 2
MZ - Mozambico 2
VN - Vietnam 2
NL - Olanda 1
SG - Singapore 1
SK - Slovacchia (Repubblica Slovacca) 1
Totale 851
Città #
Warsaw 110
Fairfield 93
Woodbridge 61
Chandler 51
Houston 46
Seattle 46
Cambridge 42
Ashburn 41
Wilmington 33
Trieste 30
Ann Arbor 29
Dearborn 17
Izmir 12
Jacksonville 12
Princeton 12
Falls Church 9
Bremen 6
Sofia 6
Dublin 5
San Diego 5
Beijing 4
Boardman 4
Brussels 4
Kocaeli 3
Kunming 3
Phoenix 3
Dong Ket 2
Jinan 2
Maputo 2
Ottawa 2
Redwood City 2
Bratislava 1
Camerino 1
Candiolo 1
Chongqing 1
Edinburgh 1
Groningen 1
Hebei 1
Hefei 1
Huzhou 1
Konstanz 1
London 1
Milan 1
Mumbai 1
Nanchang 1
Nanjing 1
Norwalk 1
Paris 1
Pavia 1
Shenyang 1
Udine 1
Totale 717
Nome #
Bayesian statistical parameter synthesis for linear temporal properties of stochastic models 292
Signal Convolution Logic 148
A robust genetic algorithm for learning temporal specifications from data 147
Bayesian statistical parametric verification and synthesis by machine learning 121
A Logic-Based Learning Approach to Explore Diabetes Patient Behaviors 120
MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties 42
Totale 870
Categoria #
all - tutte 1382
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 1382


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019107 0000 184 28 5193318
2019/2020344 10282562 2442 4730 38141212
2020/2021188 10181019 2117 2813 12151015
2021/202288 73510 415 75 117410
2022/2023143 1121924 1518 414 21150
Totale 870