Tomasi, Silvia
 Distribuzione geografica
Continente #
NA - Nord America 156
EU - Europa 39
AS - Asia 12
Totale 207
Nazione #
US - Stati Uniti d'America 156
SE - Svezia 12
UA - Ucraina 12
SG - Singapore 6
CN - Cina 4
FI - Finlandia 4
IT - Italia 4
GB - Regno Unito 3
BG - Bulgaria 2
DE - Germania 1
IE - Irlanda 1
JP - Giappone 1
TR - Turchia 1
Totale 207
Città #
Jacksonville 23
Woodbridge 16
Ann Arbor 15
Chandler 14
Wilmington 13
Ashburn 9
San Mateo 8
Fairfield 7
Seattle 6
Houston 5
Princeton 4
Singapore 4
Boardman 3
Cambridge 3
Falls Church 3
Dearborn 2
Lawrence 2
Norwalk 2
Sofia 2
Altamura 1
Beijing 1
Council Bluffs 1
Dublin 1
Hefei 1
Helsinki 1
Izmir 1
Jiaxing 1
Las Vegas 1
Milan 1
Nanchang 1
Redmond 1
Tokyo 1
Trento 1
Verona 1
Totale 156
Nome #
Optimization Modulo Theories with Linear Rational Costs 97
null 46
null 40
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 13
Optimization in SMT with LA(Q) Cost Functions 11
Stochastic Local Search for SMT 7
Stochastic Local Search for SMT: A Preliminary Report 5
Optimization in SMT with LA(Q) Cost Functions 4
Assessing preferences for attributes of city information points: Results from a choice experiment 2
Totale 225
Categoria #
all - tutte 1.313
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 1.313


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202044 0 0 3 3 6 2 8 2 8 7 1 4
2020/202137 0 4 0 4 3 4 3 1 4 1 7 6
2021/202232 0 4 1 0 3 4 1 10 0 1 1 7
2022/202329 3 1 0 5 7 2 0 3 7 0 1 0
2023/202426 2 1 0 5 2 5 1 0 2 1 0 7
Totale 225