Tomasi, Silvia
 Distribuzione geografica
Continente #
NA - Nord America 184
EU - Europa 45
AS - Asia 37
Totale 266
Nazione #
US - Stati Uniti d'America 184
SG - Singapore 26
SE - Svezia 12
UA - Ucraina 12
CN - Cina 6
RU - Federazione Russa 5
FI - Finlandia 4
IT - Italia 4
GB - Regno Unito 3
ID - Indonesia 3
BG - Bulgaria 2
DE - Germania 1
IE - Irlanda 1
JP - Giappone 1
NO - Norvegia 1
TR - Turchia 1
Totale 266
Città #
Jacksonville 23
Singapore 23
Woodbridge 16
Ann Arbor 15
Chandler 14
Santa Clara 14
Wilmington 13
Columbus 10
Ashburn 9
San Mateo 8
Fairfield 7
Seattle 6
Houston 5
Moscow 5
Princeton 4
Boardman 3
Cambridge 3
Falls Church 3
Jakarta 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 207
Nome #
Optimization Modulo Theories with Linear Rational Costs 105
null 46
null 40
Stochastic Local Search for SMT: Combining Theory Solvers withWalkSAT 21
Optimization in SMT with LA(Q) Cost Functions 18
Stochastic Local Search for SMT 16
Stochastic Local Search for SMT: A Preliminary Report 15
Optimization in SMT with LA(Q) Cost Functions 13
Assessing preferences for attributes of city information points: Results from a choice experiment 10
Totale 284
Categoria #
all - tutte 1.596
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.596


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/202030 0 0 0 0 0 0 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
2024/202559 0 0 7 23 11 18 0 0 0 0 0 0
Totale 284